Winners, SRC 2024-2025
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.
![](/binaries/ctaimagelarge/content/gallery/acm/ctas/publications/queue-case-studies-2.jpg)
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](/binaries/ctaimagelarge/content/gallery/acm/ctas/techpacks.jpg)