Natarajan Shankar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
24
Active years
1990–2026
Best venue rank
A*
Where they publish
- A*CAV11 papers
- ACADE8 papers
- BFM6 papers
- A*LICS5 papers
- A*SP3 papers
- BFMCAD2 papers
- BCPP2 papers
- BVMCAI2 papers
- CMEMOCODE2 papers
- ATACAS2 papers
- BICLP2 papers
- BSAFECOMP1 paper
- ADSN1 paper
- BRV1 paper
- A*DAC1 paper
- MulticonferenceSAC1 paper
- A*ICSE1 paper
- A*ICRA1 paper
- BATVA1 paper
- CLOPSTR1 paper
- BCONCUR1 paper
- NationalVLSID1 paper
- BMPC1 paper
- A*FOCS1 paper
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Show Me The Money: An Exercise in Proof-Driven Software Understanding. | Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa |
| 2024 | CAV | The MoXI Model Exchange Tool Suite. | Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier |
| 2024 | SP | Robust Verification of PEG Parser Interpreters. | Natarajan Shankar, Zephyr Lucas |
| 2023 | FMCAD | Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. | Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi |
| 2022 | SP | Capturing the iccMAX calculatorElement: A Case Study on Format Design. | Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris |
| 2020 | CPP | A verified packrat parser interpreter for parsing expression grammars. | Clement Blaudeau, Natarajan Shankar |
| 2020 | SP | Research Report: The Parsley Data Format Definition Language. | Prashanth Mundkur, Linda Briesemeister, Natarajan Shankar, Prashant Anantharaman, Sameed Ali, Zephyr Lucas, Sean W. Smith |
| 2020 | SAFECOMP | Model-Centered Assurance for Autonomous Systems. | Susmit Jha, John Rushby, Natarajan Shankar |
| 2020 | VMCAI | The Correctness of a Code Generator for a Functional Language. | Nathanal Courant, Antoine Sr, Natarajan Shankar |
| 2019 | DSN | SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. | Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari |
| 2018 | CPP | Proofs in conflict-driven theory combination. | Maria Paola Bonacina, Stphane Graham-Lengrand, Natarajan Shankar |
| 2017 | CADE | Satisfiability Modulo Theories and Assignments. | Maria Paola Bonacina, Stphane Graham-Lengrand, Natarajan Shankar |
| 2017 | RV | TeLEx: Passive STL Learning Using Only Positive Examples. | Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
| 2015 | DAC | Design and verification for transportation system security. | Bowen Zheng, Wenchao Li, Peng Deng, Lonard Grard, Qi Zhu, Natarajan Shankar |
| 2015 | MEMOCODE | Design and verification of multi-rate distributed systems. | Wenchao Li, Lonard Grard, Natarajan Shankar |
| 2015 | SAC | Automated software winnowing. | Gregory Malecha, Ashish Gehani, Natarajan Shankar |
| 2014 | ICSE | Software engineering and automated deduction. | Willem Visser, Nikolaj S. Bjrner, Natarajan Shankar |
| 2014 | MEMOCODE | A framework for high-assurance quasi-synchronous systems. | Robin Larrieu, Natarajan Shankar |
| 2013 | CADE | Automated Reasoning, Fast and Slow. | Natarajan Shankar |
| 2013 | CAV | JBernstein: A Validity Checker for Generalized Polynomial Constraints. | Chih-Hong Cheng, Harald Ruess, Natarajan Shankar |
| 2013 | VMCAI | Tool Integration with the Evidential Tool Bus. | Simon Cruanes, Grgoire Hamon, Sam Owre, Natarajan Shankar |
| 2012 | CADE | The Architecture of Inference from SMT to ETB. | Natarajan Shankar |
| 2012 | FM | Automatic Dimensional Analysis of Cyber-Physical Systems. | Sam Owre, Indranil Saha, Natarajan Shankar |
| 2012 | ICRA | ModelRob: A Simulink Library for Model-Based Development of robot manipulators. | Indranil Saha, Natarajan Shankar |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2008 | ATVA | Trust and Automation in Verification Tools. | Natarajan Shankar |
| 2007 | CAV | A Tutorial on Satisfiability Modulo Theories. | Leonardo Mendona de Moura, Bruno Dutertre, Natarajan Shankar |
| 2004 | CADE | The ICS Decision Procedures for Embedded Deduction. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar |
| 2004 | CAV | SAL 2. | Leonardo Mendona de Moura, Sam Owre, Harald Rue, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari |
| 2002 | CADE | Formal Verification of a Combination Decision Procedure. | Jonathan Ford, Natarajan Shankar |
| 2002 | FM | Little Engines of Proof. | Natarajan Shankar |
| 2002 | LICS | Little Engines of Proof. | Natarajan Shankar |
| 2001 | CAV | ICS: Integrated Canonizer and Solver. | Jean-Christophe Fillitre, Sam Owre, Harald Rue, Natarajan Shankar |
| 2001 | LICS | Deconstructing Shostak. | Harald Rue, Natarajan Shankar |
| 2001 | LOPSTR | Static Analysis for Safe Destructive Updates in a Functional Language. | Natarajan Shankar |
| 2001 | TACAS | A Technique for Invariant Generation. | Ashish Tiwari, Harald Rue, Hassen Sadi, Natarajan Shankar |
| 2000 | CONCUR | Combining Theorem Proving and Model Checking through Symbolic Analysis. | Natarajan Shankar |
| 1999 | CAV | Abstract and Model Check While You Prove. | Hassen Sadi, Natarajan Shankar |
| 1998 | FM | PVS: An Experience Report. | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert |
| 1997 | VLSID | Industrial Strength Formal Verification Techniques for Hardware Designs. | Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas |
| 1997 | TACAS | Integration in PVS: Tables, Types, and Model Checking. | Sam Owre, John M. Rushby, Natarajan Shankar |
| 1996 | CADE | On Shostak's Decision Procedure for Combinations of Theories. | David Cyrluk, Patrick Lincoln, Natarajan Shankar |
| 1996 | CAV | PVS: Combining Specification, Proof Checking, and Model Checking. | Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | CAV | Modular Verification of SRT Division. | Harald Rue, Natarajan Shankar, Mandayam K. Srivas |
| 1996 | FM | Experiments in Theorem Proving and Model Checking for Protocol Verification. | Klaus Havelund, Natarajan Shankar |
| 1996 | FMCAD | PVS: Combining Specification, Proof Checking, and Model Checking. | Natarajan Shankar |
| 1995 | CAV | An Integration of Model Checking with Automated Proof Checking. | S. Rajan, Natarajan Shankar, Mandayam K. Srivas |
| 1995 | LICS | Decision Problems for Second-Order Linear Logic | Patrick Lincoln, Andre Scedrov, Natarajan Shankar |
| 1995 | MPC | Computer-Aided Computing. | Natarajan Shankar |
| 1994 | ICLP | Proof Search (Tutorial). | Roy Dyckhoff, Natarajan Shankar |
| 1994 | ICLP | Using Proof Theory to Optimize Proof Search. | Natarajan Shankar |
| 1994 | LICS | Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi | Patrick Lincoln, Natarajan Shankar |
| 1993 | CAV | Verification of Real-Time Systems Using PVS. | Natarajan Shankar |
| 1993 | FM | Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
| 1992 | CADE | PVS: A Prototype Verification System. | Sam Owre, John M. Rushby, Natarajan Shankar |
| 1992 | CADE | Proof Search in the Intuitionistic Sequent Calculus. | Natarajan Shankar |
| 1991 | LICS | Linearizing Intuitionistic Implication | Patrick Lincoln, Andre Scedrov, Natarajan Shankar |
| 1990 | FOCS | Decision Problems for Propositional Linear Logic | Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar |