PurPL
@purdue_pl
PurPL is the cross-departmental center for programming languages research at Purdue University.
ID: 897535166201155593
https://purduepl.github.io/ 15-08-2017 19:07:13
235 Tweet
940 Takipçi
120 Takip Edilen
Shoutout to @ChrisWagn3r, Nouraldin Jaber & Roopsha Samanta on their upcoming OOPSLA paper! 📰Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions 👥Christopher Wagner, Nouraldin Jaber, Roopsha Samanta 🔗2023.splashcon.org/details/splash…