Natarajan Shankar

SRI International — United States

Computer Science · Physical Sciences

38h-index4.8kcitations152works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(97), Logic, programming, and type systems(72), Software Testing and Debugging Techniques(31), Logic, Reasoning, and Knowledge(28), Software Reliability and Analysis Research(16)

Publications152 total

It’s the Specification, Stupid!
Communications of the ACM·2025
SOLVING FUZZZY CRITICAL PATH WITH OCTAGONAL INTUITIONISTIC FUZZY NUMBER USING DIJKSTRA’S ALGORITHM
Global and Stochastic Analysis·2025Open Access
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus
2024· 3 cited
What Is a Garbage Collector? An Exercise in Compositional Refinement
Lecture notes in computer science·2024
Evidential Transactions with Cyberlogic
arXiv (Cornell University)·2023Open Access
Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
arXiv (Cornell University)·2023Open Access
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning
Lecture notes in computer science·2023· 4 cited
CoProver: A Recommender System for Proof Construction
Lecture notes in computer science·2023· 1 cited
Capturing the iccMAX calculatorElement: A Case Study on Format Design
2022· 1 cited
DesCert: Design for Certification
arXiv (Cornell University)·2022· 3 citedOpen Access
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification
Lecture notes in computer science·2022· 7 cited
The First Fifteen Years of the Verified Software Project
ACM eBooks·2021· 3 cited
The Verified Software Initiative: A Manifesto
ACM eBooks·2021· 7 cited
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs
Journal of Automated Reasoning·2021· 6 citedOpen Access
Semantic parsing of geometry statements using supervised machine learning on synthetic data
HAL (Le Centre pour la Communication Scientifique Directe)·2021· 1 citedOpen Access
2018 CAV award
Formal Methods in System Design·2021
Research Report: The Parsley Data Format Definition Language
2020· 8 citedOpen Access
Model-Centered Assurance for Autonomous Systems
Lecture notes in computer science·2020· 20 cited
The Correctness of a Code Generator for a Functional Language
Lecture notes in computer science·2020
The Correctness of a Code Generator for a Functional Language
Lecture notes in computer science·2020· 3 citedOpen Access
page 1 of 8Next →

Frequent Co-authors

Sam Owre(16), John Rushby(9), Harald Rueß(7), Ashish Tiwari(6), Patrick Lincoln(5), Mandayam Srivas(5), Sanjit A. Seshia(4), Leonardo de Moura(4), Wenchao Li(3), Judy Crow(2), R. Sunitha(2), Pramod Subramanyan(2), Adrià Gascón(2), Wei Yang Tan(2), Sharad Malik(2), Gary T. Leavens(2), Shalini Ghosh(2), Daniel Elenius(2), Wilfried Steiner(2), David Cyrluk(2)