ACM SRC Grand Finals Candidates, 2020 - 2021

GRADUATE STUDENT WINNERS

Alberto Martin-Lopez -    Universidad de Sevilla 
ICSE 2020
   Title of Submission: Automated Management of Inter-Parameter Dependencies inWeb APIs

Chia-chen Wang -    National Chiao Tung University 
Mobicom 2020
   Title of Submission: Using Magnetic Fingerprints to Position Cars on Multi-layer Roads

Cezar-Constantin Andrici -    Universitatea Alexandru Ioan Cuza din Iași, 
ICFP 2020
   Title of Submission: Hybrid Enforcement of IO Trace Properties

Danielle Stambler -    University of Minnesota 
SIGDOC 2020
   Title of Submission: “Eating Right” and User Experience with an Employee Wellness Program

Grazia Ragone -    University of Sussex 
ASSETS 2020
   Title of Submission: Designing Embodied Musical Interaction for Children with Autism

Guyue Huang -    Tsinghua University 
SIGMICRO 2020
   Title of Submission: Efficient Sparse Matrix Kernels based on AdaptiveWorkload-Balancing and Parallel-Reduction

Haneen Mohammed -    Columbia University 
SIGMOD 2020
   Title of Submission: Continuous Prefetch for Interactive Data Applications

Irshad Khan -    Kyungpook National University 
MobileSoft 2020
   Title of Submission: Collaborative Earthquake Detection and Response using Smart Devices

Jan Philip Bernius -    University 
SIGCSE 2021
   Title of Submission: Toward Computer-Aided Assessment of Textual Exercises in Very Large Courses

Jiaqi Gu -    University of Texas Austin 
ICCAD 2020
   Title of Submission: Light in Artificial Intelligence: Efficient Neuromorphic Computing with Optical Neural Network

Konstantinos Kallas -    University of Pennsylvania 
POPL 2021
   Title of Submission: Data-Parallel Shell Scripting

Malith Jayaweera(Yanzhi Wang, David Kaeli) -    Northeastern University 
CGO 2021
   Title of Submission: Data vs. Instructions: Runtime Code Generation for Convolutions

Mandana Saebi -    University of Notre Dame 
Grace Hopper Celebration 2020
   Title of Submission: Deep Reinforcement Learning for Heterogeneous Relational Reasoning in Knowledge Graphs

Nikita Saxena -    Birla Institute of Technology and Science, Pilani, India 
SIGSPATIAL 2020
   Title of Submission: Efficient Downscaling of Satellite Oceanographic Data With Convolutional Neural Networks

Phil Fox -    SUNY Buffalo 
SIGCSE 2021
   Title of Submission: TrustedAP: Using the Ethereum Blockchain to Mitigate the Evil Twin Attack

Raphael Mosner -    Johannes Kepler University Linz 
SPLASH 2020
   Title of Submission: Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

Yann Herklotz -    Imperial College London 
ICSE 2020
   Title of Submission: Formal Verification of High-Level Synthesis

Zamira Kholmatova -    Columbia University 
ESEC/FSE 2020
   Title of Submission: Systematizing the Meta-Analytical Process in Software Engineering, A reflection initiated by the Analysis of the Impact of Programming Languages on Energy Consumption for Mobile Devices

Zhe Liu -    Chinese Academy of Sciences 
ASE 2020
   Title of Submission: Discovering UI Display Issues with Visual Understanding

UNDERGRADUATE STUDENT WINNERS

Anrn Du -    Boston University 
Mobicom 2020
   Title of Submission: CarML: Distributed Machine Learning in Vehicular Clouds

Chuangtao Chen -    Xhejiang University 
ICCAD 2020
   Title of Submission: Optimally Approximated Floating-Point Multiplier

Ian Lumsden -    University Tennessee, Knoxville 
SC 2020
   Title of Submission: Enabling Graph-Based Profiling Analysis Using Hatchet

Kohei Doi Last -    Kyushu University 
SIGGRAPH 2020
   Title of Submission: Non-photorealistic Radiance Remapping

Darya Verzhbinsky (Daniel Wang) -    UC San Diego 
POPL 2021
   Title of Submission: Petsy: Polymorphic Enumerative Type-Guided Synthesis

Madeline Burbage -    Williams College 
Grace Hopper Celebration 2020
   Title of Submission: Hardware Acceleration for Search Algorithms

Mona Zhang (Jacob Gorenburg) -    Columbia University 
SPLASH 2020
   Title of Submission: Design and Implementation of a Gradual Verifier

Rakshit Mittal -    Birla Institute of Technology and Science 
PLDI 2020
   Title of Submission: Translation Validation of Thread-Level Parallelizing Transformations using Color Petri Nets

Thomas B. McHugh (Cooper Barth) -    Northwestern University 
ASSETS 2020
   Title of Submission: Constructing Agency and Usability Through Community-Driven Assistive Technology Design

Vikram Subramanian -    University of Waterloo 
ICSE 2020
   Title of Submission: Analyzing first contributions on GitHub: what do newcomers do

Yi Wu -    Southern University of Science and Technology 
ASE 2020
   Title of Submission: Anti-patterns for Java Automated Program Repair Tools