Rajeev Alur

Registered user since Mon 2 Oct 2017

Name:Rajeev Alur
Affiliation:University of Pennsylvania
Research interests:Formal methods, Cyber-physical systems, Programming languages

Contributions

PPoPP 2022 Author of Stream Processing with Dependency-Guided Synchronization within the Main Conference-track
POPL 2022 Session Chair of POPL Business Meeting and SIGPLAN Awards (part of POPL)
General Chair in Organizing Committee
Session Chair of Invited Talk (part of POPL)
Session Chair of Welcome (part of POPL)
Author of Open Forum for Q&A within the POPL-track
Author of General Chair Report within the POPL-track
Committee Member in Selection Committee within the Virtual Workshop-track
SPLASH 2021 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the SIGPLAN Papers-track
Author of Example-Guided Synthesis of Relational Queries within the SIGPLAN Papers-track
PLDI 2021 Author of Example-Guided Synthesis of Relational Queries within the PLDI-track
SPLASH 2020 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track
Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track
VMCAI 2020 Invited Speaker in Invited Speakers within the VMCAI 2020-track
Keynote Speaker of Model Checking for Safe Autonomy within the VMCAI 2020-track
PLDI 2019 Committee Member in External Review Committee within the PLDI Research Papers-track
Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track
POPL 2019 Author of Modular Quantitative Monitoring within the Research Papers-track
PLDI 2018 Author of Accelerating Search-Based Program Synthesis using Learned Probabilistic Models within the PLDI Research Papers-track
Committee Member in External Program Committee
PLDI 2017 Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track
POPL 2016 Author of T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) within the Tutorials-track
Author of T3: Syntax-Guided Synthesis (SyGuS) within the Tutorials-track
PLOOC 2015 Author of AutomataTutor and what I learned from building an online teaching tool within the PLOOC 2015-track