Rajeev Alur

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 87

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

CAV (2)

Publications

Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu
MuCache: A General Framework for Caching in Microservice Graphs. NSDI (2024)
Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. USENIX Security Symposium (2024)
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
Data-Efficient Learning with Neural Programs. CoRR (2024)
Anton Xue, Lars Lindemann, Rajeev Alur
Chordal sparsity for SDP-based neural network verification. Autom. 161 (2024)
Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. CoRR (2024)
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
Relational Programming with Foundational Models. AAAI (2024)
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17 (2) (2023)
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. CoRR (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) (2023)
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR (2023)
Anton Xue, Rajeev Alur, Eric Wong
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. NeurIPS (2023)
Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu
Executing Microservice Applications on Serverless, Correctly. Proc. ACM Program. Lang. 7 (POPL) (2023)
Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports 13 (5) (2023)
Anton Xue, Rajeev Alur, Eric Wong
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. CoRR (2023)
Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
Robust Subtask Learning for Compositional Generalization. ICML (2023)
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. CoRR (2023)
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Rajeev Alur, Caleb Stanford, Christopher Watson
A Robust Theory of Series Parallel Graphs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. 60 (1) (2022)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
Stream processing with dependency-guided synchronization. PPoPP (2022)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC (2022)
Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR (2022)
Caleb Stanford, Konstantinos Kallas, Rajeev Alur
Correctness in Stream Processing: Challenges and Opportunities. CIDR (2022)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design (2022)
Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
Composing Copyless Streaming String Transducers. CoRR (2022)
Anton Xue, Lars Lindemann, Rajeev Alur
Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR (2022)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Automatic Repair for Network Programs. TACAS (2) (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) (2022)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR (2022)
Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
Orion: Automatic Repair for Network Programs. CoRR (2021)
Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. CoRR (2021)
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS (2021)
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
Compositional Reinforcement Learning from Logical Specifications. NeurIPS (2021)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
Stream Processing With Dependency-Guided Synchronization. CoRR (2021)
Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
A Framework for Transforming Specifications in Reinforcement Learning. CoRR (2021)
Rajeev Alur, Dana Fisman
Colored nested words. Formal Methods Syst. Des. 58 (3) (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) (2021)
Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
Network Traffic Classification by Program Synthesis. TACAS (1) (2021)
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
Synchronization Schemas. PODS (2021)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. 20 (1) (2021)
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-guided synthesis of relational queries. PLDI (2021)
Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi
Computer-Aided Personalized Education. CoRR (2020)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable regular transductions. Theor. Comput. Sci. 807 (2020)
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
A Composable Specification Language for Reinforcement Learning Tasks. CoRR (2020)
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR (2020)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
DiffStream: differential output testing for stream processing programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo
Session-layer Attack Traffic Classification by Program Synthesis. CoRR (2020)
Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams. LICS (2020)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC (2020)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE (2020)
Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
SyGuS-Comp 2018: Results and Analysis. CoRR (2019)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Modular quantitative monitoring. Proc. ACM Program. Lang. 3 (POPL) (2019)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC (2019)
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE (2019)
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
Data-trace types for distributed stream processing systems. PLDI (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR (2019)
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS (2019)
Shaull Almagor, Rajeev Alur, Suguman Bansal
Equilibria in Quantitative Concurrent Games. CoRR (2018)
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek (2018)
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106 (9) (2018)
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
Accelerating search-based program synthesis using learned probabilistic models. PLDI (2018)
Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR (2018)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
Interfaces for Stream Processing Systems. Principles of Modeling (2018)
Rajeev Alur, Joseph Devietti, Nimit Singhania
Block-Size Independence for GPU Programs. SAS (2018)
Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
Search-based program synthesis. Commun. ACM 61 (12) (2018)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable Regular Transductions. CoRR (2018)
Rajeev Alur, Salar Moarref, Ufuk Topcu
Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput. 261 (2018)
Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. IEEE/ACM Trans. Netw. 26 (5) (2018)
Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo
Quantitative Network Monitoring with NetQRE. SIGCOMM (2017)
Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools (2017)
Rajeev Alur, Stavros Tripakis
Automatic Synthesis of Distributed Protocols. SIGACT News 48 (1) (2017)
Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
Schedulability of Bounded-Rate Multimode Systems. ACM Trans. Embed. Comput. Syst. 16 (3) (2017)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV (2017)
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) (2017)
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. PLDI (2017)
Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) (2017)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Automata-Based Stream Processing. ICALP (2017)
Rajeev Alur, Loris D'Antoni
Streaming Tree Transducers. J. ACM 64 (5) (2017)
Rajeev Alur, Dana Fisman
Colored Nested Words. LATA (2016)
Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania
Hedging Bets in Markov Decision Processes. CSL (2016)
Rajeev Alur, Salar Moarref, Ufuk Topcu
Compositional Synthesis with Parametric Reactive Controllers. HSCC (2016)
Rajeev Alur, Dana Fisman, Mukund Raghothaman
Regular Programming for Quantitative Properties of Data Streams. ESOP (2016)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
SyGuS-Comp 2016: Results and Analysis. SYNT@CAV (2016)
Rajeev Alur, Emery D. Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel P. Lopresti, Klara Nahrstedt, Elizabeth D. Mynatt, Shwetak N. Patel, Jennifer Rexford, John A. Stankovic, Benjamin G. Zorn
Systems Computing Challenges in the Internet of Things. CoRR (2016)
Rajeev Alur, Salar Moarref, Ufuk Topcu
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. CAV (2) (2016)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Results and Analysis of SyGuS-Comp'15. SYNT (2015)
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
Theory in practice for system design and verification. ACM SIGLOG News 2 (1) (2015)
Rajeev Alur, Salar Moarref, Ufuk Topcu
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. TACAS (2015)
Rajeev Alur
Keynote talk I: Syntax-guided synthesis. MEMOCODE (2015)
Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS 117 (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis Through Unification. CAV (2) (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CoRR (2015)
Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
Synthesis through Unification. CoRR (2015)
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL (2015)
Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22 (2) (2015)
Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo
Scenario-based programming for SDN policies. CoNEXT (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) (2015)
Rajeev Alur, Nimit Singhania
Precise piecewise affine models from input-output data. EMSOFT (2014)

Rajeev Alur.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rajeev Alur