Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler. - Kapil Vaswani; Y. N. Srikant (IEE Proc. Softw., 2003)

A Programmable Hardware Path Profiler. - Kapil Vaswani; Matthew J. Thazhuthaveetil; Y. N. Srikant (CGO, 2005)

Construction and use of linear regression models for processor performance analysis. - P. J. Joseph; Kapil Vaswani; Matthew J. Thazhuthaveetil (HPCA, 2006)

A Predictive Performance Model for Superscalar Processors. - P. J. Joseph; Kapil Vaswani; Matthew J. Thazhuthaveetil (MICRO, 2006)

Statistical and Machine Learning Techniques in Compiler Design. - Kapil Vaswani (The Compiler Design Handbook, 2nd ed., 2007)

Microarchitecture Sensitive Empirical Models for Compiler Optimizations. - Kapil Vaswani; Matthew J. Thazhuthaveetil; Y. N. Srikant; P. J. Joseph (CGO, 2007)

Preferential path profiling: compactly numbering interesting paths. - Kapil Vaswani; Aditya V. Nori; Trishul M. Chilimbi (POPL, 2007)

Quantifying the effectiveness of testing via efficient residual path profiling. - Trishul M. Chilimbi; Aditya V. Nori; Kapil Vaswani (ESEC/SIGSOFT FSE, 2007)

ISOLATOR: dynamically ensuring isolation in comcurrent programs. - Sriram K. Rajamani; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (ASPLOS, 2009)

HOLMES: Effective statistical debugging via efficient path profiling. - Trishul M. Chilimbi; Ben Liblit; Krishna K. Mehra; Aditya V. Nori; Kapil Vaswani (ICSE, 2009)

Darwin: an approach for debugging evolving programs. - Dawei Qi; Abhik Roychoudhury; Zhenkai Liang; Kapil Vaswani (ESEC/SIGSOFT FSE, 2009)

Safe programmable speculative parallelism. - Prakash Prabhu; Ganesan Ramalingam; Kapil Vaswani (PLDI, 2010)

Differential static analysis: opportunities, applications, and challenges. - Shuvendu K. Lahiri; Kapil Vaswani; C. A. R. Hoare (FoSER, 2010)

Purity Analysis: An Abstract Interpretation Formulation. - Ravichandhran Madhavan; Ganesan Ramalingam; Kapil Vaswani (SAS, 2011)

Logical Concurrency Control from Sequential Proofs - Jyotirmoy V. Deshmukh; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Log. Methods Comput. Sci., 2011)

CScale - A Programming Model for Scalable and Reliable Distributed Applications. - Jose M. Faleiro; Sriram K. Rajamani; Kaushik Rajan; G. Ramalingam; Kapil Vaswani (Monterey Workshop, 2012)

Generalized lattice agreement. - Jose M. Faleiro; Sriram K. Rajamani; Kaushik Rajan; G. Ramalingam; Kapil Vaswani (PODC, 2012)

Modular Heap Analysis for Higher-Order Programs. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (SAS, 2012)

Mining quantified temporal rules: Formalism, algorithms, and evaluation. - David Lo 001; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Sci. Comput. Program., 2012)

DARWIN: An approach to debugging evolving programs. - Dawei Qi; Abhik Roychoudhury; Zhenkai Liang; Kapil Vaswani (ACM Trans. Softw. Eng. Methodol., 2012)

Fault tolerance via idempotence. - Ganesan Ramalingam; Kapil Vaswani (POPL, 2013)

Asynchronous Resilient Linearizability. - Sagar Chordia; Sriram K. Rajamani; Kaushik Rajan; Ganesan Ramalingam; Kapil Vaswani (DISC, 2013)

Consistency in Distributed Systems (Dagstuhl Seminar 13081). - Bettina Kemme; Ganesan Ramalingam; André Schiper; Marc Shapiro 001; Kapil Vaswani (Dagstuhl Reports, 2013)

Moat: Verifying Confidentiality of Enclave Programs. - Rohit Sinha 001; Sriram K. Rajamani; Sanjit A. Seshia; Kapil Vaswani (CCS, 2015)

Broom: Sweeping Out Garbage Collection from Big Data Systems. - Ionel Gog; Jana Giceva; Malte Schwarzkopf; Kapil Vaswani; Dimitrios Vytiniotis; Ganesan Ramalingam; Manuel Costa; Derek Gordon Murray; Steven Hand 001; Michael Isard (HotOS, 2015)

A Framework For Efficient Modular Heap Analysis. - Ravichandhran Madhavan; G. Ramalingam; Kapil Vaswani (Found. Trends Program. Lang., 2015)

A design and verification methodology for secure isolated regions. - Rohit Sinha 001; Manuel Costa; Akash Lal; Nuno P. Lopes; Sriram K. Rajamani; Sanjit A. Seshia; Kapil Vaswani (PLDI, 2016)

Oblivious Multi-Party Machine Learning on Trusted Processors. - Olga Ohrimenko; Felix Schuster; Cédric Fournet; Aastha Mehta; Sebastian Nowozin; Kapil Vaswani; Manuel Costa (USENIX Security Symposium, 2016)

Information Flows in Encrypted Databases. - Kapil Vaswani; Ravi Ramamurthy; Ramarathnam Venkatesan (CoRR, 2016)

Simple, fast, and safe manual memory management. - Piyus Kedia; Manuel Costa; Matthew J. Parkinson; Kapil Vaswani; Dimitrios Vytiniotis; Aaron Blankstein (PLDI, 2017)

Project snowflake: non-blocking safe manual memory management in .NET. - Matthew J. Parkinson; Dimitrios Vytiniotis; Kapil Vaswani; Manuel Costa; Pantazis Deligiannis; Dylan McDermott; Aaron Blankstein; Jonathan Balkind (Proc. ACM Program. Lang., 2017)

Graviton: Trusted Execution Environments on GPUs. - Stavros Volos; Kapil Vaswani; Rodrigo Bruno (OSDI, 2018)

EnclaveDB: A Secure Database Using SGX. - Christian Priebe; Kapil Vaswani; Manuel Costa (IEEE Symposium on Security and Privacy, 2018)

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. - Maurice Bailleu; Jörg Thalheim; Pramod Bhatotia; Christof Fetzer; Michio Honda; Kapil Vaswani (FAST, 2019)

Azure SQL Database Always Encrypted. - Panagiotis Antonopoulos; Arvind Arasu; Kunal D. Singh; Ken Eguro; Nitish Gupta; Rajat Jain; Raghav Kaushik; Hanuma Kodavalla; Donald Kossmann; Nikolas Ogg; Ravi Ramamurthy; Jakub Szymaszek; et al. (SIGMOD Conference, 2020)

DICE*: A Formally Verified Implementation of DICE Measured Boot. - Zhe Tao; Aseem Rastogi; Naman Gupta; Kapil Vaswani; Aditya V. Thakur (USENIX Security Symposium, 2021)

Toward confidential cloud computing. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (Commun. ACM, 2021)

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (ACM Queue, 2021)

Confidential Machine Learning within Graphcore IPUs. - Kapil Vaswani; Stavros Volos; Cédric Fournet; Antonio Nino Diaz; Ken Gordon; Balaji Vembu; Sam Webster; David Chisnall; Saurabh Kulkarni; Graham Cunningham; Richard Osborne; Dan Wilkinson (CoRR, 2022)

Confidential Computing within an AI Accelerator. - Kapil Vaswani; Stavros Volos; Cédric Fournet; Antonio Nino Diaz; Ken Gordon; Balaji Vembu; Sam Webster; David Chisnall; Saurabh Kulkarni; Graham Cunningham; Richard Osborne; Dan Wilkinson (USENIX ATC, 2023)

Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy. - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Sylvan Clebsch; Maik Riechert; Manuel Costa; Mark Russinovich (ACM Queue, 2023)

ExclaveFL: Providing Transparency to Federated Learning using Exclaves. - Jinnan Guo; Kapil Vaswani; Andrew Paverd; Peter R. Pietzuch (CoRR, 2024)

Trustworthy AI using Confidential Federated Learning: Federated learning and confidential computing are not competing technologies. - Jinnan Guo; Peter R. Pietzuch; Andrew Paverd; Kapil Vaswani (ACM Queue, 2024)

Why Should I Trust Your Code? - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Sylvan Clebsch; Maik Riechert; Manuel Costa; Mark Russinovich (Commun. ACM, 2024)

Trustworthy AI Using Confidential Federated Learning. - Jinnan Guo; Peter R. Pietzuch; Andrew Paverd; Kapil Vaswani (Commun. ACM, 2024)

Transparent Attested DNS for Confidential Computing Services. - Antoine Delignat-Lavaud; Cédric Fournet; Kapil Vaswani; Manuel Costa; Sylvan Clebsch; Christoph M. Wintersteiger (CoRR, 2025)