Rajeev Alur -

Registered user since Mon 2 Oct 2017

Name:Rajeev Alur

Country:United States

Affiliation:University of Pennsylvania

Personal website:http://www.cis.upenn.edu/~alur/

Research interests:Formal methods, Cyber-physical systems, Programming languages

Contributions

POPL 2023	Author of Executing Microservice Applications on Serverless, Correctly within the POPL-track Author of A Robust Theory of Series Parallel Graphs within the POPL-track
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