conf.researchr.org / 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
2023
2022
Principles and Practice of Parallel Programming
POPL
- 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