Refinement types enrich a language's type system with logical predicates that circumscribe
the set of values described by the type. These refinement predicates provide software …

Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …

With distributed computing becoming ubiquitous in the modern era, safe distributed
programming is an open challenge. To address this, multiparty session types (MPST) …

New laws such as the European Union's General Data Protection Regulation (GDPR) grant
users unprecedented control over personal data stored and processed by businesses …

Automatic program repair (APR) regularly faces the challenge of overfitting patches---
patches that pass the test suite, but do not actually address the problems when evaluated …

Web applications are governed by privacy policies, but developers lack practical
abstractions to ensure that their code actually abides by these policies. This leads to …

Content blocking systems today exempt thousands of privacy-harming scripts. They do this
because blocking these scripts breaks the Web sites that rely on them. In this paper, we …

We present Storm, a web framework that allows developers to build MVC applications with
compile-time enforcement of centrally specified data-dependent security policies. Storm …

Violations of data protection laws such as the General Data Protection Regulation (GDPR)
are ubiquitous. Currently, building IT support to implement such laws is difficult and the …

A multiverse database transparently presents each application user with a flexible, dynamic,
and independent view of shared data. This transformed view of the entire database contains …