| 2024 | ESOP | Maximal Quantified Precondition Synthesis for Linear Array Loops. | Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza |
| 2024 | ICDE | Kondo: Efficient Provenance-Driven Data Debloating. | Aniket Modi, Rohan Tikmany, Tanu Malik, Raghavan Komondoor, Ashish Gehani, Deepak D'Souza |
| 2024 | TACAS | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2023 | FMCAD | Data-Driven Learning of Strong Conjunctive Invariants. | Arkesh Thakkar, Deepak D'Souza |
| 2022 | ESOP | Static Race Detection for Periodic Programs. | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
| 2021 | PLDI | Specification synthesis with constrained Horn clauses. | Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza |
| 2020 | ATVA | Verification of a Generative Separation Kernel. | Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu |
| 2019 | ESOP | Data Races and Static Analysis for Interrupt-Driven Kernels. | Nikita Chopra, Rekha R. Pai, Deepak D'Souza |
| 2019 | FM | Static Analysis for Detecting High-Level Races in RTOS Kernels. | Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
| 2017 | SAS | Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. | Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky |
| 2017 | VMCAI | Detecting All High-Level Dataraces in an RTOS Kernel. | Suvam Mukherjee, Arun Kumar, Deepak D'Souza |
| 2015 | ICFEM | Refinement-Based Verification of the FreeRTOS Scheduler in VCC. | Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock |
| 2014 | MEMOCODE | A multi-core version of FreeRTOS verified for datarace and deadlock freedom. | Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram |
| 2012 | ECOOP | Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. | Arnab De, Deepak D'Souza |
| 2012 | ESORICS | Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. | Deepak D'Souza, K. R. Raghavendra |
| 2012 | ICTAC | A Compositional Hierarchical Monitoring Automaton Construction for LTL. | Deepak D'Souza, Raj Mohan Matteplackel |
| 2011 | ESOP | Dataflow Analysis for Datarace-Free Programs. | Arnab De, Deepak D'Souza, Rupesh Nasre |
| 2010 | ISoLA | Analysing Message Sequence Graph Specifications. | Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar |
| 2010 | ISoLA | WOMM: A Weak Operational Memory Model. | Arnab De, Abhik Roychoudhury, Deepak D'Souza |
| 2010 | TIME | Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. | Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan |
| 2008 | CAV | Conflict-Tolerant Features. | Deepak D'Souza, Madhu Gopinathan |
| 2008 | ICISS | On the Decidability of Model-Checking Information Flow Properties. | Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick |
| 2007 | LFCS | A Decidable Temporal Logic of Repeating Values. | Stphane Demri, Deepak D'Souza, Rgis Gascon |
| 2006 | SEFM | Computing Complete Test Graphs for Hierarchical Systems. | Deepak D'Souza, Madhu Gopinathan |
| 2005 | FOSSACS | Fault Diagnosis Using Timed Automata. | Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza |
| 2003 | CAV | Timed Control with Partial Observability. | Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit |
| 2002 | STACS | Timed Control Synthesis for External Specifications. | Deepak D'Souza, P. Madhusudan |