Natarajan Shankar

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 37

Top Venues

Publications

Natarajan Shankar, Zephyr Lucas
Robust Verification of PEG Parser Interpreters. SP (Workshops) (2024)
Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
John Hester, Briland Hitaj, Grant Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning. CoRR (2023)
Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar
CoProver: A Recommender System for Proof Construction. CoRR (2023)
Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar
CoProver: A Recommender System for Proof Construction. CICM (2023)
Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. FMCAD (2023)
John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. CICM (2023)
Harald Ruess, Natarajan Shankar
Evidential Transactions with Cyberlogic. CoRR (2023)
Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris
Capturing the iccMAX calculatorElement: A Case Study on Format Design. SP Workshops (2022)
Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. NFM (2022)
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs. J. Autom. Reason. 66 (1) (2022)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. SMT (2022)
Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar
Semantic parsing of geometry statements using supervised machine learning on synthetic data. CICM Workshops (2021)
Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha
2018 CAV award. Formal Methods Syst. Des. 57 (1) (2021)
Prashanth Mundkur, Linda Briesemeister, Natarajan Shankar, Prashant Anantharaman, Sameed Ali, Zephyr Lucas, Sean W. Smith
Research Report: The Parsley Data Format Definition Language. SP Workshops (2020)
Clement Blaudeau, Natarajan Shankar
A Verified Packrat Parser Interpreter for Parsing Expression Grammars. CoRR (2020)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness. J. Autom. Reason. 64 (3) (2020)
Susmit Jha, John Rushby, Natarajan Shankar
Model-Centered Assurance for Autonomous Systems. SAFECOMP (2020)
Clement Blaudeau, Natarajan Shankar
A verified packrat parser interpreter for parsing expression grammars. CPP (2020)
Nathanaël Courant, Antoine Séré, Natarajan Shankar
The Correctness of a Code Generator for a Functional Language. VMCAI (2020)
Klaus Havelund, Natarajan Shankar
A Refinement Proof for a Garbage Collector. From Reactive Systems to Cyber-Physical Systems (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN (2019)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54 (3) (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR (2018)
Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS (2018)
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
Proofs in conflict-driven theory combination. CPP (2018)
Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi
Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS 121 (2017)
Natarajan Shankar
A Brief Introduction to the PVS2C Code Generator. AFM@NFM (2017)
Natarajan Shankar
Formalizing Hoare Logic in PVS. SETSS (2017)
Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
Satisfiability Modulo Theories and Assignments. CADE (2017)
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
TeLEx: Passive STL Learning Using Only Positive Examples. RV (2017)
Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC (2016)
Gaspard Férey, Natarajan Shankar
Code Generation Using a Formal Model of Reference Counting. NFM (2016)
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM (2016)
Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM (2016)
Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar
Design and verification for transportation system security. DAC (2015)
Gregory Malecha, Ashish Gehani, Natarajan Shankar
Automated software winnowing. SAC (2015)
Wenchao Li, Léonard Gérard, Natarajan Shankar
Design and verification of multi-rate distributed systems. MEMOCODE (2015)
Natarajan Shankar, K. Subramani, Pavlos Eirinakis
Identifying Negative Cost Cycles in Strongly Polynomial Space. Nord. J. Comput. 15 (2) (2015)
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
The Gradual Verifier. NASA Formal Methods (2014)
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software (2014)
Robin Larrieu, Natarajan Shankar
A framework for high-assurance quasi-synchronous systems. MEMOCODE (2014)
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2 (1) (2014)
Willem Visser, Nikolaj Bjørner, Natarajan Shankar
Software engineering and automated deduction. FOSE (2014)
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner
Automatically Extracting Requirements Specifications from Natural Language. CoRR (2014)
Chih-Hong Cheng, Harald Ruess, Natarajan Shankar
JBernstein: A Validity Checker for Generalized Polynomial Constraints. CAV (2013)
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR (2013)
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
WordRev: Finding word-level structures in a sea of bit-level gates. HOST (2013)
Natarajan Shankar
Automated Reasoning, Fast and Slow. CADE (2013)
Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar
Tool Integration with the Evidential Tool Bus. VMCAI (2013)
Sam Owre, Indranil Saha, Natarajan Shankar
Automatic Dimensional Analysis of Cyber-Physical Systems. FM (2012)
Indranil Saha, Natarajan Shankar
ModelRob: A Simulink Library for Model-Based Development of robot manipulators. ICRA (2012)
Natarajan Shankar
The Architecture of Inference from SMT to ETB. SMT@IJCAR (2012)
Sam Owre, Natarajan Shankar
Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Pritam Roy, Natarajan Shankar
SimCheck: a contract type system for Simulink. Innov. Syst. Softw. Eng. 7 (2) (2011)
Natarajan Shankar, K. Subramani
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. Sci. Comput. Program. 76 (7) (2011)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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ß
The 1st Verified Software Competition: Experience Report. FM (2011)
Pritam Roy, Natarajan Shankar
SimCheck: An Expressive Type System for Simulink. NASA Formal Methods (2010)
Natarajan Shankar
Rewriting, Inference, and Proof. WRLA (2010)
Natarajan Shankar, Marc Vaucher
The Mechanical Verification of a DPLL-Based Satisfiability Solver. LSFA (2010)
Tony Hoare, Natarajan Shankar
Unraveling a Card Trick. Essays in Memory of Amir Pnueli (2010)
Natarajan Shankar
Automated deduction for verification. ACM Comput. Surv. 41 (4) (2009)
Ashish Gehani, Florent Kirchner, Natarajan Shankar
System Support for Forensic Inference. IFIP Int. Conf. Digital Forensics (2009)
C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
The verified software initiative: A manifesto. ACM Comput. Surv. 41 (4) (2009)
Natarajan Shankar
Trust and Automation in Verification Tools. ATVA (2008)
Sam Owre, Natarajan Shankar
A Brief Overview of PVS. TPHOLs (2008)
Natarajan Shankar
Fixpoints and Search in PVS. LASER Summer School (2008)
Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
A Tutorial on Satisfiability Modulo Theories. CAV (2007)
Natarajan Shankar
Inference Systems for Logical Algorithms. FSTTCS (2005)
Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar
Justifying Equality. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
SAL 2. CAV (2004)
Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
The ICS Decision Procedures for Embedded Deduction. IJCAR (2004)
Ashish Tiwari, Natarajan Shankar, John M. Rushby
Invisible formal methods for embedded control systems. Proc. IEEE 91 (1) (2003)
Natarajan Shankar
Verification by Abstraction. 10th Anniversary Colloquium of UNU/IIST (2002)
Natarajan Shankar, Harald Rueß
Combining Shostak Theories. RTA (2002)
Natarajan Shankar
Little Engines of Proof. FME (2002)
Jonathan Ford, Natarajan Shankar
Formal Verification of a Combination Decision Procedure. CADE (2002)
Natarajan Shankar
Little Engines of Proof. LICS (2002)
Harald Rueß, Natarajan Shankar
Deconstructing Shostak. LICS (2001)
Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
A Technique for Invariant Generation. TACAS (2001)
Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
ICS: Integrated Canonizer and Solver. CAV (2001)
Natarajan Shankar
Using Decision Procedures with a Higher-Order Logic. TPHOLs (2001)
Natarajan Shankar
Static Analysis for Safe Destructive Updates in a Functional Language. LOPSTR (2001)
Natarajan Shankar
Symbolic Analysis of Transition Systems. Abstract State Machines (2000)
Natarajan Shankar
Combining Theorem Proving and Model Checking through Symbolic Analysis. CONCUR (2000)
Hassen Saïdi, Natarajan Shankar
Abstract and Model Check While You Prove. CAV (1999)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. Formal Methods Syst. Des. 14 (1) (1999)
Natarajan Shankar, Sam Owre
Principles and Pragmatics of Subtyping in PVS. WADT (1999)
Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar
A case-study in component-based mechanical verification of fault-tolerant programs. WSS (1999)
John M. Rushby, Sam Owre, Natarajan Shankar
Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24 (9) (1998)
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
PVS: An Experience Report. FM-Trends (1998)
Amir Pnueli, Natarajan Shankar, Eli Singerman
Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT (1998)
Shaz Qadeer, Natarajan Shankar
Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET (1998)
S. P. Rajan, Natarajan Shankar, Mandayam K. Srivas
Industrial Strength Formal Verification Techniques for Hardware Designs. VLSI Design (1997)
Natarajan Shankar
Lazy Compositional Verification. COMPOS (1997)
Sam Owre, John M. Rushby, Natarajan Shankar
Integration in PVS: Tables, Types, and Model Checking. TACAS (1997)
Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
Modular Verification of SRT Division. CAV (1996)
Natarajan Shankar
PVS: Combining Specification, Proof Checking, and Model Checking. FMCAD (1996)

Natarajan Shankar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Natarajan Shankar