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
2020 Grand Finals Judges
Dr. Laurie Williams - N.C. State UniversityDouglas Baldwin - SUNY Geneseo
Dr. Evelyne Viegas - Microsoft
A. Mani - HBCSE, TIFR; International Rough Set Society
Arjun Radhakrishna - Microsoft
Aderonke Thompson - Federal University of Technology
Arnon Sturm - Ben-Gurion University
Bei Yu - The Chinese University of Hong Kong
Bernd Mohr - Juelich Supercomputing Center
Bo Brinkman - Google
Cameron White - Side Effects Software
Cassandra Branham - Embry-Riddle Aeronautical University
Chris Gniady - University of Arizona
Cindy Hood - Illinois Institute of Technology
Clayton Benjamin - University of California, Davis
David Lo - Singapore Management University
Erik Altman - IBM
Foad Hamidi - UMBC
Gennady Pekhimenko - Carnegie Mellon University
Hai Ah Nam - Los Alamos National Lab.
Haipeng Cai - Washington State University
Jeff Lait - Side Effects Software Inc.
Jennifer Sartor - Ghent University
Jiangchun Liu Simon Fraser University
Jinadu Olayinka Rufus Giwa Polytechnic
Joan Krone - Denison University
Junbeom Yoo - Konkuk University University
Kyle Chard - University of Chicago
Lizbeth Escobedo - ;CETYS Universidad
Lu Xiao - ;Stevens Institute of Technology
Marc Olano - University of Maryland, Baltimore
Melina Mongiovi - Federal University of Campina Grande
Miroslav Velev - Aries Design Automation
Moustafa Youssef - Alexandria University, Egypt
Navendu Jain - Microsoft
Olayinka Jinadu - Rufus Giwa Polytechnic
Olga Baysal - Carleton University
Otasowie Owolafe - Federal University of Technology
Paolo Bellavista - University of Bologna, Italy
Renato Mancuso - Universitat Boston University
Ren-Shuo Liu - National Tsing Hua University
Robin Brewer- - University of Michigan
Srinivas Katkoori - University of South Florida
Stephanie Ludi - University of North Texas
Theodoros Chondrogiannis - University of Konstanz
Thorna Humphries - Norfolk State University
Timofey Bryskin - JetBrains Researchs
Tobias Pape - University of Potsdam
Vaishnavi Ranganathan - Microsoft
Vijayalakshmi Saravanan - University at Buffalo
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.
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.