☰

Rajeev Alur, Ph.D.

Affiliations: 
1989-1989 Applied Mathematics Weizmann Institute of Science, Rehovot, Israel 
 1990-1990 IBM Almaden Research Center, San Jose, CA, United States 
 1991-2001 Bell Laboratories, Murray Hill, NJ, United States 
 1995-1995 Computer Science Columbia University, New York, NY 
 1996-1997 Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA, United States 
 1997- Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
 2018-2018 Simons Institute for Theoretical Computer Science University of California, Berkeley, Berkeley, CA, United States 
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity
Website:
https://www.cis.upenn.edu/~alur/
Google:
"Rajeev Alur"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
David L. Dill grad student 1991 Stanford
 (Techniques for automatic verification of real-time systems)
Zohar Manna grad student 1991 Stanford (Philosophy Tree)
 (Techniques for automatic verification of real-time systems)

Children

Sign in to add trainee
Radu Grosu grad student 1998-2000 Penn
Salvatore La Torre grad student 2001 Penn
Bow-Yaw Wang grad student 2001 Penn
Caleb D Stanford grad student 2002 Penn
Franjo Ivancic grad student 2003 Penn
Zijiang Yang grad student 2003 Penn
Michael McDougall grad student 2005 Penn
Sebastian Burckhardt grad student 2007 Penn
Swarat Chaudhuri grad student 2007 Penn
Mikhail Bernadsky grad student 2008 Penn
James M. Alexander grad student 2009 Penn
Jan M. Allbeck grad student 2009 Penn
Pavol Cerny grad student 2009 Penn
Timothee Cour grad student 2009 Penn
Mark H. Dredze grad student 2009 Penn
George J. Pappas post-doc 1999-2000 Penn (E-Tree)
Thao Dang post-doc 2000-2001 Penn
Supratik Mukhopadhyay post-doc 2001-2002 Penn

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Alur R, Fisman D, Mamouras K, et al. (2020) Streamable regular transductions Theoretical Computer Science. 807: 15-41
Mamouras K, Stanford C, Alur R, et al. (2019) Data-Trace Types for Distributed Stream Processing Systems. Proceedings of the Acm Sigplan ... Conference On Programming Language Design and Implementation. Acm Sigplan Conference On Programming Language Design and Implementation. 2019: 670-685
Yuan Y, Lin D, Anil S, et al. (2018) NetEgg: A Scenario-Based Programming Toolkit for SDN Policies Ieee/Acm Transactions On Networking. 26: 2104-2117
Alur R, Moarref S, Topcu U. (2018) Compositional and symbolic synthesis of reactive controllers for multi-agent systems Information and Computation. 261: 616-633
Mamouras K, Raghothaman M, Alur R, et al. (2017) StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data. Proceedings of the Acm Sigplan ... Conference On Programming Language Design and Implementation. Acm Sigplan Conference On Programming Language Design and Implementation. 52: 693-708
Alur R, Forejt V, Moarref S, et al. (2017) Schedulability of Bounded-Rate Multimode Systems Acm Transactions On Embedded Computing Systems. 16: 1-27
Alur R, Fisman D, Raghothaman M. (2016) Regular programming for quantitative properties of data streams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 15-40
Alur R, Singhania N. (2014) Precise piecewise affine models from input-output data 2014 Proceedings of the International Conference On Embedded Software, Emsoft 2014
Jiang Z, Pajic M, Alur R, et al. (2014) Closed-loop verification of medical devices with model abstraction and refinement International Journal On Software Tools For Technology Transfer. 16: 191-213
D'Antoni L, Alur R. (2014) Symbolic visibly pushdown automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 209-225
See more...