Rajeev Alur

University of Pennsylvania — United States

Computer Science · Physical Sciences

82h-index37.8kcitations401works2.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(254), Logic, programming, and type systems(106), Software Testing and Debugging Techniques(104), Model-Driven Software Engineering Techniques(52), Petri Nets in System Modeling(46)

Publications401 total

Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception
Lecture notes in computer science·2025
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
arXiv (Cornell University)·2025Open Access
Report on NSF Workshop on Science of Safe AI
arXiv (Cornell University)·2025Open Access
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
arXiv (Cornell University)·2025Open Access
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
2025· 21 cited
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
arXiv (Cornell University)·2024Open Access
Data-Efficient Learning with Neural Programs
arXiv (Cornell University)·2024Open Access
Relational Programming with Foundational Models
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 4 citedOpen Access
Chordal sparsity for SDP-based neural network verification
Automatica·2024
Data-Efficient Learning with Neural Programs
2024
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
arXiv (Cornell University)·2023· 11 citedOpen Access
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Proceedings of the ACM on Programming Languages·2023· 5 citedOpen Access
Relational Query Synthesis ⋈ Decision Tree Learning
Proceedings of the VLDB Endowment·2023· 1 cited
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
arXiv (Cornell University)·2023Open Access
Policy Synthesis and Reinforcement Learning for Discounted LTL
arXiv (Cornell University)·2023· 1 citedOpen Access
Robust Subtask Learning for Compositional Generalization
arXiv (Cornell University)·2023· 2 citedOpen Access
A Robust Theory of Series Parallel Graphs
Proceedings of the ACM on Programming Languages·2023· 7 citedOpen Access
Reproduction package for article "Executing Microservice Applications on Serverless, Correctly"
Artifact Digital Object Group·2023
Executing Microservice Applications on Serverless, Correctly
Proceedings of the ACM on Programming Languages·2023· 15 citedOpen Access
Policy Synthesis and Reinforcement Learning for Discounted LTL
Lecture notes in computer science·2023· 3 citedOpen Access
page 1 of 21Next →

Frequent Co-authors

Thomas A. Henzinger(16), David L. Dill(7), Costas Courcoubetis(6), George J. Pappas(6), P. Madhusudan(5), Mihalis Yannakakis(5), Kousha Etessami(4), Orna Kupferman(3), Milo M. K. Martin(3), Insup Lee(3), Franjo Ivančić(3), Yerang Hur(3), Vijay Kumar(3), Nicolas Halbwachs(2), Pei-Hsin Ho(2), Abhishek Udupa(2), Moshe Y. Vardi(2), T. A. Henzinger(2), Shaz Qadeer(2), Sriram K. Rajamani(2)