Winners, SRC 2019 - 2020

SIGMOD 2020 Winners
GRADUATE CATEGORY
First Place:

Haneen Mohammed -    Columbia University
   Title of Submission:   Continuous Prefetch for Interactive Data Applications

Second Place:

Hendrik Makait -   Technische Universität Berlin
    Title of Submission: Rethinking Message Brokers on RDMA and NVM

Third Place:

Chen Luo -   University of Calfornia, Irvine
    Title of Submission: Breaking Down Memory Walls in LSM-based Storage Systems

 

UNDERGRADUATE CATEGORY
First Place:

Meena Jagadeesan -   harvard University
   Title of Submission:  From Worst-Case to Average-Case Analysis: Accurate Latency Predictions for Key-Value Storage Engines

Second Place:

Neil Band -   Harvard University
  Title of Submission: MemFlow: Memory-Aware Distributed Deep Learning

Third Place:

Noah Slavitch -   University of Waterloo
  Title of Submission: Workload-Aware Column Imprints

 

PLDI 2020 Winners
GRADUATE CATEGORY
First Place:

Yann Herklotz -    Imperial College of London
   Title of Submission:   Formally Verified High-Level Synthesis

Second Place:

Kiran Gopinathan -   National University of Singapore
    Title of Submission: Ceramist: Certifying Certainty and Uncertaintyg

Third Place:

Jonas Norlinder -   Uppsala University
    Title of Submission: Moving Garbage Collection with Low-Variation Memory Overhead and Deterministic Concurrent Relocation

 

UNDERGRADUATE CATEGORY
First Place:

Rakshit Mittal -   Birla Institute of Technology & Science
   Title of Submission:  Translation Validation of Code-Optimizing Transformations involving Loops using Petri Net Based Program Models

 

CHI 2020 Winners
GRADUATE CATEGORY
First Place:

Rishi Vanukuru -    IIT Bombay
   Title of Submission:   Accessible Spatial Audio Interfaces: A Pilot Study into Screen Readers with Concurrent Speech

Second Place:

Prachi Tank -   IIT Bombay
    Title of Submission: Helping Low Literate Parents Engage with their Children's Learning

Third Place:

Simo Santala -   Aalto University
    Title of Submission: Fast Interactive Design of Scatterplots for Large Data Set Visualisation

 

UNDERGRADUATE CATEGORY
First Place:

Sunny Tian -   MIT
   Title of Submission:  Integrating Discussion and Summarization in Collaborative Writing

Second Place:

Kairania Qalbi -   Universitas Gadjah Mada
  Title of Submission: Aranyani.id – The Design of Reforestation Funding Program Using Mobile Advertising Application

Third Place:

Tanya Ballal -   Srishti Institute Of Art, Design and Technology
  Title of Submission: Emote ~ Theatre and Movement Workshops as Research Tools

 

CGO 2020 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Bongjun Kim -   POSTECH
    Title of Submission: Compiler-assisted Semantic-aware Encryption

Third Place:

Jin Wu -   Harbin Institute of Technology, China
    Title of Submission: Enabling Cross-ISA Virtualization of Trusted Execution Environments

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Thomas Norell -   Universiyty of California, Berkeley
  Title of Submission: Profile-Guided Dynamic Frequency Scaling for Energy-Efficient DNN Processing on Edge Devices

Third Place:

Hebe Hilhorst -   Yale-NUS College Singapore
  Title of Submission: Generating Cyclo-Static Dataflow Graphs from Lift for FPGA programming

 

POPL 2020 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Hrutvik Kanabar -   University of Kent
    Title of Submission: Verified efficient libraries for CakeML

Third Place:

Irene Yoon -   University of Pennsylvania
    Title of Submission: Through the Interaction Forest: Modeling Concurrency in Coq with Interaction Trees

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Matthew Sotoudeh -   Universiyty of California, Davis
  Title of Submission: Bounded Model Checking of Deep Neural Network Controllers

Third Place:

Ziteng Wang -   Universiyty of California, San Diego
  Title of Submission: Test-based Solution Filtering for Program Synthesis

 

SC 2019 Winners
GRADUATE CATEGORY
First Place:

Marcin Copik -    ETH Zurich
   Title of Submission:   perf-taint: Taint Analysis for Automatic Many-Parameter Performance Modeling

Second Place:

Alok Mishra -   Stony Brook University
    Title of Submission: Data Reuse Analysis for GPU Offloading Using OpenMP

Third Place:

Pengfei Zou -   Clemson University
    Title of Submission: Fingerprinting Anomalous Computation with RNN for GPU-Accelerated HPC Machines

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Kathryn Leung -    Princeton University
  Title of Submission: Walking the cost-accuracy tightrope: balancing trade-offs in data-intensive genomics

Third Place:

Yuya Kawakami -   Grinnell College
  Title of Submission: Early experiences on OpenPOWER architecture: Analysis of Billion-scale Atomistic Datasets

 

ASE 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Daye Nam -   Carnegie Mellon University
    Title of Submission: API Design Implications of Boilerplate Client Code

Third Place:

Ali Ghanbari -   The University of Texas at Dallas
    Title of Submission: Toward Practical Automatic Program Repair

 

UNDERGRADUATE CATEGORY
First Place:

Shengcheng Yu -   Nanjing University
   Title of Submission:  Crowdsourced Report Generation via Bug Screenshot Understanding

Second Place:

Shuyao Jiang -    Fudan University
  Title of Submission: Boosting Neural Commit Message Generation with Code Semantic Analysis

Third Place:

Gargi Balasubramaniam -   Birla Institute of Technology and Science
  Title of Submission: Towards Comprehensible Representation of Controllers using Machine Learning

 

SIGSPATIAL 2019 Winners
GRADUATE CATEGORY
First Place:

Ibrahim Sabek -    University of Minnesota
   Title of Submission:   Towards Scalable Spatial Probabilistic Graphical Modeling

Second Place:

Hamada Rizk -   Egypt-Japan University of Science and Technology
    Title of Submission: SoloCell: Efficient Indoor Localization Based on Limited Cell Network Information And Minimal Fingerprinting

Third Place:

Liming Zhang -   George Mason University
    Title of Submission: STGGAN: Spatial-temporal Graph Generation

 

UNDERGRADUATE CATEGORY
First Place:

Tianyuan Huang -   South China University of Technology
   Title of Submission:  Discovering Human Activity Community in A City

 

ICCAD 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Justin Sanchez -   UNC Charlotte
    Title of Submission: Architectures Leveraging Edge and Real-time Template Systems

Third Place:

Mengchu Li -   Technical University of Munich
    Title of Submission: High-Level Synthesis for Microfluidics Large-Scale Integration

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Shuting Cheng -   Yuan Ze University
  Title of Submission: A Novel Approach for Improving Lifetime of Multi-core Systems How Asymmetric Aging Can Lead a Way

 

ASSETS 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Min Hun Lee -   Carnegie Mellon University
    Title of Submission:  Intelligent Decision Support to Assess Stroke Rehabilitation Exercises

Third Place:

Andrew Bayor -   Queensland University of Technology, Brisbane, Australia
    Title of Submission: HowToApp: Supporting Life Skills Development of Young Adults with Intellectual Disability

 

UNDERGRADUATE CATEGORY
First Place:

Ocean Hurd -   University of California, Santa Cruz
   Title of Submission:  VR Design Guidelines for Amblopia Accessibility

Second Place:

Yash Prashant Naik -  University of Mumbai
  Title of Submission: A Wearable Input Mechanism for Blind users of Computers based on Mental Mapping of Thumb-To-Phalanx Distances

Third Place:

Richard Nguyen -   University of Guelph
  Title of Submission: Exploring Haptic Colour Identification Aids

 

SOSP 2019 Winners
GRADUATE CATEGORY
First Place:

Samyukta Yagati -    MIT
   Title of Submission:   Efficient Privacy Policies in Multiverse Databases

Second Place:

Zhenyu Song -   Princeton University
    Title of Submission: Robustly Improving Byte Miss Ratio with Workload-Learning Caching

Third Place:

Swapnil Gandhi -   India Institute of Science
    Title of Submission: Wave: A Substrate for Distributed Graph Processing on Commodity Clusters

 

UNDERGRADUATE CATEGORY
First Place:

Luis Gerhorst -   Friedrich-Alexander-Universität Erlangen-Nürnberg
   Title of Submission:  EnergyTimers: Integrating Physical Energy Measurement Devices into OS Kernels

Second Place:

Ziyi Zhang -   University of Science and Technology of China
  Title of Submission: Visualizing Critical Sections in Rust

 

SPLASH 2019 Winners
GRADUATE CATEGORY
First Place:

Maarten P. Sijm -    Delft University of Technology
   Title of Submission:   Incremental Scannerless Generalized LR Parsing

Second Place:

Dominik Aumayr -   Johannes Kepler University Linz, Austria
    Title of Submission: Debugging Support for Multi-paradigm Concurrent Programs

Third Place:

Florian Latifi -   Johannes Kepler University Linz, Austria
    Title of Submission: Practical Second Futamura Projection

 

UNDERGRADUATE CATEGORY
First Place:

Sam Estep -   Liberty University
   Title of Submission:  Gradual Program Analysis

Second Place:

Aaron Joos Lippeveldts -   Vrije Universiteit Brussel
  Title of Submission: Linear capabilities for CHERI

Third Place:

Beatriz Bezerra de Souza -   Federal University of Campina Grande
  Title of Submission: Is Mutation Score a Fair Metric?

 

MOBICOM 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Chun-Yu Chen -   University of Michigan
    Title of Submission: Keep others from peeking at your mobile device screen!

Third Place:

Yang Bai -   Rutgers University
    Title of Submission: Inaudible high-throughput communication through acoustic signals

 

UNDERGRADUATE CATEGORY
First Place:

Purui WangEstep -   Peking University
   Title of Submission:  A polarization-based QAM approach for visible light backscatter communication

Second Place:

Nishant Sinha -   Georgia State University
  Title of Submission: In-situ water quality monitoring through ultraviolet sensing using off-the-shelf cameras

 

ESWEEK 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Sumit K. Mandal -   Arizona State University
    Title of Submission: Analytical Performance Models for NoCs with Multiple Priority Traffic Classes

Third Place:

Kasra Moazzemi -   University of California Irvine
    Title of Submission: Learning Coordination for Runtime Resource Management of Heterogeneous Systems

 

UNDERGRADUATE CATEGORY
First Place:

Margaret Steiner -   The George Washington University
   Title of Submission:  Improving the Reliability of Medical Smart Alarms Using Confidence Calibration

Second Place:

Abhay Sheel Anand -   Bharati Vidyapeeth’s College of Engineering
  Title of Submission: Gauntlet: A light and compact wearable for capturing precise finger and hand gestures

Third Place:

Nima Shoghi -   Georgia Institute of Technology
  Title of Submission: SLAM Performance on Embedded Robots

 

 

GRACE HOPPER 2019 Winners
GRADUATE CATEGORY
First Place:

Paria Esmatloo Li -    University of Texas, Austin
   Title of Submission:   Towards Human-like Grasping and Manipulation in Assisted Grasps Through Accurate System Modeling

Second Place:

Mayram Karami -   University of Pittsburgh
    Title of Submission: On Hierarchical Data Integrity for IoT Devices in Connected Health Applications

Third Place:

Nwamaka Okafor -   University Colled Dublin
    Title of Submission: A Cost-effective framework for IoT-based autonomous ecological sensing

 

UNDERGRADUATE CATEGORY
First Place:

Ana Luisa Solórzano -   Universidade Federal de Santa Maria
   Title of Submission:  Parallel Implementation of an Astronomical Algorithm for a Hybrid Computing Environment with OpenACC

Second Place:

Aishwarya Mandyam -   University of Washington, Seattle
  Title of Submission: Reducing tag identification time in a molecular tagging system

Third Place:

Jhillika Kumar -   Georgia Institute of Technology
  Title of Submission: Interactive Communicative Technology demonstrating Cognition in Non-speaking Autistic Individuals

 

SIGMICRO 2019 Winners
GRADUATE CATEGORY
First Place:

Peter Li -    MIT
   Title of Submission:   A Mutual Information Accelerator for Autonomous Robot Exploration

Second Place:

Yun-Chen Lo -   National Tsing Hua University
    Title of Submission: PTLL-BNN : Physically Tightly Coupled, Logically Loosely Coupled, Near-Memory BNN Accelerator

Third Place:

Soroush Ghodrati -   University of California, San Diego
    Title of Submission: Mixed-Signal Charge-Domain Acceleration of Deep Neural Networks through Interleaved Bit-partitioned Arithmetic

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Ethan Shaotran -   Harvard University
  Title of Submission: GLADS: Gesture Learning for Autonomous Driving Simulator

Third Place:

Maitreyee Emma Dasgupta -   University of Chicago
  Title of Submission: Statistical Assertions for Debugging in Qiskit

 

SIGDOC 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Yeqing Kong -   North Carolina State University
    Title of Submission: Artificial Intelligence in News Photographs: A Cross-Cultural Visual Content Analysis

Third Place:

Angela Glotfelter -   Miami University, Ohio
    Title of Submission: Algorithmic Circulation: The Impact of Algorithms on Content Strategy and Management Practices

 

 

UNDERGRADUATE CATEGORY
First Place:

Nicholas Hennigan -   University of Milwaukee, Wisconsin
   Title of Submission:  Optimizing Design Thinking: Theatrical Improv’s Affect on Creativity Within Groups

Second Place:

Andrea Ausmus -   Arizona State University
   Title of Submission:  Food (In)Security Interface

 

PACT 2019 Winners
GRADUATE CATEGORY
First Place:

Priyank Faldu -    University of Edinburgh
   Title of Submission:   Domain-Specialized Cache Management for Graph Analytics

 

TAPIA 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Ramin Ayanzadeh -   University of Maryland, Baltimore County
    Title of Submission: Compiling for Quantum Annealers

Third Place:

Parisa Hassanzadeh -   New York University
    Title of Submission: Machine Learning Over the Wireless Edge

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Andong Li Zhao -   University of Michigan, Ann Arbor
  Title of Submission: Attack of the Clones: Manipulation-Resistant Recommender Systems in Practice

Third Place:

Karan D. Luthria  -   University of Maryland, Baltimore County
  Title of Submission: A Machine Learning Approach for Phenotype Clustering to Reduce Healthcare Cost

 

ESEC/FSE 2019 Winners
GRADUATE CATEGORY
First Place:

James Davis -     Virginia Tech
   Title of Submission:   Rethinking Regex Engines to Address ReDoS

Second Place:

Mahshid Helali Moghadam -   RISE Sweden
    Title of Submission: Machine Learning-Assisted Performance Testing

Third Place:

Jacob Krüger -   Magdeburg University
    Title of Submission: Tackling Knowledge Needs during Software Evolution

 

UNDERGRADUATE CATEGORY
First Place:

Peiyi Sun -   Peking University
   Title of Submission:  Context-aware Test Case Adaptation

Second Place:

Michail Loukeris -   Athens University of Economics and Business
  Title of Submission: Efficient Computing in a Safe Environment

Third Place:

Ilyuza Gizzatullina -   Innopolis University
  Title of Submission: Empirical Study of Customer Communication Problem in Agile Requirements Engineering

 

SIGCOMM 2019 Winners
GRADUATE CATEGORY
First Place:

Sean Choi -     Stanford University
   Title of Submission:   Lambda-NIC: Interactive Serverless Compute on SmartNICs

Second Place:

Jona Beysens -   KU Leuven
    Title of Submission: Smile, you are in the spotlight!

Third Place:

Lior Shafir -   Tel Aviv University
    Title of Submission: DNS Negative Caching in the Wild

 

UNDERGRADUATE CATEGORY
First Place:

Zhaowei Xi -   Tsinghua University
   Title of Submission:  HyperGen: High-Performance Flexible Packet Generator Using Programmable Switching ASIC

Second Place:

Jiadi Yang -   Peking University
  Title of Submission: Cooperative Trajectory Optimization for a Cellular Internet of UAVs

Third Place:

Mateus Saquetti -   Federal University of Rio Grande do Sul
  Title of Submission: Hard Virtualization of P4-based switches with VirtP4

 

ICFP 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Matthias Pall Gissurarson, -   Chalmers University of Technology
    Title of Submission: Hole fit plugins in GHC

Third Place:

Cumhur (Joomy) Korkut -   Princeton University
    Title of Submission: Direct Reflection for Free!

 

UNDERGRADUATE CATEGORY
First Place:

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

 

SIGGRAPH 2019 Winners
GRADUATE CATEGORY
First Place:

Sai Ganesh Subramanian -    Texas A&M University
   Title of Submission:   Delaunay Lofts: A New Class of Space-Filling Shapes

Second Place:

Madison Kramer -   Texas A&M University
    Title of Submission: A Procedural Approach to Creating American Second Empire Houses

Third Place:

Pratik Kalshetti -   Indian Institute of Technology Bombay
    Title of Submission: Unsupervised Incremental Learning for Hand Shape and Pose Estimation

 

UNDERGRADUATE CATEGORY
First Place:

Jasmine Y. Shih -   University of Illinois at Urbana-Champaign
   Title of Submission:  Interactive Cinematic Scientific Visualization in Unity

Second Place:

Laura Mann -    Bournemouth University
  Title of Submission: 3D Printing for Mixed Reality Hands-On Museum Exhibit Interaction

Third Place:

Yi-Ching Kang -   Chang Gung University
  Title of Submission: Scented Graphics: Exploration in Ink-jet Scented-Printing

 

SIGMOD 2019 Winners
GRADUATE CATEGORY
First Place:

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

Second Place:

Fotis Sawa -   University of Glasgow
    Title of Submission: Query-Driven Learning for Next Gen Predictive Modeling & Analytics

Third Place:

Vraj Shah -   UC San Diego
    Title of Submission: SpeakQL: Towards Speech-driven Multimodal Queryingn

 

UNDERGRADUATE CATEGORY
First Place:

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

Second Place:

Nathaniel Weir -    Brown University
  Title of Submission: Bootstrapping an End-to-End, Cross-Domain NLI for Databases

Third Place:

Carmen Kwan -   University of Waterloo
  Title of Submission: New Fingerprints for Quick Compressed Columnar Data Search

 

PLDI 2019 Winners
GRADUATE CATEGORY
First Place:

Matthias Springer -    Tokyo Institute of Technology
   Title of Submission:   CompactGpu: Massively Parallel Memory Defragmentation on GPUs

 Second Place:

Victor Ying -   MIT
  Title of Submission: Scaling Sequential Code with a Compiler and Architecture for Fine-Grained Speculative Parallelization

Third Place:

Sangeeta Chowdhary -   Rutgers University
   Title of Submission: Finding Rounding Errors and Application Specific Configuration for Posits

 

UNDERGRADUATE CATEGORY
First Place:

Jess Michel -   MIT
  Title of Submission: Automatic Noised-Based Sensitivity Analysis of Programs