Kapil Vaswani - RankMe

49 papers A* 16A 6B 2Journal 17Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Transparent Attested DNS for Confidential Computing Services. USENIX Security Symposium Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2025	J	`jnl`	Transparent Attested DNS for Confidential Computing Services. CoRR Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2024	J	`jnl`	ExclaveFL: Providing Transparency to Federated Learning using Exclaves. CoRR Jinnan Guo, Kapil Vaswani, Andrew Paverd, Peter R. Pietzuch
2024	J	`jnl`	Trustworthy AI Using Confidential Federated Learning. Commun. ACM Jinnan Guo, Peter R. Pietzuch, Andrew Paverd, Kapil Vaswani
2024	J	`jnl`	Trustworthy AI using Confidential Federated Learning: Federated learning and confidential computing are not competing technologies. ACM Queue Jinnan Guo, Peter R. Pietzuch, Andrew Paverd, Kapil Vaswani
2024	J	`jnl`	Why Should I Trust Your Code? Commun. ACM Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2023	—	`conf`	Confidential Computing within an AI Accelerator. USENIX ATC 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
2023	J	`jnl`	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. ACM Queue Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2022	J	`jnl`	Confidential Machine Learning within Graphcore IPUs. CoRR 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
2021	A*	`conf`	DICE*: A Formally Verified Implementation of DICE Measured Boot. USENIX Security Symposium Zhe Tao, Aseem Rastogi, Naman Gupta, Kapil Vaswani, Aditya V. Thakur
2021	J	`jnl`	Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2021	J	`jnl`	Toward confidential cloud computing. Commun. ACM Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2020	—	`conf`	Azure SQL Database Always Encrypted. SIGMOD Conference 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
2019	A	`conf`	SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. FAST Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani
2018	A*	`conf`	EnclaveDB: A Secure Database Using SGX. IEEE Symposium on Security and Privacy Christian Priebe, Kapil Vaswani, Manuel Costa
2018	A*	`conf`	Graviton: Trusted Execution Environments on GPUs. OSDI Stavros Volos, Kapil Vaswani, Rodrigo Bruno
2017	J	`jnl`	Project snowflake: non-blocking safe manual memory management in .NET. Proc. ACM Program. Lang. Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind
2017	A*	`conf`	Simple, fast, and safe manual memory management. PLDI Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein
2016	A*	`conf`	A design and verification methodology for secure isolated regions. PLDI Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2016	J	`jnl`	Information Flows in Encrypted Databases. CoRR Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan
2016	A*	`conf`	Oblivious Multi-Party Machine Learning on Trusted Processors. USENIX Security Symposium Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
2015	J	`jnl`	A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
2015	A	`conf`	Broom: Sweeping Out Garbage Collection from Big Data Systems. HotOS Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
2015	A*	`conf`	Moat: Verifying Confidentiality of Enclave Programs. CCS Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2013	A	`conf`	Asynchronous Resilient Linearizability. DISC Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani
2013	J	`jnl`	Consistency in Distributed Systems (Dagstuhl Seminar 13081). Dagstuhl Reports Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani
2013	A*	`conf`	Fault tolerance via idempotence. POPL Ganesan Ramalingam, Kapil Vaswani
2012	—	`conf`	CScale - A Programming Model for Scalable and Reliable Distributed Applications. Monterey Workshop Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
2012	J	`jnl`	DARWIN: An approach to debugging evolving programs. ACM Trans. Softw. Eng. Methodol. Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
2012	A*	`conf`	Generalized lattice agreement. PODC Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
2012	J	`jnl`	Mining quantified temporal rules: Formalism, algorithms, and evaluation. Sci. Comput. Program. David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2012	B	`conf`	Modular Heap Analysis for Higher-Order Programs. SAS Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani
2011	J	`jnl`	Logical Concurrency Control from Sequential Proofs Log. Methods Comput. Sci. Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2011	B	`conf`	Purity Analysis: An Abstract Interpretation Formulation. SAS Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani
2010	—	`conf`	Differential static analysis: opportunities, applications, and challenges. FoSER Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
2010	A	`conf`	Logical Concurrency Control from Sequential Proofs. ESOP Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2010	A*	`conf`	Safe programmable speculative parallelism. PLDI Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani
2009	—	`conf`	Darwin: an approach for debugging evolving programs. ESEC/SIGSOFT FSE Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani
2009	A*	`conf`	HOLMES: Effective statistical debugging via efficient path profiling. ICSE Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani
2009	A*	`conf`	ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2009	—	`conf`	Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani
2007	A	`conf`	Microarchitecture Sensitive Empirical Models for Compiler Optimizations. CGO Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph
2007	A*	`conf`	Preferential path profiling: compactly numbering interesting paths. POPL Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
2007	—	`conf`	Quantifying the effectiveness of testing via efficient residual path profiling. ESEC/SIGSOFT FSE Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
2007	—	`ch.`	Statistical and Machine Learning Techniques in Compiler Design. The Compiler Design Handbook, 2nd ed. Kapil Vaswani
2006	A*	`conf`	A Predictive Performance Model for Superscalar Processors. MICRO P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil
2006	A*	`conf`	Construction and use of linear regression models for processor performance analysis. HPCA P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil
2005	A	`conf`	A Programmable Hardware Path Profiler. CGO Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant
2003	J	`jnl`	Dynamic recompilation and profile-guided optimisations for a .NET JIT compiler. IEE Proc. Softw. Kapil Vaswani, Y. N. Srikant