Kapil Vaswani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
17
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | USENIX | Confidential Computing within an AI Accelerator. | Kapil Vaswani, Stavros Volos, Cdric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster, David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson |
| 2020 | SIGMOD | 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 |
| 2019 | FAST | SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution. | Maurice Bailleu, Jrg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, Kapil Vaswani |
| 2018 | OSDI | Graviton: Trusted Execution Environments on GPUs. | Stavros Volos, Kapil Vaswani, Rodrigo Bruno |
| 2018 | SP | EnclaveDB: A Secure Database Using SGX. | Christian Priebe, Kapil Vaswani, Manuel Costa |
| 2017 | PLDI | Simple, fast, and safe manual memory management. | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2016 | PLDI | 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 |
| 2015 | CCS | Moat: Verifying Confidentiality of Enclave Programs. | Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | HotOS | 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 |
| 2013 | POPL | Fault tolerance via idempotence. | Ganesan Ramalingam, Kapil Vaswani |
| 2012 | PODC | Generalized lattice agreement. | Jose M. Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani |
| 2012 | SAS | Modular Heap Analysis for Higher-Order Programs. | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
| 2011 | SAS | Purity Analysis: An Abstract Interpretation Formulation. | Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani |
| 2010 | ESOP | Logical Concurrency Control from Sequential Proofs. | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2010 | PLDI | Safe programmable speculative parallelism. | Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani |
| 2009 | ASPLOS | ISOLATOR: dynamically ensuring isolation in comcurrent programs. | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
| 2009 | ICSE | HOLMES: Effective statistical debugging via efficient path profiling. | Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani |
| 2007 | CGO | Microarchitecture Sensitive Empirical Models for Compiler Optimizations. | Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant, P. J. Joseph |
| 2007 | POPL | Preferential path profiling: compactly numbering interesting paths. | Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi |
| 2006 | HPCA | Construction and use of linear regression models for processor performance analysis. | P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil |
| 2006 | MICRO | A Predictive Performance Model for Superscalar Processors. | P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthaveetil |
| 2005 | CGO | A Programmable Hardware Path Profiler. | Kapil Vaswani, Matthew J. Thazhuthaveetil, Y. N. Srikant |