ACM SRC Grand Finals Candidates, 2018 - 2019

GRADUATE STUDENT WINNERS

Aaron Weiss -    Northwestern University
POPL 2019
   Title of Submission: Monty PL and the Holy Grail

Chloe Alverti -    National Technical University of Athens, Greece
PACT 2018
   Title of Submission: Speculative Offset Address Translation

Christie Alappat -    University of Erlangen-Nuremberg
SC 2018
   Title of Submission: RACE - Recursive Algebraic Coloring Engine

Daniel DeFreez -    University of California, Davis
FSE 2018
   Title of Submission: Mining Error-Handling Specifications for Systems Software

David Schlais -    University of Wisconsin-Madison
SIGMICRO 2018
   Title of Submission: Configurable Tightly-Coupled FPGA-style fabric for Fine-Grained Acceleration

Gengjie Chen -    The Chinese University of Hong Kong
ICCAD 2018
   Title of Submission: VLSI Routing: Seeing Nano Tree in Giga Forest

Gemma Catolino -    University of Salerno
MobileSoft 2018
   Title of Submission: Does Source Code Quality Reflect the Ratings of Apps?

Jay Lim -    Rutgers University
PLDI 2018
   Title of Submission: Automatic Verification of Assembly Implementation of Cryptographic Algorithms

Louai Alarabi -    University of Minnesota
SIGSPATIAL 2018
   Title of Submission: Summit: A Scalable System for Massive Trajectory Data Management

Matthias Springer -    Tokyo Institute of Technology
SPLASH 2018
   Title of Submission: DynaSOAr: Accelerating Single-Method Multiple-Objects Applications on GPUs∗

Michael Arntznenius -    University of Birmingham
ICFP 2018
   Title of Submission: Type inference for monotonicity

Muhammad Ali Gulzar -    University of California, Los Angeles
ICSE 2018
   Title of Submission: Interactive and Automated Debugging for Big Data Analytics

Niveditha Kalavakonda -    University of Washington
Grace Hopper 2018
   Title of Submission: Robotic and Neurosurgical Instrument Segmentation for Development of Intelligent Surgical Assistant

Parikshit Maini -    IIIT Delhi
SAC 2018
   Title of Submission: Planning and Coordination for Air-Ground Robots in Persistent Monitoring Applications with Visibility Constraints

Scott Kolodziej -    Texas A&M University
SIGCSE 2019
   Title of Submission: Empirical Assessment of Software Documentation Strategies: A Randomized Controlled Trial

Suraj Jog -    University of Illinois at Urbana Champaign
SIGCOMM 2018
   Title of Submission: Many-to-Many Beam Alignment in MillimeterWave Networks

Tanya Bafna -    Technical University of Denmark
ASSETS 2018
   Title of Submission: Gaze Typing using Multi-key Selection Technique

 

UNDERGRADUATE STUDENT WINNERS

Asher Trockman -    University of Evansville
ICSE 2018
   Title of Submission: Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem

Brandon Neth -    University of Arizona
CGO 2019
   Title of Submission: Automatic Parallelization of Irregularx86-64 Loops

David Tomassi -    Universityof California, Davis
FSE 2018
   Title of Submission: Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs

Elizaveta Tremsina -    University of California, Berkeley
TAPIA 2018
   Title of Submission: Your Story Recorded in a Magnet: Micromagnetic Simulations of Spin-Orbit Torque in Multi-layer Structures

Fandel Lin -    National Cheng Kung University
SIGSPATIAL 2018
   Title of Submission: An Intelligent and Interactive Route Planning Maker for Deploying New Transportation Services

Justin Lubin -    University of Chicago
SPLASH 2018
   Title of Submission: Approximating Polymorphic Effects with Capabilities

Katie Lim -    Princeton University
SIGMICRO 2018
   Title of Submission: Building a Heterogeneous ISA Research Platform Using the OpenPiton Framework∗

Natalie Friedman -    Cornell University
ASSETS 2018
   Title of Submission: Using Telepresence Robot to Improve Self-Efficacy of People with Developmental Disabilities

Rong Pan -    University
PLDI 2018
   Title of Submission: Solving Program Sketches with Large Integer Values

Sarah Almeda -    The College of New Jersey
SIGCSE 2019
   Title of Submission: Accessible American Sign Language Recognition with the Leap Motion Controller

Valerie Chen -    Yale University
Grace Hopper 2018
   Title of Submission: Secure Computation for Machine Learning With SPDZ

Yixuan Chen -    University of Michigan
POPL 2019
   Title of Submission: Verification of a Cache-optimized Data Structure

Zhuangzhuang Zhou -    Shanghia Jiao Tong University
ICCAD 2018
   Title of Submission: DALS: Delay-driven Approximate Logic Synthesis

Zili Meng -    Tshinghua University
SIGCOMM 2018
   Title of Submission: Pam: When Overloaded, Push Your Neighbor Aside!