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

POPL 2022 General Chair in Organizing Committee
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