ACM SRC Grand Finals Candidates, 2019 - 2020

GRADUATE STUDENT WINNERS

Akhil Dixit -    University of California, Santa Cruz 
SIGMOD 2019
   Title of Submission: CAvSAT: A System for Query Answering over Inconsistent Databases

Ari Rasch -    University of Muenster 
CGO 2020
   Title of Submission: md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms

Birthe van den Berg -    KU Leuven 
ICFP 2019
   Title of Submission: Type Inference for Disjoint Intersection Types

Hajar Homayouni -    Colorado State University 
TAPIA 2019
   Title of Submission: ADQTest: An AI-based Data Quality Test Approach

Hasindu Gamaarachchi -    University of New South Wales 
ESWEEK 2019
   Title of Submission:  Real-time, portable and lightweight Nanopore DNA sequence analysis using System-on-Chip

James C. Davis -    Virginia Tech 
ESEC/FSE 2019
   Title of Submission: On the Impact and Defeat of Regex DoS

Jinwoo Kim -    University of Wisconsin-Madison 
POPL 2019
   Title of Submission: Proving Unrealizability for Imperative Syntax-Guided Synthesis Problems

Maarten P. Sijm -    TU Delft 
SPLASH 2019
   Title of Submission: Incremental Scannerless Generalized LR Parsing

Martin Kellogg -    University of Washington 
ASE 2019
   Title of Submission: Compile-time detection of machine image sniping

Nupoor Ranade -    North Carolina State University 
SIGDOC 2019
   Title of Submission: Conditional Usability Testing for UX Optimization

Peter Li -    Massachussetts Institute of Technology 
MICRO 2019
   Title of Submission:  A Mutual Information Accelerator for Autonomous Robot Exploration

Sai Ganesh Subramanian -    Texas A&M University 
SIGGRAPH 2019
   Title of Submission: Interactive Cinematic Scientific Visualization in Unity

Stefan Hillmich -    Johannes Kepler University 
ICCAD 2019
   Title of Submission: Decision Diagrams for Quantum Computing

Tinghun Chen -    Columbia University 
MOBICOM 2019
   Title of Submission: Enabling Wideband full-duplex wireless via frequency-Domain Equalization

Vinitha Gadiraju -    University of Colorado, Boulder 
ASSETS 2019
   Title of Submission: BrailleBlocks: Braille Toys for Cross-Ability Collaboration

UNDERGRADUATE STUDENT WINNERS

Alexander Zlokapa -    California Institute of Technology 
SC 2019
   Title of Submission: A Deep Learning Approach to Noise Prediction and Circuit Optimization for Near-term Quantum Devices

Alexandra Ballow -    Youngstown State University 
TAPIA 2019
   Title of Submission: Handling Missing Values in Joint Sequence Analysis

Ana Luisa Solorzano -    Universidade Federal de Santa Maria 
Grace Hopper 2019
   Title of Submission: Handling Missing Values in Joint Sequence Analysis

Jesse Michel -    Massachussetts Instiute of Techology 
PLDI 2019
   Title of Submission: Automatic Noised-Based Sensitivity Analysis of Programs

Lia Yeh -    University of California,Santa Barbara 
MICRO 2019
   Title of Submission:  Benchmarking ZX-Calculus Circuit Optimization Against Qiskit Transpilation

Luis Gerhorst -    Friedrich-Alexander-Universitat Erlangen-Naumberg(FAU) 
SOSP 2019
   Title of Submission: EnergyTimers: Integrating Physical Energy Measurement Devices into OS Kernels

Milind Srivastava -    Indian Institute of Technology Madras 
ICCAD 2019
   Title of Submission: Sauron- An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware

Murad Akhundov -    University of Toronto 
POPL 2020
   Title of Submission:  Expediting Verification of Assertions in Loops by Isolation

Nathan Brown -    University of Michigan 
CGO 2020
   Title of Submission: Profile-Guided Instruction Prefetching to Reduce Front-End Stalls of Datacenter Applications

Nicholas Hennigan -    University of Milwaukeea 
SIGDOC 2019
   Title of Submission: Optimizing Design Thinking: Theatrical Improv’s Affect on Creativity Within Groups

Ocean Hurd -    University of California, Santa Cruz 
ASSETS 2019
   Title of Submission: Insights for More Usable Virtual Reality Games for People with Ambylopiae

Samuel Estep -    Liberty University 
SPLASH 2019
   Title of Submission: Gradual Program Analysis

Samantha Frohlich -    University of Bristol 
ICFP 2019
   Title of Submission: Warm Fuzzy Things- A DSL for Hypertexture

Shengcheng Yu -    Nangjing University 
ASE 2019
   Title of Submission: Crowdsourced Report Generation via Bug Screenshot Understanding

Varun Jain -    Harvard University 
SIGMOD 2019
   Title of Submission: LSM-Trees and B-Trees: The Best of Both

Zhaowei Xi -    Tsinghua University 
SIGCOMM 2019
   Title of Submission: High-performance Flexible Packet Generator Using Programmable Switching ASIC