default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRajeev Alur
Person information
- affiliation: University of Pennsylvania, Philadelphia, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j83]Anton Xue, Lars Lindemann, Rajeev Alur:
Chordal sparsity for SDP-based neural network verification. Autom. 161: 111487 (2024)- [c219]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: 10635-10644 - [c218]Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu:
MuCache: A General Framework for Caching in Microservice Graphs. NSDI 2024: 221-238 - [c217]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 - [i37]Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong:
Data-Efficient Learning with Neural Programs. CoRR abs/2406.06246 (2024) - [i36]Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong:
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. CoRR abs/2407.00075 (2024) - 2023
- [j82]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): 1394-1417 (2023) - [j81]Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu:
Executing Microservice Applications on Serverless, Correctly. Proc. ACM Program. Lang. 7(POPL): 367-395 (2023) - [j80]Rajeev Alur, Caleb Stanford, Christopher Watson:
A Robust Theory of Series Parallel Graphs. Proc. ACM Program. Lang. 7(POPL): 1058-1088 (2023) - [j79]Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik:
Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17(2): 250-263 (2023) - [c216]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435 - [c215]Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur:
Robust Subtask Learning for Compositional Generalization. ICML 2023: 15371-15387 - [c214]Anton Xue, Rajeev Alur, Eric Wong:
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. NeurIPS 2023 - [i35]Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur:
Robust Subtask Learning for Compositional Generalization. CoRR abs/2302.02984 (2023) - [i34]Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR abs/2305.17115 (2023) - [i33]Anton Xue, Rajeev Alur, Eric Wong:
Stability Guarantees for Feature Attributions with Multiplicative Smoothing. CoRR abs/2307.05902 (2023) - [i32]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 abs/2311.16169 (2023) - [i31]Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter:
Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports 13(5): 96-113 (2023) - 2022
- [j78]Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania:
Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. 60(1): 1-32 (2022) - [c213]Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan:
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design 2022: 604-624 - [c212]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) 2022: 343-363 - [c211]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: 3389-3396 - [c210]Caleb Stanford, Konstantinos Kallas, Rajeev Alur:
Correctness in Stream Processing: Challenges and Opportunities. CIDR 2022 - [c209]Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur:
Stream processing with dependency-guided synchronization. PPoPP 2022: 1-16 - [c208]Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Automatic Repair for Network Programs. TACAS (2) 2022: 353-372 - [i30]Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur:
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR abs/2204.00846 (2022) - [i29]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR abs/2206.03348 (2022) - [i28]Anton Xue, Lars Lindemann, Rajeev Alur:
Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR abs/2206.03482 (2022) - [i27]Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi:
Composing Copyless Streaming String Transducers. CoRR abs/2209.05448 (2022) - 2021
- [j77]Rajeev Alur, Dana Fisman:
Colored nested words. Formal Methods Syst. Des. 58(3): 347-374 (2021) - [j76]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): 7:1-7:26 (2021) - [j75]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): 92:1-92:26 (2021) - [c207]Kishor Jothimurugan, Osbert Bastani, Rajeev Alur:
Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS 2021: 1162-1170 - [c206]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: 249-262 - [c205]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Compositional Reinforcement Learning from Logical Specifications. NeurIPS 2021: 10026-10039 - [c204]Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman:
Example-guided synthesis of relational queries. PLDI 2021: 1110-1125 - [c203]Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue:
Synchronization Schemas. PODS 2021: 1-18 - [c202]Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur:
Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448 - [i26]Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur:
Stream Processing With Dependency-Guided Synchronization. CoRR abs/2104.04512 (2021) - [i25]Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur:
Compositional Reinforcement Learning from Logical Specifications. CoRR abs/2106.13906 (2021) - [i24]Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo:
Orion: Automatic Repair for Network Programs. CoRR abs/2110.06303 (2021) - [i23]Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan:
A Framework for Transforming Specifications in Reinforcement Learning. CoRR abs/2111.00272 (2021) - 2020
- [j74]Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur:
DiffStream: differential output testing for stream processing programs. Proc. ACM Program. Lang. 4(OOPSLA): 153:1-153:29 (2020) - [j73]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable regular transductions. Theor. Comput. Sci. 807: 15-41 (2020) - [c201]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: 28:1-28:7 - [c200]Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna:
Space-efficient Query Evaluation over Probabilistic Event Streams. LICS 2020: 74-87 - [c199]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: 1-12 - [i22]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 abs/2007.03704 (2020) - [i21]Kishor Jothimurugan, Rajeev Alur, Osbert Bastani:
A Composable Specification Language for Reinforcement Learning Tasks. CoRR abs/2008.09293 (2020) - [i20]Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo:
Session-layer Attack Traffic Classification by Program Synthesis. CoRR abs/2010.06135 (2020) - [i19]Kishor Jothimurugan, Osbert Bastani, Rajeev Alur:
Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR abs/2010.15638 (2020)
2010 – 2019
- 2019
- [j72]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford:
Modular quantitative monitoring. Proc. ACM Program. Lang. 3(POPL): 50:1-50:31 (2019) - [c198]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC 2019: 169-178 - [c197]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: 14:1-14:11 - [c196]Kishor Jothimurugan, Rajeev Alur, Osbert Bastani:
A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS 2019: 13021-13030 - [c195]Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen:
Data-trace types for distributed stream processing systems. PLDI 2019: 670-685 - [p4]Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis:
Continuous-Time Models for System Design and Analysis. Computing and Software Science 2019: 452-477 - [i18]Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur:
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR abs/1902.04064 (2019) - [i17]Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa:
SyGuS-Comp 2018: Results and Analysis. CoRR abs/1904.07146 (2019) - [i16]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 abs/1910.11309 (2019) - 2018
- [j71]Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama:
Search-based program synthesis. Commun. ACM 61(12): 84-93 (2018) - [j70]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput. 261: 616-633 (2018) - [j69]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Real-Time Decision Policies With Predictable Performance. Proc. IEEE 106(9): 1593-1615 (2018) - [j68]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): 2104-2117 (2018) - [c194]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen:
Interfaces for Stream Processing Systems. Principles of Modeling 2018: 38-60 - [c193]Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek 2018: 1-2 - [c192]Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik:
Accelerating search-based program synthesis using learned probabilistic models. PLDI 2018: 436-449 - [c191]Rajeev Alur, Joseph Devietti, Nimit Singhania:
Block-Size Independence for GPU Programs. SAS 2018: 107-126 - [p3]Rajeev Alur, Ahmed Bouajjani, Javier Esparza:
Model Checking Procedural Programs. Handbook of Model Checking 2018: 541-572 - [i15]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable Regular Transductions. CoRR abs/1807.03865 (2018) - [i14]Shaull Almagor, Rajeev Alur, Suguman Bansal:
Equilibria in Quantitative Concurrent Games. CoRR abs/1809.10503 (2018) - [i13]Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee:
Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR abs/1811.01828 (2018) - 2017
- [j67]Rajeev Alur, Loris D'Antoni:
Streaming Tree Transducers. J. ACM 64(5): 31:1-31:55 (2017) - [j66]Rajeev Alur, Stavros Tripakis:
Automatic Synthesis of Distributed Protocols. SIGACT News 48(1): 55-90 (2017) - [j65]Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi:
Schedulability of Bounded-Rate Multimode Systems. ACM Trans. Embed. Comput. Syst. 16(3): 85:1-85:27 (2017) - [c190]Rajeev Alur, Konstantinos Mamouras, Dogan Ulus:
Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools 2017: 75-95 - [c189]Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania:
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) 2017: 507-525 - [c188]Rajeev Alur, Konstantinos Mamouras, Caleb Stanford:
Automata-Based Stream Processing. ICALP 2017: 112:1-112:15 - [c187]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: 693-708 - [c186]Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo:
Quantitative Network Monitoring with NetQRE. SIGCOMM 2017: 99-112 - [c185]Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa:
Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) 2017: 319-336 - [c184]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV 2017: 97-115 - [p2]Rajeev Alur, Konstantinos Mamouras:
An Introduction to the StreamQRE Language. Dependable Software Systems Engineering 2017: 1-24 - 2016
- [c183]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. CAV (2) 2016: 251-269 - [c182]Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania:
Hedging Bets in Markov Decision Processes. CSL 2016: 29:1-29:20 - [c181]Rajeev Alur, Dana Fisman, Mukund Raghothaman:
Regular Programming for Quantitative Properties of Data Streams. ESOP 2016: 15-40 - [c180]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis with Parametric Reactive Controllers. HSCC 2016: 215-224 - [c179]Rajeev Alur, Dana Fisman:
Colored Nested Words. LATA 2016: 143-155 - [c178]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
SyGuS-Comp 2016: Results and Analysis. SYNT@CAV 2016: 178-202 - [i12]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 abs/1604.02980 (2016) - 2015
- [j64]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) - [j63]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015) - [j62]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): 9:1-9:24 (2015) - [c177]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis Through Unification. CAV (2) 2015: 163-179 - [c176]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) 2015: 395-412 - [c175]Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo:
Scenario-based programming for SDN policies. CoNEXT 2015: 34:1-34:13 - [c174]Rajeev Alur:
Keynote talk I: Syntax-guided synthesis. MEMOCODE 2015: 1 - [c173]Rajeev Alur, Loris D'Antoni, Mukund Raghothaman:
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL 2015: 125-137 - [c172]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. TACAS 2015: 501-516 - [c171]Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama:
Results and Analysis of SyGuS-Comp'15. SYNT 2015: 3-26 - [p1]Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - [i11]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CoRR abs/1505.04409 (2015) - [i10]Rajeev Alur, Pavol Cerný, Arjun Radhakrishna:
Synthesis through Unification. CoRR abs/1505.05868 (2015) - 2014
- [j61]Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam:
Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. 16(2): 191-213 (2014) - [c170]Loris D'Antoni, Rajeev Alur:
Symbolic Visibly Pushdown Automata. CAV 2014: 209-225 - [c169]Rajeev Alur, Adam Freilich, Mukund Raghothaman:
Regular combinators for string transformations. CSL-LICS 2014: 9:1-9:10 - [c168]Rajeev Alur, Nimit Singhania:
Precise piecewise affine models from input-output data. EMSOFT 2014: 3:1-3:10 - [c167]Yifei Yuan, Rajeev Alur, Boon Thau Loo:
NetEgg: Programming Network Policies by Examples. HotNets 2014: 20:1-20:7 - [c166]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference 2014: 75-91 - [i9]Rajeev Alur, Adam Freilich, Mukund Raghothaman:
Regular Combinators for String Transformations. CoRR abs/1402.3021 (2014) - [i8]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR abs/1402.7150 (2014) - 2013
- [j60]Rajeev Alur:
Can we verify cyber-physical systems?: technical perspective. Commun. ACM 56(10): 96 (2013) - [c165]Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-guided synthesis. FMCAD 2013: 1-8 - [c164]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Counter-strategy guided refinement of GR(1) temporal logic specifications. FMCAD 2013: 26-33 - [c163]Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo:
On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD 2013: 42-45 - [c162]Jay Thakkar, Aditya Kanade, Rajeev Alur:
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. FMOODS/FORTE 2013: 209-224 - [c161]