Winners, SRC 2023-2024

SIGCSE 2024 Winners
GRADUATE CATEGORY

First Place:

Brendan Henrique - University of Califorinia, Berkeley
Title of Submission: Exploring K-12 Teachers' Trajectories of Engagement with Critically Conscious Computing

Second Place:

Ashish Hingle - George Mason University
Title of Submission: Accessing and Democratizing AI for Whom? Student Learning through an Algorithm-Centered Supply Chain Case Study

Third Place:

Samuel Mazzone - Marquette University
Title of Submission: Energizing Web Development in the Exploring Computer Science Curriculum

UNDERGRADUATE CATEGORY

First Place:

Edward Kempa- University of Florida
Title of Submission: Understanding Engineering Students’ Ethical and Algorithmic Decision Preferences through a Consequentialist Framework

Second Place:

Carly Solomon - University of Florida
Title of Submission: Undergraduate Facilitators as Role Models for Middle School Learners within an AI Summer Camp

Third Place:

Brij Howard-Sarin - Williams College
Title of Submission: The Future of the Error Message: Comparing Large Language Models and Novice Programmer Effectiveness in Fixing Errors

Programming 2024 Winners
GRADUATE CATEGORY

First Place:

Idriss Riouak - Lund University
Title of Submission: Using Static Analysis to Improve the Efficiency of Program Analysis

Second Place:

Lo Heander - Lund University
Title of Submission: DAPPER - Seamless, Tailored Code Review

Third Place:

Matt Griffin - University of Surrey
Title of Submission: Binary Analysis in Isabelle/HOL

UNDERGRADUATE CATEGORY

First Place:

Erdem Yildirim - University of Kaiserslautern-Landau
Title of Submission: Set-theoretic Maps with Type Variables

CGO 2024 Winners
GRADUATE CATEGORY

First Place:

Jingwen Pan - University of Edinburgh
Title of Submission: Compiling Approximate Computation to Probabilistic Program

Second Place:

Michel Weber - ETH Zurich
Title of Submission: Relaxing Alias Analysis: Exploring the Unexplored Space

Third Place:

Ismet Dagli - Colorado School of Mines
Title of Submission: H-EYE: Holistic Performance Modeling for Diversely Scaled Systems

UNDERGRADUATE CATEGORY

First Place:

Callum Groeger - University of Edinbugh
Title of Submission: A Unified Framework for Query Compilers

Second Place:

Dalia Shaaban - ETH Zurich
Title of Submission: Interactively Exploring the Compiler Design Space: xdsl-gui

Third Place:

Mehmet Eymen Ünay - Istanbul Technical University
Title of Submission: A Custom RISC-V Instruction to Elevate Cryptographic Algorithm Performance

POPL 2024 Winners
GRADUATE CATEGORY

First Place:

Orpheus Van Rooji - Rabdboud University
Title of Submission: A Substructural Type and Effect System

Second Place:

Anoud Alshnakat - KTH Royal Institute of Technology
Title of Submission: HOL4P4: A Heapless Small-Step Semantics and Type System for P4

Third Place:

Wenhao Tang - The University of Edinburgh
Title of Submission: Session-Typed Effect Handlers

UNDERGRADUATE CATEGORY

First Place:

Jakub Bachurski - University of Cambridge
Title of Submission: Embedding Pointful Array Programming in Python

Second Place:

Bhakti Shah - University of Chicago
Title of Submission: A Lean Formalization of Cedar

Third Place:

Tyler Hou - University of California, Berkeley
Title of Submission: Efficient Incremental Computation for Halide

ESEC/FSE 2023 Winners
GRADUATE CATEGORY

First Place:

Isam Sedki - Concordia University(Canada)
Title of Submission: Privacy-centric Log Parsing for Timely, Proactive Personal Data Protection

Second Place:

Niklas Risse - Ruhr-University Bochum
Title of Submission: Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection

Third Place:

Mouna Dhaouadi Koh - Université de Montréal
Title of Submission: A Data set of Extracted Rationale from Linux Kernel Commit Messages

UNDERGRADUATE CATEGORY

First Place:

Qiuhan Gu - Nanjing University
Title of Submission: LLM-Based Code Generation Method for Golang Compiler Testing

Second Place:

Yi Zhang - Nanjing University
Title of Submission: Detection of Optimizations Missed by the Compiler

SIGSPATIAL 2023 Winners
GRADUATE CATEGORY

First Place:

Jina Kim - University of Minnesota
Title of Submission: Towards Learning of Spatial Triad from Online Text

Second Place:

Chen Chu - Chinese Academy of Sciences
Title of Submission: TrajGDM: A New Trajectory Foundation Model for Simulating Human Mobility

Third Place:

Chan Young Koh - University of Rhode Island
Title of Submission: Towards Disability-Aware Sidewalk Routing

UNDERGRADUATE CATEGORY

First Place:

Rhett M Olson - University of Minnesota
Title of Submission: An Automatic Approach to Finding Geographic Name Changes on Historical Maps

Second Place:

Mohammed Elkholy - The American University in Cairo, Egypt
Title of Submission: Virtual Graph Neural Networks: A Novel Approach for Building-Agnostic Indoor Positioning System

SC 2023 Winners
GRADUATE CATEGORY

First Place:

Jiajun Huang - University of California, Riverside
Title of Submission: Accelerating Collective Communications with Lossy Compression on GPU

Second Place:

Mikaila J. Gossman - Clemson University
Title of Submission: Analyzing Write Patters within the context Asynchronous Multi-Level Checkpointing

Third Place:

Benjamin Valpey - University of Rochester
Title of Submission: A Formal Specification of Tensor Cores via Satisfiability Modulo Theories

UNDERGRADUATE CATEGORY

First Place:

Ronak Monga - Indiana University
Title of Submission: Comparative Study of the Cache Utilization Trends for Regional Scientific Data Caches

Second Place:

John Raicu - University of Chicago
Title of Submission: Navigating the Molecular Maze: A Python-Powered Approach to Virtual Drug Screening

Third Place:

Jamison Kerney(presenter) - Illinois Institute of Technology
Title of Submission: Supercharging Scientific Serverless: Slashing Cold Starts with Python UniKernels

ICCAD 2023 Winners
GRADUATE CATEGORY

First Place:

Haoran You - Georgia Insitute of Technology
Title of Submission: "Machine Learning Algorithm and Hardware Co-Design Towards Green and Ubiquitous AI"

Second Place:

Yingjie Li - University of Maryland,College Park
Title of Submission: "Bridging Light with Deep Learning – Compiler, Algorithms and Exploration"

Third Place:

Chaojian Li - Georgia Insitute of Technology
Title of Submission: "RT-NeRF+: FPGA-Based Real-Time On-Device Neural Radiance Fields Accelerator"

UNDERGRADUATE CATEGORY

First Place:

JuYen-Hsuan Chu - National Central University
Title of Submission: A Detailed Macro Placer for Wirelength Minimization Algorithm and Implementation

SIGMICRO 2023 Winners
GRADUATE CATEGORY

First Place:

Zhewen Pan - University of Wisconsin - Madison
Title of Submission: The XOR Cache: A Catalyst for Compression

Second Place:

Sankeerth Durvasula - University of Toronto
Title of Submission: Efficient AutoDiff for differentiable physics simulators in GPUs

Third Place:

Konstantinos Kanellopoulos - ETH Zurich
Title of Submission: Virtuoso: An Open-Source, Comprehensive and Modular Simulationn Framework for Virtual Memory Research

UNDERGRADUATE CATEGORY

First Place:

Yan Zhu - University of Toronto
Title of Submission: GENN: Enable Flexible and Efficient AI for Resource-Constrained Platforms

Second Place:

Qi Ling - University of Michigan
Title of Submission: Dike: Assessing the Practical Exploitability of Spectre Gadgets

Third Place:

Chengyi Lux Zhang - University of California, Berkeley
Title of Submission: CoSMo: A Realistic Configurable Sensor Channel Model for Pre-Silicon Full-Stack Robotics SoCs Evaluation

SOSP 2023 Winners
GRADUATE CATEGORY

First Place:

Matheus Stolet - Max Planck Institute for Software Systems
Title of Submission: Virtuoso TCP Stack: Squashing Isolation and Resource Effifiency Tradeoffs in Virtualized Environments

Second Place:

Hannah Gross - MIT
Title of Submission: Funhouse: A Hall of Mirrors Database

Third Place:

Jonas Kaufmann - Max Planck Institute for Software Systems
Title of Submission: Full System Energy Estimation with Modular Simulation

UNDERGRADUATE CATEGORY

First Place:

Artem Agvanian - Brown University
Title of Submission: Alohomora: Practical End-to-End Privacy Compliance with Policy Containers and Privacy-Critical Regions

Second Place:

Zhuofan Chen - Carnegie Mellon Universityy
Title of Submission: Methods for Lazy Promotion on FIFO and LRU-based Eviction Algorithms

SPLASH 2023 Winners
GRADUATE CATEGORY

First Place:

Jesse Hoobergs - KU Leuven
Title of Submission: Modular educational languages

Second Place:

Marta Davila Mateu - University of Southern California
Title of Submission: Synthesizing Recursive Programs Through Dataflow Constraints

Third Place:

Antonio Zegarelli - IMDEA Software Institute
Title of Submission: Design and implementation of facets of dynamic policies

UNDERGRADUATE CATEGORY

First Place:

Austin Freeman - Francis Marion University
Title of Submission: Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking

Second Place:

Haolin Ye - McGill Universityy
Title of Submission: An optimal structure-aware code difference framework with MaxSAT-Solver

Third Place:

Raven Rothkopf(presenter) - Barnard College
Title of Submission: Rose: Extensible Autodiff on the Web

ASSETS 2023 Winners
GRADUATE CATEGORY

First Place:

Claire O’Connor - Monmouth University
Title of Submission: Designing Voice-Assisted Technology (VAT) Training for Activities of Daily Living (ADLs) for Adults with Cognitive-Communication Needs (CCNs) at Home

UNDERGRADUATE CATEGORY

First Place:

Lukas Zink - ETH Zürich
Title of Submission: AudioQ: A Debugging Extension for Visually Impaired Developers

Second Place:

Jinyoung Shin - Seoul National University of Science and Technology
Title of Submission: Analyzing Walking with Ankle Foot Orthoses Using Shank-mounted Wearable Movement Sensors

PACT 2023 Winners
GRADUATE CATEGORY

First Place:

Abdullah Giray Yağlıkçı - ETH Zürich
Title of Submission: Understanding and Leveraging the Spatial Variation in Read Disturbance Vulnerability of Real DRAM Chips

Second Place:

Geraldo F. Oliveira - ETH Zürich
Title of Submission: DaPPA: A Data-Parallel Framework for Processing-in-Memory Architectures

Third Place:

Xavier Servot - ETH Zürich
Title of Submission: Accelerating Weightless Neural Network Inference and Training on a Real Processing-in-Memory System

UNDERGRADUATE CATEGORY

First Place:

Lukas Zink - ETH Zürich
Title of Submission: Towards Throughput-Oriented Sparse Matrix Vector Multiplication on a Processing-in-Memory System

Second Place:

Jinyoung Shin - Seoul National University of Science and Technology
Title of Submission: PIMCoSim: HW/SW Co-Simulator for Exploring Processing in Memory Architectures

SIGDOC 2023 Winners
GRADUATE CATEGORY

First Place:

Caitlin Baulch - University of Minnesota
Title of Submission: Antirhetoric and Prenatal Testing: A Rhetorical Heuristic for Examining Implicit and Explicit Values in Expert Medical Documentation

Second Place:

Chloe Robertson - Virginia Tech
Title of Submission: How Graduate Students Navigate Tech Comm Challenges related to their VISA

Third Place:

Anwesha Chattopadhyay - University of Florida
Title of Submission: Decolonial Subversion of Santali Tribal Language Learning Technologies

UNDERGRADUATE CATEGORY

First Place:

Vignesh Mullaguru - Kennewsaw State University
Title of Submission: Designing a Virtual Reality Prototype for Designers: A Model for Accessibility Testing

MOBICOM 2023 Winners
GRADUATE CATEGORY

First Place:

Jingyu Tong - The Hong Kong Polytechnic University
Title of Submission: Radio Frequency Neural Networks for Wireless Sensing

Second Place:

Charles J. Carver - Columbia University
Title of Submission: Catch Me If You Can: Demonstrating Laser Tethering with Highly Mobile Targets

Third Place:

Kien Trung Ngo - University of Palermo
Title of Submission: A Novel Intelligent Management System Architecture for Hybrid VLC/RF Systems in Smart Retail Environment

UNDERGRADUATE CATEGORY

First Place:

Moteen Shah - Veermata Jijabai Technological Institute
Title of Submission: Going Beyond Backscatter: Rethinking Low-Power Wireless Transmitters using Tunnel Diodes

Second Place:

Zhe Ou - Peking University
Title of Submission: A Self-Adaptive Retro-FSO Design for Air-to-Ground Communication

Third Place:

Steven Waskito(presenter) - National University of Singapore
Co-authors: Kai Jie Leow, Pramuka Medaranga (National University of Singapore), Tejas Gupta (IIT Kanpur), Shantanu Chakrabarty (NCS group), Manoj Gulati, Ambuj Varshney (National University of Singapore)
Title of Submission: Otter: Simplifying Embedded Sensor Data Collection and Analysis using Large Language Models

ESWEEK 2023 Winners
GRADUATE CATEGORY

First Place:

Artem Klashtorny - University of Waterloo
Title of Submission: An Approach to GPU Wavefront Splitting for Safety-Critical Systems

Second Place:

Zain Ul Abideen - Tallinn University of Technology
Title of Submission: Leveraging FPGA Reconfigurability as an Obfuscation Asset

Third Place:

Dina Hussein - Washington State University
Title of Submission: An Innovative Approach for Energy-Efficient Data Imputation in Human Activity Recognition

UNDERGRADUATE CATEGORY

First Place:

Valen Yamamoto - University of California at Irvine
Title of Submission: Neural Network Certification using Bernstein Polynomial Approximations

TAPIA 2023 Winners
GRADUATE CATEGORY

First Place:

Ritika Dhiman - Carnegie Mellon University
Title of Submission: “Data-to-Text” Generation

Second Place:

Saika Zaman - Southern Illinois University
Title of Submission: Trustworthy Agent-Driven Particle Swarm Optimization for Communication-Efficient Federated Learning

Third Place:

Iliana Castillon - Colorado State University
Title of Submission: predicting the Occurrence of Déjà Vu using Eye Features

UNDERGRADUATE CATEGORY

First Place:

Angela Busheska - Lafayette College
Title of Submission: Ingesting and Analyzing Open Source Automatic Speech Data for African and Indian Languages

Second Place:

Hung Ngoh - Bucknell University
Title of Submission: A Touchless Typing Approach Using Apple Augmented Reality Kit and Sequence-to-Sequence Learning

Third Place:

Gabriel Serrano - Kean University
Title of Submission: Realtime ASL Recognition Using Computer Vision and AI

SIGCOMM 2023 Winners
GRADUATE CATEGORY

First Place:

Alon S. Levin - Columbia University
Title of Submission: Experimentation with Wideband Real-Time Adaptive Full-Duplex Radios

Second Place:

Xin Zhe Khooi - National University of Singapore
Title of Submission: Towards Accelerating the 5G Centralized Unit with Programmable Switches

Third Place:

Sushovan Das - Rice University
Title of Submission: Near Non-blocking Performance with All-optical Circuit-switched Core

UNDERGRADUATE CATEGORY

First Place:

Eric Stuhr - Georgia Tech
Title of Submission: Understanding Interactions between Overload Control and Core Allocation in Low-Latency Network Stacks

ICFP 2023 Winners
GRADUATE CATEGORY

First Place:

Andrew Cheung - University of Washington
Title of Submission: Surveying FPGA Technology Mapping Completeness

Second Place:

Ernest Ng - University of Pennsylvania
Title of Submission: Mica: Automated Property-Based Testing for Ocaml Modules

Third Place:

Kai Pischke - University of Oxford
Title of Submission: Higher-Order Hardware Description

UNDERGRADUATE CATEGORY

First Place:

Cynthia Richey - University of Washington
Title of Submission: What is a “Good” Ruleset? Comparing Rulesets Using Equality Saturation

Second Place:

Bhakti Shah - University of Chicago
Title of Submission: Visualizing Graphical Proofs in Coq

Third Place:

Vishal Caurmalla - University of Washington
Title of Submission: Application of Sketch Guided Synthesis to Runtime Reconfigurable FPGA Primitives

SIGGRAPH 2023 Winners
GRADUATE CATEGORY

First Place:

Shaimaa Monem Abdelhafez - Max Planck Institute
Title of Submission: Improved Projective Dynamics Global Solves Using Snapshots-based Reduced Basis

Second Place:

Jessica Baron - Clemson University
Title of Submission: Toward Efficient Capture of Spatially Varying Material Properties

Third Place:

Timothy Chen - National Taiwan University
Title of Submission: sPellorama: An Immersive Prototyping Tool using Generative Panorama and Voice-to-Prompts

UNDERGRADUATE CATEGORY

First Place:

Kensuke Katori - University of Tsukuba
Title of Submission: Crossed half-silvered Mirror Array: Fabrication and Evaluation of a See-Through Capable DIY Crossed Mirror Array

ISSTA 2023 Winners
GRADUATE CATEGORY

First Place:

Thomas Schweizer - University of Washington
Title of Submission: An empirical evaluation of commit-untangling tools

Second Place:

Hannah Potter - University of Washington
Title of Submission: ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations

Third Place:

Tom Lauwaerts - Universiteit Gent
Title of Submission: Out-of-place Multiverse Debugging for Constraint Devices

SIGMOD 2023 Winners
GRADUATE CATEGORY

First Place:

Stefan Klessinger - University of Passau
Title of Submission: Capturing Data-inherent Dependencies in JSON Schema Extraction

Second Place:

Xin Zhang - University of Califoria, Riverside
Title of Submission: SynopsisDB: Distributed Synopsis-based Data Processing System

Third Place:

Sergio Luiz Marques Filho - Federal University of Parana
Title of Submission: Discovering Denial Constraints Using Boolean Patterns

UNDERGRADUATE CATEGORY

First Place:

Xiaochen Zhu - National University of Singapore
Title of Submission: Link Local Differential Privacy in GNNs via Bayesian Estimation

SIGMETRICS 2023 Winners
GRADUATE CATEGORY

First Place:

Isaac Grosof - Carnegie Mellon University
Title of Submission: The RESET Technique for Multiserver-Job Analysis

Second Place:

Yuanyuan Li - Northeastern University
Title of Submission: Distributed Experimental Design Network

Third Place:

Zifeng Niu - Imperial College London
Title of Submission: Graph Learning based Performance Analysis for Queueing Networks

UNDERGRADUATE CATEGORY

First Place:

Tianhao Huang - Shanghai Jiao Tong University
Title of Submission: An End-to-End Benchmarking Tool for Analyzing the Hardware-Software Implications of Multi-modal DNNs

Second Place:

Xiangan He - Boston College
Title of Submission: Zephyr: An Economically Feasible, Zero-Knowledge Light Client for Enhanced Blockchain

Third Place:

Nishat Ahmed - The Cooper Union for the Advancement of Science and Art
Title of Submission: Best Practices for Exoskeleton Evaluation Using DeepLabCut

PLDI 2023 Winners
GRADUATE CATEGORY

First Place:

Minsung Cho - Northeastern University
Title of Submission: Scaling Decision-Theoretic Probabilistic Programs Through Factorization

Second Place:

Jesse Michel - MIT
Title of Submission: Distributions for Compositionally Differentiating Parametric Discontinuities

Third Place:

Avaljot Singh - UIUC
Title of Submission: ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence

UNDERGRADUATE CATEGORY

First Place:

Amar Shah - University of California, Berkeley
Title of Submission: An Eager SMT Solver for Algebraic Data Type Queries

Second Place:

Caleb Kim - Cornell University
Title of Submission: Resource Sharing through Control-Flow Based Optimizations

Third Place:

Pai Li - Cornell University
Title of Submission: A Synchronization Mechanism for an Accelerator Design IR

ICSE 2023 Winners
GRADUATE CATEGORY
First Place:

Chengjie Lu - Simula Research Laboratory
Title of Submission: Test Scenario Generation for Autonomous Driving Systems with Reinforcement Learning

Second Place:

Wenjing Deng - East China Normal University
Title of Submission: AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers

UNDERGRADUATE CATEGORY

First Place:

Zihe H Zhao - Rice University
Title of Submission: The Distribution and Disengagement of Women Contributors in Open-Source: 2008-2021

CHI 2023 Winners
GRADUATE CATEGORY

First Place:

Matthew Zent - University of Minnesota
Title of Submission: Anonymous Online Support: Investigations of Identity and Heterogeneous Groups in Online Recovery Support

Second Place:

Nilavra Bhattacharya - University of Texas at Austin
Title of Submission: LongSAL: A Longitudinal Search as Learning Study with University Students

Third Place:

Robin Angelini - TU Wien
Title of Submission: Contrasting Technologists' and Activists' Positions on Signing Avatars

UNDERGRADUATE CATEGORY

First Place:

Joshua Yang - University of Massachusetts Amnherst
Title of Submission: Animated Patterns: Applying Dynamic Patterns to Vector Illustration

Second Place:

Eason Chen - National Taiwan Normal University
Title of Submission: Which Factors Predict the Chat Experience of a Natural Language Generation Dialogue Service?

Third Place:

Haun Deborah Jung - Cornell University
Title of Submission: CoCo: Compost Companion

SAC 2023 Winners
GRADUATE CATEGORY

First Place:

Emma L. McDaniel - Georgia State University
Title of Submission: Unsupervised Key Term Extraction of Tornado Narratives from NOAA Storm Events Database

Second Place:

Arthur Rauch - Université de Rennes
Title of Submission: SplitChain, Blockchain with fully decentralised dynamic sharding resilient to fast adaptive adversaries

Third Place:

Leon Bein - Hasso-Plattner-Institut für Digital Engineering gGmbH
Title of Submission: Why and Where Software Developers are (not) using Project Data in Agile Retrospectives

Career Resource

Winners, SRC 2023-2024

Lifelong Learning

Publish with ACM

Become an ACM Distinguished Speaker!