Mandayam Srivas

Chennai Mathematical Institute — India

Computer Science · Physical Sciences

16h-index1.7kcitations72works2.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

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

Research Topics

Formal Methods in Verification(47), Logic, programming, and type systems(25), Embedded Systems Design Techniques(23), Radiation Effects in Electronics(11), Parallel Computing and Optimization Techniques(9)

Publications72 total

A Domain Specific Language for Testing Distributed Protocol Implementations
Lecture notes in computer science·2024· 2 cited
A Domain Specific Language for Testing Consensus Implementations
arXiv (Cornell University)·2023· 1 citedOpen Access
Automated Property Directed Self Composition
Lecture notes in computer science·2023· 1 cited
Permutation Invariance of Deep Neural Networks with ReLUs
Lecture notes in computer science·2022
Permutation Invariance of Deep Neural Networks with ReLUs
arXiv (Cornell University)·2021Open Access
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
Acta Informatica·2019· 2 cited
2LS: Memory Safety and Non-termination
Lecture notes in computer science·2018· 9 citedOpen Access
Discovering vesicle traffic network constraints by model checking
PLoS ONE·2017· 8 citedOpen Access
Concurrent Program Verification with Invariant-Guided Underapproximation
Lecture notes in computer science·2017· 4 cited
Compositional Safety Refutation Techniques
Lecture notes in computer science·2017· 1 citedOpen Access
Accelerating invariant generation
2015· 9 cited
Equivalence Checking Using Trace Partitioning
2015· 7 cited
Verifying synchronous reactive systems using lazy abstraction
Design, Automation, and Test in Europe·2015· 2 cited
Verifying Synchronous Reactive Systems using Lazy Abstraction
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015·2015· 1 cited
Formal Hardware/Software Co-Verification of Embedded Power Controllers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2014· 6 cited
Decomposing the Proof of Correctness of Pipelined Microprocessors
2007
Formal Verification of a Complex Pipelined Processor
Formal Methods in System Design·2003· 16 cited
A practical methodology for verifying pipelined microarchitectures
IEEE Design & Test of Computers·2003· 2 cited
Formal verification of microprocessors
2003
Bridging the formal methods gap: a computer-aided verification tool for hardware designs
2002
page 1 of 4Next →

Frequent Co-authors

Natarajan Shankar(6), Mark Bickford(6), Ravi Hosabettu(6), John Rushby(5), David Cyrluk(4), Ganesh Gopalakrishnan(4), Sam Owre(3), R. Sunitha(3), Steven P. Miller(3), Harald Rueß(3), Deepak Kapur(3), Daniel Kroening(3), G. Gopalakrishnan(3), Chilukuri K. Mohan(2), Jieh Hsiang(2), Kumar Madhukar(2), Björn Wachter(2), Peter Schrammel(2), Ankit Shukla(2), Lakshmanan Kuppusamy(2)