Sriram K. Rajamani

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 19

Top Venues

CoRR

PLDI

Proc. ACM Softw. Eng.

ISEC

Publications

Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
CodePlan: Repository-Level Coding using LLMs and Planning. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
CORE: Resolving Code Quality Issues using LLMs. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
Guiding Language Models of Code with Global Context using Monitors. CoRR (2023)
Naman Jain, Shubham Gandhi, Atharv Sonwane, Aditya Kanade, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
StaticFixer: From Static Analysis to Static Repair. CoRR (2023)
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram K. Rajamani
Frustrated with Code Quality Issues? LLMs can Help! CoRR (2023)
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. NeurIPS (2023)
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C, Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, Balasubramanyan Ashok, Shashank Shet
CodePlan: Repository-level Coding using LLMs and Planning. CoRR (2023)
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
Landmarks and regions: a robust approach to data extraction. PLDI (2022)
Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
Jigsaw: Large Language Models meet Program Synthesis. ICSE (2022)
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Shankar Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
Landmarks and Regions: A Robust Approach to Data Extraction. CoRR (2022)
Naman Jain, Skanda Vaidyanath, Arun Shankar Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma
Jigsaw: Large Language Models meet Program Synthesis. CoRR (2021)
Sriram K. Rajamani
Formal System Design and Verification: A Perspective. ISEC (2020)
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke
Programming by Rewards. CoRR (2020)
Sriram K. Rajamani
Models and programs: better together (keynote). SPLASH (Companion) (2020)
Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani
Synthesis and machine learning for heterogeneous extraction. PLDI (2019)
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia
A compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE (2017)
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
A design and verification methodology for secure isolated regions. PLDI (2016)
Sriram K. Rajamani
Keynote talk III: Trusted cloud: How to make the cloud more secure. MEMOCODE (2016)
Aleksandar Chakarov, Aditya V. Nori, Sriram K. Rajamani, Shayak Sen, Deepak Vijaykeerthy
Debugging Machine Learning Tasks. CoRR (2016)
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
Moat: Verifying Confidentiality of Enclave Programs. CCS (2015)
Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy
Efficient synthesis of probabilistic programs. PLDI (2015)
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
A Provably Correct Sampler for Probabilistic Programs. FSTTCS (2015)
Andrew Cross, B. Ashok, Srinath Bala, Edward Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Parthasarathy Madhusudan, Siddharth Prakash, Sriram K. Rajamani, Satish Sangameswaran, Deepika Sharma, William Thies
Online learning versus blended learning: an exploratory study. L@S (2014)
Shayak Sen, Saikat Guha, Anupam Datta, Sriram K. Rajamani, Janice Y. Tsai, Jeannette M. Wing
Bootstrapping Privacy Compliance in Big Data Systems. IEEE Symposium on Security and Privacy (2014)
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
Probabilistic programming. FOSE (2014)
Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel
R2: An Efficient MCMC Sampler for Probabilistic Programs. AAAI (2014)
Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
Slicing probabilistic programs. PLDI (2014)
Arun Tejasvi Chaganty, Aditya V. Nori, Sriram K. Rajamani
Efficiently Sampling Probabilistic Programs via Program Analysis. AISTATS (2013)
Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani
Asynchronous Resilient Linearizability. DISC (2013)
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
A model-learner pattern for bayesian reasoning. POPL (2013)
Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey
P: safe asynchronous event-driven programming. PLDI (2013)
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE (2013)
Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
Combining Relational Learning with SMT Solvers Using CEGAR. CAV (2013)
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
Parallelizing top-down interprocedural analyses. PLDI (2012)
Rohit Singh, Sumit Gulwani, Sriram K. Rajamani
Automatically Generating Algebra Problems. AAAI (2012)
Jose M. Falerio, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Generalized lattice agreement. PODC (2012)
Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop (2012)
Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani
Automatic predicate abstraction of C programs. ACM SIGPLAN Notices 47 (4a) (2012)
Aditya V. Nori, Sriram K. Rajamani
Program Analysis and Machine Learning: A Win-Win Deal. APLAS (2011)
Abhishek Udupa, Ankush Desai, Sriram K. Rajamani
Depth Bounded Explicit-State Model Checking. SPIN (2011)
Aditya V. Nori, Sriram K. Rajamani
Program Analysis and Machine Learning: A Win-Win Deal. SAS (2011)
Thomas Ball, Vladimir Levin, Sriram K. Rajamani
A decade of software model checking with SLAM. Commun. ACM 54 (7) (2011)
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
Refining abstract interpretations. Inf. Process. Lett. 110 (16) (2010)
Aditya V. Nori, Sriram K. Rajamani
An empirical study of optimizations in YOGI. ICSE (1) (2010)
Sriram K. Rajamani
Analyzing Explicit Information Flow. ICISS (2010)
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam
Representation dependence testing using program inversion. SIGSOFT FSE (2010)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur
Proofs from Tests. IEEE Trans. Software Eng. 36 (4) (2010)
Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali
Compositional may-must program analysis: unleashing the power of alternation. POPL (2010)
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
Alternation for Termination. SAS (2010)
Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi
GUESSTIMATE: a programming model for collaborative distributed systems. PLDI (2010)
Aditya V. Nori, Sriram K. Rajamani
Verification, Testing and Statistics. TAP@TOOLS (2009)
Sriram K. Rajamani
Verification, Testing and Statistics. ICTAC (2009)
Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS (2009)
V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
Merlin: specification inference for explicit information flow problems. PLDI (2009)
B. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala
DebugAdvisor: a recommender system for debugging. ESEC/SIGSOFT FSE (2009)
Sriram K. Rajamani
Verification, Testing and Statistics. FM (2009)
Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS (2009)
Sriram K. Rajamani
Verification, Testing and Statistics. RV (2009)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A type system for data-flow integrity on windows vista. PLAS (2008)
Madhu Gopinathan, Sriram K. Rajamani
Runtime Monitoring of Object Invariants with Guarantee. RV (2008)
Sriram K. Rajamani
Tests, Proofs and Refinements. ATVA (2008)
Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani
Combining Tests and Proofs. VSTTE (2008)
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
Proofs from tests. ISSTA (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A Type System for Data-Flow Integrity on Windows Vista CoRR (2008)
Shilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam
Global Software Servicing: Observational Experiences at Microsoft. ICGSE (2008)
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
Automating Software Testing Using Program Analysis. IEEE Softw. 25 (5) (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
EON: modeling and analyzing dynamic access control systems with logic programs. CCS (2008)
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
Automatically Refining Abstract Interpretations. TACAS (2008)
Madhu Gopinathan, Sriram K. Rajamani
Enforcing object protocols by combining static and runtime analysis. OOPSLA (2008)
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
A type system for data-flow integrity on Windows Vista. ACM SIGPLAN Notices 43 (12) (2008)
Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan
SoftAlloc: A Work Allocation Language with Soft Constraints. ICWS (2008)
Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan
A Work Allocation Language with Soft Constraints. CAiSE Forum (2008)
Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani
Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE (2007)
Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
Verification of Object Relational Maps. SEFM (2007)
Sriram K. Rajamani
Software Is More Than Code. J. Univers. Comput. Sci. 13 (5) (2007)
Sriram K. Rajamani
Static and Dynamic Analysis: Better Together. APLAS (2007)
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21 (6) (2006)
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert
: : seeing through access control. FMSE (2006)
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
SYNERGY: a new algorithm for property checking. SIGSOFT FSE (2006)
Sriram K. Rajamani
Automatic Property Checking for Software: Past, Present and Future. SEFM (2006)
Sriram K. Rajamani
Automatic Property Checking for Software: Past, Present and Future. ASE (2006)
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)
Bhargav S. Gulavani, Sriram K. Rajamani
Counterexample Driven Refinement for Abstract Interpretation. TACAS (2006)
Thomas Ball, Todd D. Millstein, Sriram K. Rajamani
Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani
Sound Transaction-Based Reduction Without Cycle Detection. SPIN (2005)
Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
Refining Approximations in Software Predicate Abstraction. TACAS (2004)
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
Zing: A Model Checker for Concurrent Software. CAV (2004)
Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
Stuck-Free Conformance. CAV (2004)
James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
Righting Software. IEEE Softw. 21 (3) (2004)
Randal E. Bryant, Sriram K. Rajamani
Verifying properties of hardware and software by predicate abstraction and model checking. ICCAD (2004)
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
Summarizing procedures in concurrent programs. POPL (2004)
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR (2004)
Jakob Rehof, Sriram K. Rajamani
Models for Contract Conformance. ISoLA (Preliminary proceedings) (2004)
Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM (2004)
Sriram K. Rajamani, Jakob Rehof
Models for Contract Conformance. ISoLA (2004)
Thomas Ball, Mayur Naik, Sriram K. Rajamani
From symptom to cause: localizing errors in counterexample traces. POPL (2003)
Thomas Ball, Andreas Podelski, Sriram K. Rajamani
Boolean and Cartesian abstraction for model checking C programs. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Thomas Ball, Sriram K. Rajamani
The SLAM project: debugging system software via static analysis. POPL (2002)
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Types as models: model checking message-passing programs. POPL (2002)
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
Fair Simulation. Inf. Comput. 173 (1) (2002)

Sriram K. Rajamani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sriram K. Rajamani