Winners, SRC 2022-2023

SIGCSE 2023 Winners
GRADUATE CATEGORY
First Place:

Jessica Yauney - Brigham Young University
Title of Submission: Exploring the Influence of Hour of Code on Students’ CS Interest and Perceptions

Second Place:

Leann Mendoza - Northeastern University
Title of Submission: Employing Knowledge Distillation To Create Light-Weight Lane Detection Machine Learning Models for Low-Cost Computing Environments

Third Place:

Liia Butler - University of Illinois at Urbana-Champaign
Title of Submission: Point or Time: Motivating Quality Coding Submissions

UNDERGRADUATE CATEGORY
First Place:

Megan Englert - University of Delaware
Title of Submission: Building Curricular Supports Through Undergraduate Teaching Assistants to Scale Individualized Instruction in CS1

Second Place:

Brennan Denzel - Boston College
Title of Submission: A General Concept Inventory for Introductory Computer Science - a Work in Progress

Third Place:

Nardos Alemu - Simmons University
Title of Submission: A Framework to Develop Automatic Speech Recognition for Low Resource Languages

CGO 2023 Winners
GRADUATE CATEGORY
First Place:

William Moses - MIT
Title of Submission: HTO: “Header”-Time Optimization

Second Place:

Naifeng Zhang - Carnegie Mellon University
Title of Submission: Generating Number Theoretic Transforms for Multi-Word Integer Data Types

Third Place:

Martin Lücke - University of Edinburgh
Title of Submission: Sane Rewriting of Hierarchical SSA

UNDERGRADUATE CATEGORY
First Place:

Yuta Saito - Waseda University
Title of Submission: Multiple Function Merging for Code Size Reduction

Second Place:

Alex Boots - North Carolina State University
Title of Submission: 3D Flamegraphs for Performance Analysis

Third Place:

Yen-Po Chen - National Cheng Kung University
Title of Submission: A High-Performance Matrix Extension Design forScaling AI to the Edge

POPL 2023 Winners
GRADUATE CATEGORY
First Place:

Joshua Turcotti - Cornell University
Title of Submission: Wisening Assertions: A live Bayesian reasoning system for probabilistic correctness

Second Place:

Paulo Henrique Torrens - University of Kent
Title of Submission: On the metatheory of IRs and the CPS-calculus

Third Place:

Hristo Venev - INSAIT
Title of Submission: Compiling and Running High-level Quantum Programs

UNDERGRADUATE CATEGORY
First Place:

Elizaveta Pertseva - University of California, San Diego

Mark Barbone - University of California, San Diego
Title of Submission: Scalable Synthesis of Regular Expressions From Only Positive Examples

Second Place:

Jeremy Ferguson - University of California, Berkeley
Title of Submission: Synthesizing Vectorized Code via Verified Lifting

Third Place:

Jan-Paul Ramos-Davila - Cornell University
Title of Submission: Evaluating Soundness of a Gradual Verifier with Property Based Testing

SPLASH 2022 Winners
GRADUATE CATEGORY
First Place:

Julian Haas - Technische Universität Darmstadt
Title of Submission: LoRe: Local-First Reactive Programming with Verified Safety Guarantees

Second Place:

Yuyi Zhong - National University of Singapore
Title of Submission: ARENA: Enhancing Abstract Refinement for Neural Network Verification

Third Place:

Litao Zhou - University of Hong Kong
Title of Submission: Foundationally Sound Annotation Verifier via Control Flow Splitting

UNDERGRADUATE CATEGORY
First Place:

Raphael Douglas Giles - University of New South Wales
Title of Submission: Title of Submission: Termination of Recursive Functions by Lexicographic Orders of Linear Combinat

Second Place:

Siraphob Phipathananunth - Vanderbilt University
Title of Submission: Using Mutations to Analyze Formal Specifications

Third Place:

Abhinandan Pal - Indian Institute of Information Technology Kalyani
Title of Submission: Qiwi: A Beginner Friendly Quantum Language

SC 2022 Winners
GRADUATE CATEGORY
First Place:

Marcin Copik - ETH Zürich
Title of Submission: Software Resource Disaggregation for HPC with Serverless Computing

Second Place:

Milan Shah - North Carolina State University
Title of Submission: Compressing Quantum Circuit Simulation Tensor Data

Third Place:

LeAnn Lindsey - University of Utah
Title of Submission: Optimizing Traceback in the Smith-Waterman Algorithm for GPUs

UNDERGRADUATE CATEGORY
First Place:

David Krasowska - Clemson University
Title of Submission: Statistical Prediction of Lossy Compression Ratios for 3D Scientific Data

Second Place:

Julian Bellavita - University of California, Berkeley
Title of Submission: Predicting Scientific Data Popularity Using dCache Logs

Third Place:

Aaron M. Jarmusch - University of Delaware
Title of Submission: Analysis of Validating and Verifying OpenACC Compilers 3.0 and Above

SIGSPATIAL 2022 Winners
GRADUATE CATEGORY
First Place:

Mashaal Musleh - University of Minnesota
Title of Submission: Towards A Unified Deep Model for Trajectory Analysis

Second Place:

Johann Maximillian Zollner - Technical University of Munich
Title of Submission: Quantum Classifiers for Remote Sensing

Third Place:

Caner Ferhatoglu - Iowa State University
Title of Submission: Choosing Feature Selection Methods for Spatial Modeling of Soil Fertility Properties at the Field Scale

UNDERGRADUATE CATEGORY
First Place:

Farah Youssefa - Alexandria University
Title of Submission: MagttLoc: Decimeter Indoor Localization System Using Commercial Devices

Second Place:

Wen Ye - University of Wisconsin - Madison
Title of Submission: Spatiotemporal Heterogeneities of the Associations between Human Mobility and Close Contacts with COVID-19 infections in the United States

Third Place:

Ren Ozeki and Haruki Yonekura - Osaka University
Title of Submission: Sharing Without Caring: Privacy Protection of Users' Spatio-Temporal Data Without Compromise on Utility

ESEC/FSE 2022 Winners
GRADUATE CATEGORY
First Place:

Juan Carlos Alonso Valenzuela - University of Seville
Title of Submission: Automated Generation of Test Oracles for RESTful APIs

Second Place:

Liu Yiu - Nanyang Technological University
Title of Submission: RESTInfer: Automated Inferring Parameter Constraints from Natural Language RESTful API Descriptions

Third Place:

Yunjeong Lee - National University of Singapore
Title of Submission: Improving IDE Code Inspections with Tree Automata

ICCAD 2022 Winners
GRADUATE CATEGORY
First Place:

Hanrui Wang - Massachusetts Institute of Technology
Title of Submission: ML for Quantum and Quantum for ML: Towards Robust Quantum Computing on NISQ Devices

Second Place:

Jianyi Chengu - Imperial College London
Title of Submission: A Marriage of Dynamic and Static Scheduling in High-Level Synthesis

Third Place:

Xiaoxuan Yang - Duke University
Title of Submission: Improving the Efficiency and Robustness of In-Memory Computing in Emerging Technologies

UNDERGRADUATE CATEGORY
First Place:

Che-Kai Liu - Zhejiang University
Title of Submission: COSIME: FeFET based Associative Memory for In-Memory Cosine Similarity Search

Second Place:

Jordan Maynard - California State University Long Beach
Title of Submission: DK Lock: Structural Sequential Logic Locking Using Dual Keys

ASSETS 2022 Winners
GRADUATE CATEGORY
First Place:

Craig Anderton - Birmingham City University
Title of Submission: Investigating Sign Language Interpreter Rendering and Guiding Methods in Virtual Reality 360-Degree Content

Second Place:

Xiaozhu Hu - Hong Kong University of Science and Technology/Tsinghua University
Title of Submission: FootUI: Designing and Detecting Foot Gestures to Assist People with Upper Body Motor Impairments to Use Smartphones on the Bed

UNDERGRADUATE CATEGORY
First Place:

Allyson Grace Yu - Temple University
Title of Submission: Challenges and Opportunities in Creating An Accessible Web Application for Learning Organic Chemistry

MODELS 2022 Winners
GRADUATE CATEGORY
First Place:

Paula Muñoz - University of Malaga
Title of Submission: How Alike are my Physical and Digital Twins?

Second Place:

Rijul Saini - McGill University
Title of Submission: Automated, Traceable, and Interactive Domain Modelling

Third Place:

Corinne Pulgar - Stevens École de technologie supérieure
Title of Submission: Eat Your Own DevOps: A Model Driven Approach to Justify Continous Integration Pipelines

ASE 2022 Winners
GRADUATE CATEGORY
First Place:

Islem Bouzenia - University of Stuttgart
Title of Submission: Detecting Inconsistencies in If-Condition-Raise Statements

Second Place:

Yi Liu - Nanyang Technological University
Title of Submission: RESTCluster: Automated Crash Clustering for RESTful API

Third Place:

Chenhao Wei - Stevens Institute of Technology
Title of Submission: Automatically Tagging the “AAA" Pattern in Unit Test Cases Using Machine Learning Models

UNDERGRADUATE CATEGORY
First Place:

Hailie Mitchell - Dickinson College, Carnegie Mellon University
Title of Submission: Automatically Fixing Breaking Changes of Data Science Libraries

Second Place:

Frank Whitworth - Wake Forest University
Title of Submission: Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments

PACT 2022 Winners
GRADUATE CATEGORY
First Place:

Avery Laird - University of Toronto
Title of Submission: Automatically Translating Non-affine Codes

Second Place:

Dian-Lun Lin - University of Utah
Title of Submission: A GPU Acceleration Flow for Parallel RTL Simulation and Hardware Testing

Third Place:

Rhys Gretsch - UC Santa Barbara
Title of Submission: SuperB-NoC: A Superconducting Buffering NoC

UNDERGRADUATE CATEGORY
First Place:

Arpan Gupta - Rutgers University
Title of Submission: Understanding Correlated Error Events in Quantum Computers

Second Place:

Boyang Wang - University of Rochester
Title of Submission: Independent Tenancy Model

ESWEEK 2022 Winners
GRADUATE CATEGORY
First Place:

Zishen Wan - Georgia Institute of Technology
Title of Submission: Intelligence in Robotic Computing: Exploring Agile Design Flows for Building Efficient and Resilient Autonomous Systems

Second Place:

Shail Dave - Arizona State University
Title of Submission: Agile and Explainable Exploration of Efficient Hardware/Software Codesigns of Deep Learning Accelerators

Third Place:

Nurani Saoda - University of Virginia
Title of Submission: ALTAIR: An Energy Supervisor Architecture for Energy-harvesting Applications

UNDERGRADUATE CATEGORY
First Place:

Yuankai Xu - Shanghai Jiao Tong University
Title of Submission: SHAPE: Scheduling of Fixed-priority Tasks on Heterogeneous Architectures with Multi CPUs and Many Pes

Second Place:

Yujie Chen - Nanchang University
Title of Submission: Energy Efficient and Fair Version Control for Distributed UAVs

Third Place:

Chamika Sudusinghe - University of Moratuwa
Title of Submission: Learning-based Attack Detection in Network-on-Chip Architectures

SIGDOC 2022 Winners
GRADUATE CATEGORY
First Place:

Chenxing Xie - North Carolina State University
Title of Submission: COVID-19 Poster Design in the U.S. and China: A Cross-Cultural Visual Content Analysis

Second Place:

Jiaxin Zhang - Texas Tech University
Title of Submission: Web Usability and Content Strategy: A Study of University's COVID-19 Website

Third Place:

Meghalee Das - Texas Tech University
Title of Submission: Designing for Cultural Inclusivity: A Study of International Patrons' User Experience with University Library Services

SIGMICRO 2022 Winners
GRADUATE CATEGORY
First Place:

Marcelo Orenes Vera - Princeton University
Title of Submission: A Scalable Distributed-data Architecture for Memory-bound Applications

Second Place:

Jiya Su - Illinois Institute of Technology
Title of Submission: PIMMiner: A High-performance PIM Architecture-aware Graph Mining Framework

Third Place:

Ismet Dagli - Colorado School of Mines
Title of Submission: HaX-CoNN : Heterogeneity-aware Execution of Concurrent Deep Neural Networks

UNDERGRADUATE CATEGORY
First Place:

Kan Zhu - University of Michigan
Title of Submission: Architectural Implications of Google's Data Center Applications

Second Place:

Suhas Karthik Vittal - Georgia Institute for Technology
Title of Submission: MIDAS: Multi-Candidate Evaluation with Delayed Selection for Reducing SWAPs in NISQ Programs

Third Place:

Hilbert Chen - University of Michigan
Title of Submission: Introducing Payload Awareness to Improve Data Center Efficiency

ICFP 2022 Winners
GRADUATE CATEGORY
First Place:

Arthur Correnson - ENS Rennes
Title of Submission: Formal Verification of a Lazy Software Model Checker

Second Place:

Nathan Corbyn - University of Oxford
Title of Submission: Generalised free extensions

Third Place:

Denis Carnier - Vrije Universiteit Brussel
Title of Submission: Program Logics for Mechanizing Typechecking

UNDERGRADUATE CATEGORY
First Place:

Bernard Boey - Yale-NUS College
Title of Submission: HenBlocks: Structured Editing for Coq

Second Place:

Eric Zhao - University of Michigan
Title of Submission: Compiling Functional Programs with Holes

Third Place:

Francis Rinaldi - Illinois Institute of Technology
Title of Submission: Typing Recursive Data Structures of Futures for Graph Types

TAPIA 2022 Winners
GRADUATE CATEGORY
First Place:

Goonmeet Bajaj - The Ohio State University
Title of Submission: Detection, Identification, and Resolution of Knowledge Gaps in Autonomous Agents

Second Place:

Masoumeh Abolfathi - University of Colorado, Denver
Title of Submission: A Game-Theoretically Optimal Defense Paradigm against Traffic Analysis Attacks using Multi-path Routing and Deception

Third Place:

Sweta Kesur - Purdue University
Title of Submission: CATTbot: A Conversational Agent for Detecting Online Grooming Patterns

UNDERGRADUATE CATEGORY
First Place:

Christopher Bain - University of Maryland, Baltimore County
Title of Submission: Using Supervised Machine Learning Methods to Create a Gene-Based ALS Predictor from Postmortem Transcriptomics Data

Second Place:

Letsy Cahue-Flores - University of California, Irvine
Title of Submission: Co-Designing Health Informatics Technology with Childhood Cancer Survivors and Community

Third Place:

Genevieve Sampson - University of Maryland, College Park
Title of Submission: Exploring How Young Women Define ‚ÄúSuccess‚Äù in STEM Compared to Young Men

SIGCOMM 2022 Winners
GRADUATE CATEGORY
First Place:

Milan Groshev - University Carlos III of Madrid
Title of Submission: Demo: FoReCo -- a forecast-based recovery mechanism for real-time remote control of robotic manipulators

Second Place:

Fabricio Rodriguez - University of Campinas
Title of Submission: P4 Programmable Patch Panel (P7): An Instant 100G Emulated Network on Your Tofino-based Pizza Box

Third Place:

Stefanos Sagkriotis - University of Glasgow
Title of Submission: Accelerating Kubernetes with In-network Caching

UNDERGRADUATE CATEGORY
First Place:

Run Huang - Fudan University
Title of Submission: Locating CDN Edge Servers with HTTP Responses

Second Place:

Erica Chiang - Carnegie Mellon University
Title of Submission: Robust Heuristics: Packet job size estimation with provable guarantees against DoS attacks

SIGGRAPH 2022 Winners
GRADUATE CATEGORY
First Place:

Yu-Yen Chen - National Taipei University of Technology
Title of Submission: GravityPack: Exploring a Wearable Gravity Display for Immersive Interaction Using Liquid-based System

Second Place:

Pratik Kalhshetti - Indian Institute of Technology Bombay
Title of Submission: Local Scale Adaptation for Augmenting Hand Shape Models

Third Place:

Dario Lanza - Universidad de Zaragoza
Title of Submission: On the Influence of Dynamic Illumination in the Perception of Translucency

UNDERGRADUATE CATEGORY
First Place:

Takahito Murakami - University of Tsukuba
Title of Submission: Kuchibashi: 3D-Printed Tweezers Bioinspired by the New Caledonian Crow’s Beak

PLDI 2022 Winners
GRADUATE CATEGORY
First Place:

Milijana Surbatovich - Carnegie Mellon University
Title of Submission: A Type System for Safe Intermittent Computing

Second Place:

Zachary D. Sisco - University of California, Santa Barbara
Title of Submission: Program Synthesis for Processor Development Using Formal Specifications

Third Place:

Joseph W. Cutler - University of Pennsylvania
Title of Submission: Finding Good Generators with Multi-Armed Bandits

SIGMOD 2022 Winners
GRADUATE CATEGORY
First Place:

Alexander Yao - Columbia University
Title of Submission: Interactive Query Explanations Using Fine Grained Provenance

Second Place:

Manuel Schönberger - Technical University of Applied Sciences Regensburg
Title of Submission: Applicability of Quantum Computing on Database Query Optimization

Third Place:

Sughosh V Kaushik - Columbia University
Title of Submission: SQL Execution of Smoked Duck

UNDERGRADUATE CATEGORY
First Place:

Joshua Pan - Harvard University
Title of Submission: Workload-Adaptive Filtering in Storage Engines

Second Place:

Jiadong Xie - East China Normal University
Title of Submission: Hindering Influence Diffusion of Community

Third Place:

Anna Gorb - Innoolis University
Title of Submission: A Recommender Algorithm to Automatically Generate Metrics for GQM Models in Software Development

ICSE 2022 Winners
GRADUATE CATEGORY
First Place:

Zhe Liu - Institute of Software, Chinese Academy of Sciences
Title of Submission: Woodpecker: Identifying and Fixing Android UI Display Issues

Second Place:

Luca Di Grazia - University of Stuttgart, Germany
Title of Submission: Efficiently and Precisely Searching for Code Changes with DiffSearch

Third Place:

Manuel De Stefano - University of Salerno
Title of Submission: An Empirical Study on the Current Adoption of Quantum Programming

UNDERGRADUATE CATEGORY
First Place:

Kimberly Truong - Oregon State University
Title of Submission: Let's Talk Open-Source - An Analysis of Conference Talks and Community Dynamics

Second Place:

Isabella Laybourn - Carnegie Mellon University
Title of Submission: µ2: using Mutation Analysis to Guide Mutation-Based Fuzzing

Third Place:

Saki Imai - Colby College
Title of Submission: Is GitHub Copilot a Substitute for Human Pair-Programming? An Empirical Study

CHI 2022 Winners
GRADUATE CATEGORY
First Place:

Irene Zanardi - Politecnico di Milano
Title of Submission: Hoomie Sweet Home: A Qualitative Study on the Small Multisensory Space ”Hoomie” for Inclusion of Autistic Kids in a Primary School

Second Place:

Amanda Curtis - University of Oxford
Title of Submission: Interactive Research Artifacts: Interactive Technologies as Tools for Knowledge Creation

Third Place:

Jacquelyn Quinn Schmidt - University of Michigan
Title of Submission: Climate Resilience Through Data: Managing Stormwater Sewers in Detroit

UNDERGRADUATE CATEGORY
First Place:

Roxanna G. Wilcox - Northwestern University
Title of Submission: Knowledge Maps for Building Conceptual and Transferable CSS Knowledge

Second Place:

Cindy Hu - Northwestern University
Title of Submission: Self-Disclosure for Early Relationship Development through Situated Prompts in Opportunistic Collective Experiences

Third Place:

Anthony Moncivais - Abilene Christian University
Title of Submission: The Emotional Impact of Multi-Factor Authentication for University Students

SAC 2022 Winners
GRADUATE CATEGORY
First Place:

Silvia Beddar-Wiesing - University of Kassel, Germany
Title of Submission: Using Local Activity Encoding for Dynamic Graph Pooling in Stuctural-Dynamic Graphs

Second Place:

Jacob Curtis - Baylor University
Title of Submission: On Language-Agnostic Abstract-Syntax Trees

Third Place:

Alice Moallemy-Oureh - University of Kassel, Germany
Title of Submission: Continuous Time Generative GNN for Attributed Dynamic Graphs

Mobicom 2021 Winners
GRADUATE CATEGORY
First Place:

Jon Larrea - University of Edinburgh
Title of Submission: Demo: Nervion - A Cloud Native RAN Emulator for Core Network Evaluations

Second Place:Tie

Zimo Liao - Shanghai Jiaotong University
Title of Submission: Demo: SMART: Screen-based Gesture Recognition on Commodity Mobile Devices

Second Place:Tie

Cheng-Ying Hsieh - National Yang Ming Chiao Tung University
Title of Submission: Design and Implementation of a Generic 5G User Plane Function Development Framework

UNDERGRADUATE CATEGORY
First Place:

Thomas Horton King - Carnegie Mellon University
Title of Submission: Demo: Long-Range Accurate Ranging of Millimeter-wave Retro-Reflective Tags in High Mobility

Career Resource

Winners, SRC 2022-2023

Lifelong Learning

Become an ACM Distinguished Speaker!

Publish with ACM