Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Kapil Vaswani

Kapil Vaswani
RESEARCHER
.

Systems and Networking

Microsoft Research
kapilv@microsoft.com

 

I am a researcher with the Systems and Networking group at Microsoft Research. I am broadly interested in systems security and programming language abstractions for building secure, robust applications. I graduated from the department of Computer Science and Automation at the Indian Institute of Science where I worked on efficient and accurate profiling and performance modelling techniques.

Current Research

Always Encrypted/Cipherbase

One of the barriers to adoption cloud database technologies is data security and privacy. Data is a valuable asset to most organizations and storing the data in the cloud is often perceived as a security risk. This project investigates mechanisms to address such data security concerns. In particular, the goal of the project is to research, design, and build a comprehensive database system that offers strong confidentiality and integrity properties without compromising functionality or performance. A part of this research has been implemented in a SQL Server feature called Always Encrypted. Always Encrypted enables columns in a SQL Server database to be encrypted and supports transparent execution of queries against encrypted columns without requiring the encryption keys to be revealed to the server.

 
CScale
CScale is a programming model that simplifies the task of writing consistent and highly available distributed applications. CScale applications have simple semantics that enables local reasoning, and testing and debugging on the single machine. CScale manages all aspects of execution of a CScale application on a large clusters, including deployment and state management (replication and data partitioning).

 

Recent papers

Click here for a full list of papers

Software

 

 

HolmesHolmes 

 

Other projects

Speculate - Language extensions for speculative parallelism 
WYPIWYG - Inferring concurrency control from sequential proofs 
Isolator - Dynamically enforcing isolation in concurrent programs 
Darwin - Software fault localization using program versions
Preferential Path Profiling - An approach for improving the efficiency of collecting path coverage data  
Seal - Side Effects Analysis for .NET 

 

Program committees

POPL 2015 (ERC). PLDI 2014 (ERC), ICSE 2014, ISEC 2013, TOOLS Europe 2012, ISEC 2012, ICTAC 2012, CGO 2012, APLAS 2011, ISEC 2011, SCORE 2011, FASE 2011