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

ACM Case Studies

Written by leading domain experts for software engineers, ACM Case Studies provide an in-depth look at how software teams overcome specific challenges by implementing new technologies, adopting new practices, or a combination of both. Often through first-hand accounts, these pieces explore what the challenges were, the tools and techniques that were used to combat them, and the solution that was achieved.

Lifelong Learning

ACM offers lifelong learning resources including online books and courses from Skillsoft, TechTalks on the hottest topics in computing and IT, and more.

techpacks