Nikhil Balaji , Prasad Chaugule, Nitin Saurabh
On the Arithmetic Complexity of Euler Tours
Computing and Combinatorics: 32nd International Computing and Combinatorics Conference, COCOON 2026
Elsa López Pérez, Thomas Watteyne, Cristina Onete, Dhekra Mahmoud, Pascal Lafourcade,Vaishnavi Sundararajan, Mališa Vučinić
Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+
In Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, Supratik Chakraborty, Samarjit Chakraborty
Recurrence-seeking Tests for Non-termination
International Symposium on Model Checking of Software (SPIN) 2026
Mangala Gowri Nanda, S. Arun-Kumar Decompiling Boolean Expressions from Java Bytecode
India Software Engineering Conference (ISEC) 2016
Rajesh Kumar Pal, Ierum Shanaya, Kolin Paul, Sanjiva Prasad Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures
Future Generation Computer Systems 2016, vol 56
Chinmay Narayan, Subodh Sharma, Shibashis Guha, S.Arun-Kumar From Traces To Proofs: Proving Concurrent Programs Safe
International Symposium on Theoretical Aspects of Software Engineering (TASE) 2016
Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada Improved MHP analyses
International Conference on Compiler Construction (CC) 2016
Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare POLLUX: safely upgrading dependent application libraries
International Symposium on Foundations of Software Engineering (FSE) 2016
Kolin Paul, Abdul Khalid, Yasoob Haider, Shalini Singh, Sanjiva Prasad prasavGraph: an Android-based e-Partograph
International Conference on Systems in Medicine and Biology (ICSMB) 2016
Shalini Singh, Kolin Paul, Geeta Yadav, Sanjiva Prasad prasavGraph: Android based Labour Monitoring
9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) 2016
Chandrika Bhardwaj, Sanjiva Prasad Pravah: Parameterised Information Flow Control in e-Health
Scalable Computing: Practice and Experience 2016
Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida Proceedings of the 12th International Conference on Distributed Computing and Internet Technology (ICDCIT)
Springer LNCS 9581, 2016
Sanjiva Prasad Program Execution on Reconfigurable Multicore Architectures
Workshop on Programming Language Approaches to Concurrency-and Communication-centric Software (PLACES), ETAPS 2016
Sanjiva Prasad, Lenore Zuck Self-Similarity Breed Resilience
Proceedings of EXPRESS/SOS 2016
Soham Chakraborty, Viktor Vafeiadis Validating optimizations of concurrent C/C++ programs
International Symposium on Code Generation and Optimization (CGO) 2016
Lenore D. Zuck, Sanjiva Prasad A Switch, in Time
Trustworthy Global Computing (TGC) 2015
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis Aspect-oriented linearizability proofs
Logical Methods in Computer Science (LMCS) 2015
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli Common compiler optimisations are invalid in the C11 memory model and what we can do about it
Symposium on Principles of Programming Languages (POPL) 2015
Ramandeep Singh, Britty Baby, Natesan Damodaran, Vinkle Srivastav, Ashish Suri, Subhashis Banerjee, Subodh Kumar, Prem Kalra,, Sanjiva Prasad, Kolin Paul, Sneh Anand, Sanjeev Kumar, Varun Dhiman, David Ben-Israel, Kulwant Singh Kapoor Design and Validation of an Open-Source, Partial Task Trainer for Endonasal Neuro-Endoscopic Skills Development: Indian Experience
Journal World Neurosurgery, Volume 86, February 2015
Sanjiva Prasad Designing for Scalability and Trustworthiness in mHealth Systems
11th International Conference on Distributed Computing and Internet Technology (ICDCITs) 2015
Lenore D. Zuck, Sanjiva Prasad Limited Mobility, Eventual Stability
11th International Haifa Verification Conference, (HVC) 2015
Chandrika Bhardwaj, Sanjiva Prasad Parametric information flow control in eHealth
International Conference on E-health Networking, Application & Services (HealthCom) 2015
Sanjiva Prasad Programming the Internet of Things
PLVNet 2015 Workshop, POPL 2015
Manjul Tripathi, Rama Chandra Deo, Ashish Suri, Vinkle Srivastav, Britty Baby, Subodh Kumar, Prem Kalra, Subhashis Banerjee, Sanjiva Prasad, Kolin Paul, Tara Sankar Roy, Sanjeev Lalwani Quantitative analysis of the Kawase versus the modified Dolenc-Kawase approach for middle cranial fossa lesions with variable anteroposterior extension
Journal of Neurosurgery. Volume 123, Number 1, July 2015
Chandrika Bhardwaj Systematic information flow control in mHealth systems
International Conference on Communication Systems and Networks (COMSNETS) 2015
César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening Unfolding-based Partial Order Reduction (Best Paper Award)
International Conference on Concurrency Theory (CONCUR) 2015
Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening Accelerated test execution using GPUs
International conference on Automated Software Engineering (ASE) 2014
S. Arun-Kumar, Divyanshu Bagga Parameterised Bisimulations: Some Applications
International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) 2014
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
International Symposium on Formal Methods (FM) 2014
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar Reducing Clocks in Timed Automata while Preserving Bisimulation
International Conference on Concurrency Theory (CONCUR) 2014
Aashish Mittal, Dushyant Bansal, Varun Sethi, Sorav Bansal
Efficient Virtualization on Embedded Power Architecture Platforms
ASPLOS 2013
Piyus Kedia, Sorav Bansal
Fast Dynamic Binary Translation for the Kernel
SOSP 2013
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan & S. Arun-Kumar
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
EXPRESS/SOS 2013
Manish Gaur & S. Arun-Kumar
On Efficiency Preorders
FSEN 2013
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications
SBMF 2012
Subodh Sharma Ganesh Gopalakrishnan, Greg Bronevetsky
MAPPED: Predictive Dynamic Analysis Tool for MPI Applications
SC Companion 2012
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
On Decidability of Prebisimulation for Timed Automata
CAV 2012
Subodh Sharma, Ganesh Gopalakrishnan
Efficient Verification Solutions for Message Passing Systems
IPDPS Workshops 2011
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
Dynamic verification of Multicore Communication applications in MCAPI
HLDVT 2009
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
MCC: A runtime verification tool for MCAPI user applications
FMCAD 2009
Pranav Singh & S. Arun-Kumar
Axiomatization of a Class of Parametrised Bisimilarities
Perspectives in Concurrency Theory 2009
Subodh Sharma, Sarvani Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kriby, Rajeev Thakur, William Gropp
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
Euro MPI 2008
Sorav Bansal, Alex Aiken
Binary Translation Using Peephole Superoptimizers
OSDI 2008
Sarvani Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
ISP: a tool for model checking MPI programs
PPoPP 2008
Sorav Bansal, Alex Aiken
Automatic Generation of Peephole Superoptimizers
ASPLOS 2006
S. Arun-Kumar
On Bisimilarities Induced by Relations on Actions
IEEE International Conference on Software Engineering and Formal Methods 2006
Suhas Gupta, Pranay Pratap, Huzur Saran & S. Arun-Kumar
Dynamic code instrumentation to detect and recover from return address corruption
International workshop on Dynamic systems analysis 2006
Astrid Kiehn & S. Arun-Kumar
Amortised Bisimulations
FORTE 2005
Jamshid B Mohasefi & S. Arun-Kumar
Flexible Communication of Agents Based on FIPA-ACL
FSEN 2005
Sorav Bansal, Dharmendra S. Modha
CAR: Clock with Adaptive Replacement
FAST 2004
Jamshid B Mohasefi & S. Arun-Kumar
Layered Clausal Rersolution in the Multi-modal Logic of Beliefs and Goals
Proceedings Logic for Programming, Artificial Intelligence, and Reasoning 2004
Neelesh Korade & S. Arun-Kumar
A Logical characterization of Efficiency Preorders
ICTAC 2004
Jamshid B Mohasefi & S. Arun-Kumar
A Multi-agent Framework Based on Communication and Concurrency
LNCS 2004
Sanjiva Prasad & S. Arun-Kumar
Introduction to Operational Semantics
Chapter in The Compiler Design Handbook: Optimizations and Machine Code Generation (ed.) Y.N. Srikant & P. Sankar, CRC Press 2003
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad & S. Arun-Kumar
Reflecting BDDs in Coq
LNCS 2000
Kamal Jain & S. Arun-Kumar
Testing Processes for Efficiency
FSTTCS 1996
S. Arun-Kumar & V. Natarajan: Conformance
A Precongruence Close to Bisimilarity
Proceedings, Structures in Concurrency Theory, Springer Workshops in Computer Science Series 1995
S. Arun-Kumar & M. Hennessy
An Efficiency Preorder for Processes
TACS 1991
S. R. Goregaokar & S. Arun-Kumar
A Characterization of Asynchronous Message-passing
FSTTCS 1986