Winners, SRC 2024-2025

PACT 2024 Winners
GRADUATE CATEGORY

First Place:

Nurlan Nazaraliyev - University of California, Riverside
Title of Submission: LOSS: Lightweight-OS-Support for GPUs

Second Place:

Ravan Nazaraliyev - University of California, Riverside
Title of Submission: Stealth within Security: Exploiting RFM Rowhammer Mitigation for GPU Attacks

Third Place:

Nika Mansouri Ghiasi - ETH Zurich
Title of Submission: Understanding and Modeling the Performance Landscape of Ultra-Dense 3D Memory Systems

UNDERGRADUATE CATEGORY

First Place:

Sophia Fu - McCarnegie Mellon University
Title of Submission: Accelerating High-Precision Number Theoretic Transforms using Intel AVX-512

Second Place:

Ishita Mehta - University of Colorado Boulder
Title of Submission: Evaluating Rowhammer Impact on Neural Network Accuracy

MODELS 2024 Winners
GRADUATE CATEGORY

First Place:

Josselin Enet - Nantes Université
Title of Submission: MLanguage Protocols for Domain-Specific Debugging

Second Place:

Meriem Ben Chaaben - Université de Montréal
Title of Submission: Software Modeling Assistance with Large Language Models

Third Place:

Pascal Archambault - Université de Montréal
Title of Submission: Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture Systems

UNDERGRADUATE CATEGORY

First Place:

Kyanna Dagenaisn - McMaster University
Title of Submission: Towards Model Repair by Human Opinion--Guided Reinforcement Learning

Second Place:

Nirmal Chaudhari - McMaster University
Title of Submission: Pipelines Have Feelings Too: A Structured Way To Design CI/CD Pipelines

TAPIA 2024 Winners
GRADUATE CATEGORY

First Place:

Daniel Campos Zamora - University of Washington
Title of Submission: MoiréWidgets: High-Precision, Passive Tangible Interfaces via Moiré Effects

Second Place:

Laine Rumreich - Ohio State University
Title of Submission: Improving the Efficiency of Causally Ordered Unicast Using a "Minicast"

Third Place:

Zahra Borhani - Colorado State University
Title of Submission: Comparing Instruction Methods for DailyBuddy: A Mobile App for Improving Daily Living Skills for Adults with Autism

UNDERGRADUATE CATEGORY

First Place:

Hannah Guan - Harvard
Title of Submission: HiDiNet: High-Dimensional Interpretive Network for Modeling Aging Health and Survival

Second Place:

Jalynn Nicoly - McMaster University
Title of Submission: Virtual Timers for Improved Task Management and Collaboration during Resuscitation Procedures

Third Place:

Michael Adeleke - Morgan State University
Title of Submission: CodeBears: Breaking Stereotypes and Feeding the STEM Pipeline

ICFP2024 Winners
GRADUATE CATEGORY

First Place:

Shu-Hung You - Nortwestern University
Title of Submission: Contract Calculus à la Carte

Second Place:

Sára Juhošová - Delft University of Technology
Title of Submission: How Novices Perceive Interactive Theorem Provers"

Third Place:

Pablo Castellanos - IMDEA
Title of Submission: Verified Generation of Constraints for the PLONK Protocol

UNDERGRADUATE CATEGORY

First Place:

Iona Kuhn - Saarland University and University of Oxford
Title of Submission: Verified Equivalence Checker for Omega-Regular Expressions

Second Place:

Nikhil Kamath - University of Maryland
Title of Submission: Seedzer: A Full-Stack Pipeline for Fuzzing Deep Learning Compilers

Third Place:

Daniel Pinto - Universidad Simon Bolivar
Title of Submission: Towards an Operational Semantics for a Generalized Spreadsheet Core

SIGCOMM 2024 Winners
GRADUATE CATEGORY

First Place:

Milind Srivastava - Carnegie Mellon University
Title of Submission: Circa: Re-imagining Network Telemetry from an Approximation-First Perspective

Second Place:

Francisco Germano Vogt - Universidade Estadual de Campinas
Title of Submission: Demo: P4 Replay (P4R): Reproducing Packet Traces and Stateful Connections at Line-Rate on Your P4-capable Hardware

Third Place:

Federico De Marchi - Max Planck Institute for Informatics
Title of Submission: Opportunistic Credit-Based Transport for Reconfigurable Data Center Networks with Tidal

UNDERGRADUATE CATEGORY

First Place:

Hyun Hu Park - Hong Kong University of Science and Technology
Title of Submission: Controlling TCP Socket Queueing Delay

SIGGRAPH 2024 Winners
GRADUATE CATEGORY

First Place:

Samuel Zuehlkeo - University of Applied Sciences Upper Austria
Title of Submission: MTexEdge: Towards an Approach for Optimization of Sensor Layouts in Textile Interfaces

Second Place:

Aleksander Plocharski - Warsaw University of Technology
Title of Submission: Neuro-Symbolic Transformation of Architectural Facades into Their Procedural Representations

Third Place:

Hongzheng Chen - Cornell University
Title of Submission: Image Segmentation from Shadow-Hints using Minimum Spanning Trees

UNDERGRADUATE CATEGORY

First Place:

Shingo Hattori - Cluster Metaverse Lab
Title of Submission: Measurement of the Imperceptible Threshold for Color Vibration Pairs Selected by using MacAdam Ellipse

Second Place:

Vaya Simeonova - NCCA, Bournemouth University
Title of Submission: O, What an Iridescent Web We Weave: Rendering Physically Inspired Spider Webs for Visual Effects

Third Place:

Jolie Cher - University of Greenwich
Title of Submission: Picture (Im-) Perfect - Exploring Imperfections in Computer Generated Rendering

ESEC/FSE 2024 Winners
GRADUATE CATEGORY

First Place:

Md Nakhla Rafi - Concordia University
Title of Submission: Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization

Second Place:

Débora Lêda de Lucena Souza - Federal University of Campina Grande
Title of Submission: Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems

Third Place:

Lin Ling - Concordia University
Title of Submission: Evaluating Social Bias in Code Generation Models

UNDERGRADUATE CATEGORY

First Place:

Chihao Yu - University of California, San Diego
Title of Submission: Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions

PLDI 2024 Winners
GRADUATE CATEGORY

First Place:

Noé De Santo - EPFL
Title of Submission: Mechanized semantics for ECMAScript regexes

Second Place:

Michalis Pardalos - Imperial College London
Title of Submission: Who checks the checkers? Steps towards reliable equivalence checking

Third Place:

Hongzheng Chen - Cornell University
Title of Submission: Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction

UNDERGRADUATE CATEGORY

First Place:

Lee Zheng Han - National University of Singapore
Title of Submission: Monitoring Linearizability in Polynomial Time

Second Place:

Viktor Fukala - MIT and ETH Zurich
Title of Submission: Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool

Third Place:

Caroline Cronjäger - Vrije Universiteit Amsterdam
Title of Submission: The Never-Ending Trace: Catching Divergent Goto Cycles

SIGMETRICS 2024 Winners
GRADUATE CATEGORY

First Place:

Shefali Ramakrishna - Cornell University
Title of Submission: Transform Analysis of Preemption Overhead in the M/G/1

Second Place:

Louis Hauseux - INRIA
Title of Submission: How can we theoretically measure the performance of density-based clustering algorithms?

Third Place:

Ming Xiang - Northeastern University
Title of Submission: Taming Client Availability in Federated Learning in the Presence of Arbitrary and Unknown Dynamics

UNDERGRADUATE CATEGORY

First Place:

Jason Han - Rice University
Title of Submission: Turning Quantum Noise on its Head: Using the Noise for Diffusion Models to Generate Images

Second Place:

Yuncheng Yao - New York University Shanghai
Title of Submission: MLFD: the Implementation and Performance Evaluation of an LSTM-based, SmartNIC-Offloadable Failure Detector

PASC 2024 Winners
GRADUATE CATEGORY

First Place:

Marc Marot-Lassauzaie - Technical University Munich
Title of Submission: Mixed-Precision in High-Order Methods: Studying the Impact of Lower Numerical Precisions on the ADER-DG Algorithm

Second Place:

Stephen Nicholas Swatman - CERN, University of Amsterdam
Title of Submission: Finding Optimistic Upper Bounds for Task Graph Throughput on Heterogeneous Systems Using Linear Programming

Third Place:

Sonali Mayani - Sorbonne University, ArData
Title of Submission: Efficient, Portable, Massively Parallel Free-Space Solvers for the Poisson Equation

CHI 2024 Winners
GRADUATE CATEGORY

First Place:

Jullia Lim - Columbia University
Title of Submission: The Potential of Learning With AI-Generated Pedagogical Agents in Instructional Videos?

Second Place:

Sandra Kostic - Fraunhofer Institute for Applied and Integrated Security
Title of Submission: Who is the Better Operator of an Identity Wallet Prioritised by the User? - A Quantitative Survey Between State and Company

Third Place:

Ege Otenen - Indiana University
Title of Submission: Towards Designing for Multimodal Remembering: Findings from an Interview Study

UNDERGRADUATE CATEGORY

First Place:

Aliea Nallbani - Wellesley College
Title of Submission: Exploring LLM-based Chatbot for Language Learning and Cultivation of Growth Mindset

Second Place:

Donghee Hyun - Kookmin university
Title of Submission: Green Cloud: Supporting Sustainable Behavior by Helping Users Remove Unnecessary Photos from Cloud Storage Service

Third Place:

Anna Lieb - Wellesley College
Title of Submission: Student Interaction with NewtBot: An LLM-as-tutor Chatbot for Secondary Physics Education

ICSE 2024 Winners
GRADUATE CATEGORY

First Place:

Zhou Yang - Singapore Management University
Title of Submission: Classifying Source Code: How Far Can Compressor-based Classifiers Go?

Second Place:

Yang Chen - University of Illinois Urbana-Champaigny
Title of Submission: Flakiness Repair in the Era of Large Language Models

Third Place:

Ali Reza Ibrahimzada - University of Illinois Urbana-Champaigny
Title of Submission: Program Decomposition and Translation with Static Analysis

SAC 2024 Winners
GRADUATE CATEGORY

First Place:

Sofiia Drozd - NTUU KPI
Title of Submission: Detection of War-Caused Agricultural Field Damages Using Sentinel-2 Satellite Data with Machine Learning and Anomaly Detectiong

Second Place:

Gayatri Priyadarsini Kancherlae - Indian Institute of Technology, Gandhinagar
Title of Submission: Least Privilege Persistent-Storage Access in Web Browsers

Third Place:

Ignacio D. Lopez-Miguel - TU Wien
Title of Submission: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

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.

Career Resource

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.

Winners, SRC 2024-2025

ACM Case Studies

Lifelong Learning

Become an ACM Distinguished Speaker!