SRC Grand Finalists 2016


First Place:
Swarnendu Biswas - Ohio State University
PLDI 2015
    Title of Submission: Viser: Providing Serializability in Hardware With Simplified Cache Coherence

Second Place:
Thomas Degueule - INRIA
Modularity 2015
   Title of Submission: Towards Language Interfaces for DSLs Integration

Third Place:
Christopher Theisen - North Carolina State University
ESEC/FSE 2015 
    Title of Submission: Automated Attack Surface Approximation


First Place:
Jeevana Priya Inala - MIT
PLDI 2015
    Title of Submission: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes

Graduate Category: First Place

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]

Graduate Category: Second Place

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]

Graduate Category: Third Place

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]

Undergraduate Category: First Place

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]