Winners, SRC 2022-2023

 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:   Workload-Adaptive Filtering in Storage Engines

 

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