SRC Grand Finalists 2016

Swarnendu Biswas, Ohio State University
"Valor: Efficient, Software-Only Region Conflict Exceptions" (PLDI 2015)

Data races complicate programming language semantics, and a data race is often a bug. Existing techniques detect data races and define their semantics by detecting conflicts between synchronization-free regions. However, such techniques either modify hardware or slow programs dramatically, preventing always-on use today... [Read more]

Thomas Degueule, INRIA
"Interoperability and Composition of DSLs with Melange" (Modularity 2015)

Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to address specific concerns in the development of complex systems. However, DSLs and their tooling still suffer from substantial development costs which hamper their successful adoption in the industry. For over a decade, researchers and practitioners... [Read more]

Christopher Theisen, North Carolina State University
"Risk-Based Attack Surface Approximation" (ESEC/FSE 2015)

In our increasingly interconnected world, software security is an increasingly important issue for development teams. However, there is too much security work to do for these teams as security needs have out-scaled security resources. To help prioritize security efforts, professionals use the attack surface of a system... [Read more]

Jeevana Priya Inala, MIT
"Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes" (PDLI 2015)

As programming languages are being developed to be used in a wide range of industrial applications, it is necessary to introduce convenience language constructs that abstract a lot of the underlying low-level code. For example, the for statement in languages like Java and C is a convenience construct... [Read more]