Kapil Vaswani

According to our database, Kapil Vaswani authored at least 42 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

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, January, 2024

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

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

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

2022

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

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

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

DICE*: A Formally Verified Implementation of DICE Measured Boot.

Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur

Proceedings of the 30th USENIX Security Symposium, 2021

2020

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, Jeffrey Trimmer, Kapil Vaswani, Ramarathnam Venkatesan, Mike Zwilling

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution.

Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani

Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

2018

EnclaveDB: A Secure Database Using SGX.

Christian Priebe, Kapil Vaswani, Manuel Costa

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Graviton: Trusted Execution Environments on GPUs.

Stavros Volos, Kapil Vaswani, Rodrigo Bruno

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

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

Simple, fast, and safe manual memory management.

Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Information Flows in Encrypted Databases.

Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan

CoRR, 2016

Oblivious Multi-Party Machine Learning on Trusted Processors.

Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa

Proceedings of the 25th USENIX Security Symposium, 2016

A design and verification methodology for secure isolated regions.

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

A Framework For Efficient Modular Heap Analysis.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Found. Trends Program. Lang., 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, Michael Isard

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Moat: Verifying Confidentiality of Enclave Programs.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2013

Consistency in Distributed Systems (Dagstuhl Seminar 13081).

Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani

Dagstuhl Reports, 2013

Asynchronous Resilient Linearizability.

Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Fault tolerance via idempotence.

Ganesan Ramalingam, Kapil Vaswani

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

DARWIN: An approach to debugging evolving programs.

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani

ACM Trans. Softw. Eng. Methodol., 2012

Mining quantified temporal rules: Formalism, algorithms, and evaluation.

David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Sci. Comput. Program., 2012

Modular Heap Analysis for Higher-Order Programs.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 19th International Symposium, 2012

Generalized lattice agreement.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

CScale - A Programming Model for Scalable and Reliable Distributed Applications.

Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

Logical Concurrency Control from Sequential Proofs

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Log. Methods Comput. Sci., 2011

Purity Analysis: An Abstract Interpretation Formulation.

Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

Differential static analysis: opportunities, applications, and challenges.

Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Safe programmable speculative parallelism.

Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Darwin: an approach for debugging evolving programs.

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

HOLMES: Effective statistical debugging via efficient path profiling.

Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani

Proceedings of the 31st International Conference on Software Engineering, 2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2007

Quantifying the effectiveness of testing via efficient residual path profiling.

Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Preferential path profiling: compactly numbering interesting paths.

Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Microarchitecture Sensitive Empirical Models for Compiler Optimizations.

Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

Statistical and Machine Learning Techniques in Compiler Design.

Kapil Vaswani

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

A Predictive Performance Model for Superscalar Processors.

P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil

Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

Construction and use of linear regression models for processor performance analysis.

P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil

Proceedings of the 12th International Symposium on High-Performance Computer Architecture, 2006

2005

A Programmable Hardware Path Profiler.

Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

2003

Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler.

Kapil Vaswani, Y. N. Srikant

IEE Proc. Softw., 2003