Winners, SRC 2016 - 2017

SIGCSE 2017 Winners
GRADUATE CATEGORY
First Place:

Daniel Welch - Clemson University
Title of Submission: Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software

UNDERGRADUATE CATEGORY
First Place:

Joshua Buck - University of Dayton
Title of Submission: Mixed-initiative Personal Assistants

Second Place:

Sierra Magnotla - Bucknell University
Title of Submission: Creative Computing and Society: When Undergraduates Design a Curriculum for an Introductory Computing Course

Third Place:

Lukasz Brodowski - Central Connecticut State University
Title of Submission: Tapped-based Authentication for Mobile Device Security

CGO 2017 Winners
GRADUATE CATEGORY
First Place:

Kazem Chesmi - Rutgers University
Title of Submission: Decoupling Symbolic from Numeric in Sparse Direct Solvers

Second Place:

David Vernet - Carnegie Mellon University
Title of Submission: JCoz: A Causal Java Profiler

Third Place:

Tiancong Wang - NC State University
Title of Submission: Cross-Version Persistent Programming

POPL 2017 Winners
GRADUATE CATEGORY
First Place:

William Bowman - Northeastern University
Title of Submission: Toward Type-Preserving Compilation of Coq

Second Place:

Samuel Drews - University of Wisconsin-Madison
Title of Submission: FairSquare: A Static Analysis Tool for Algorithmic Fairness

Third Place:

Max S. New - Northeastern University
Title of Submission: Gradual Type Precision as Retraction

UNDERGRADUATE CATEGORY
First Place:

Victor Lanvin - ENS Paris-Saclay
Title of Submission: Gradual Set-Theoretic Types

Second Place:

Yuu Igarashi - Kyoto University
Title of Submission: A gradually typed polymorphic lambda calculus

Third Place:

Nicholas Rioux - Northeastern University
Title of Submission: Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism

FSE 2016 Winners
GRADUATE CATEGORY
First Place:

Calvin Loncaric - University of Washington
Title of Submission: Cozy: Synthesizing Collection Data Structures

Second Place:

Titus Barik - North Carolina State University
Title of Submission: How should static analysis tools explain anomalies to developers?

Third Place:

Spencer Pearson - University of Washington
Title of Submission: Evaluation of Fault Localization Techniques

UNDERGRADUATE CATEGORY
First Place:

Martin Kellogg - University of Washington
Title of Submission: Combining Bug Detection and Test Case Generation

Second Place:

Felipe Rodrigues Monteiro Sousa - Federal University of Amazonas
Title of Submission: Bounded Model Checking of State-Space Digital Systems

Third Place:

Christopher Mackie - University of Washington
Title of Submission: Preventing Signedness Errors in Numerical Computations in Java

ICCAD 2016 Winners
GRADUATE CATEGORY
First Place:

Xiaoqing Xu - University of Texas at Austin
Title of Submission: Enable Unidirectional Detailed Routing in Advanced Technology Nodes

Second Place:

Li Zhang - Technical University of Munich
Title of Submission: Countering Process Variations with Post-Silicon Clock Tuning

Third Place:

Xunzhao Yin - University of Notre Dame
Title of Submission: Exploiting Ferroeletric FET for Low-Power Non-Volatile Logic-in-Memory Circuits

UNDERGRADUATE CATEGORY
First Place:

Jennifer Vaccaro - Olin College of Engineering
Title of Submission: Applying Computer Modeling to Post-Silicon Validation

SC 2016 Winners
GRADUATE CATEGORY
First Place:

Sourav Chakraborty - Ohio State University
Title of Submission: Job Startup at Exascale: Challenges and Solutions

Second Place:

Julian Hammer - University of Erlangen_Nuremberg
Title of Submission: Performance Modeling and Engineering with Kerncraft

Third Place:

Nathanael Cheriere - ENS Rennes
Title of Submission: Design and Evaluation of Topology-Aware Scatter and AllGather Algorithms for Dragonfly Networks

UNDERGRADUATE CATEGORY
First Place:

William Agnew - Georgia Institute of Technology
Title of Submission: Touring Dataland? Automated Recommendations for the Big Data Traveler

Second Place:

Jonathan Wang - University of California, Berkeley
Title of Submission: Analysis of Variable Selection Methods on Scientific Cluster Measurement Data

Third Place:

Matthew Bae - Harvey Mudd College
Title of Submission: Discovering Energy Resource Usage Patterns on Scientific Clusters

SIGSPATIAL 2016 Winners
GRADUATE CATEGORY
First Place:

Ashwin Shashidharan - North Carolina State University
Title of Submission: tFUTURES: Computational Steering for Geosimulations

Second Place:

Chenggang Lai - University of Arkansas
Title of Submission: Accelerating the Calculation of Minimum Set of Viewpoints for Maximum Coverage over Digital Elevation Model Data by Hybrid Computer Architecture and System

Third Place:

Wenlu Wang - Auburn University
Title of Submission: Dynamic Indoor Navigation with Bayesian Filters

UNDERGRADUATE CATEGORY
First Place:

Aaron San Jose - University of California, Merced
Title of Submission: City-Scale Mapping of Pets Using Georeferenced Images

SPLASH 2016 Winners
GRADUATE CATEGORY
First Place:

Henrik Barthels - RWTH Aachen
Title of Submission: A Compiler for Linear Algebra Operations

Second Place:

Joseph Caldwell - University of Tokyo
Title of Submission: Reducing Procedure Call Bloat in ARM Binaries

Third Place:

Andrei Chris - University of Bern
Title of Submission: Towards object-aware development tools

UNDERGRADUATE CATEGORY
First Place:

Jessica Cherayil - Wellesley College
Title of Submission: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking

Second Place:

Zhen Zhang - University of Science and Technology of China
Title of Submission:xWIDL: Modular & Deep JavaScript API Misuses Checking based on eXtended WebIDL

Third Place:

David Chang - Grinnell College
Title of Submission:Scrambler: Dynamic Layout Adaptation

GRACE HOPPER 2016 Winners
GRADUATE CATEGORY
First Place:

Setareh Ariafar - Northeastern University
Title of Submission: Network-SVM: Support Vector Machine for Network Data

Second Place:

Anne Ross - University of Washington, Seattle
Title of Submission: Enhancing the Accessibility of Mobile Applications

Third Place:

Harini Gunabalan - Technical University Darmstadt
Title of Submission: DO-AS-CASPOTT: DevOps AutoScaler & Critical Artifact SPOTTer Tool for Cloud Applications

UNDERGRADUATE CATEGORY
First Place:

Clarissa Bruno Tuxen - Emory University
Title of Submission: Scaling in Socially Driven Computer Networks

Second Place:

Ancy Philip - Anna University
Title of Submission:Indoor Honking, Indication system in Smart Cars

Third Place:

Samaa Gazzaz - University of Missouri, Kansas City
Title of Submission:Harnessing Kansas City Data to Improve the Lives of Citizens

ASSETS 2016 Winners
GRADUATE CATEGORY
First Place:

Mirko Gelsomini - Politecnico di Milano
Title of Submission: An Affordable Virtual Reality Learning Framework for Children with Neurodevelopmental Disorder

Second Place:

Catherine Feng - University of Washington
Title of Submission: Designing Wearable Mobile Device Controllers for Blind People: A Co-Design Approach

Third Place:

Vijay Rajanna Liu - Texas A&M University
Title of Submission: Gaze Typing Through Foot Operated Wearable Device

UNDERGRADUATE CATEGORY
First Place:

Matthew Seita - RIT
Title of Submission: Closed ASL Interpreting for Online Videos

Second Place:

Taylor Gotfrid - University of California, Santa Cruz
Title of Submission:Games for People with Developmental Disabilities

MODELS 2016 Winners
GRADUATE CATEGORY
First Place:

Gábor Szárnyas - Budapest University of Technology and Economics
Title of Submission: Scalable Graph Query Evaluation and Benchmarking with Realistic Models

Second Place:

Cláudio Gomes - University of Antwerp
Title of Submission: Foundations for Continuous Time Hierarchical Co-simulation

Third Place:

Gwendal Daniel - Inria, Mines Nantes
Title of Submission: Efficient Persistence and Query Techniques for Very Large Models

MobiCom 2016 Winners
GRADUATE CATEGORY
First Place:

Omid Abari - MIT
Title of Submission: MiRa: A millimeter wave software defined radio platform with phased arrays

Second Place:

Ashutosh Dhekne - UIUC
Title of Submission: Cell tower extension through drones

Third Place:

Xing Liu - Indiana University
Title of Submission: Measuring and Optimizing smartwatch energy consumption

UNDERGRADUATE CATEGORY
First Place:

Nathaniel Stone - University of South Carolina
Title of Submission: Assessing Header Impacts in Soccer with Smartball

Second Place:

Giacomo Quadio - University of Padua
Title of Submission:Network Analysis of the Steam In-Home Streaming Game System

SIGDOC 2016 Winners
GRADUATE CATEGORY
First Place:

Chris Lindgren - University of Minnesota-Twin Cities
Title of Submission: Understanding Big Data Processing as Designing Provisional Texts

Second Place:

Arthur Berger - North Carolina State University
Title of Submission: Commercial Proposal Collaborative Writing Practices

Third Place:

John Sherrill - Purdue University
Title of Submission: Teaching Documentation Through 3D Printing and Instructables

UNDERGRADUATE CATEGORY
First Place:

Erin Campbell - Michigan State University
Title of Submission: Participatory Museums: The User Experience of Creative Agents

Second Place:

Leslie Simms - University of Central Florida
Title of Submission: Balancing the Equation of Undergraduate Research: The Importance of Reading, Learning, and Presentation Stability in the Success of STEM Laboratories

Third Place:

Tommy Truong - Michigan State University
Title of Submission: Virtual Reality in Pedagogy

ICFP 2016 Winners
GRADUATE CATEGORY
First Place:

Daniel Hillerström - University of Edinburgh
Title of Submission: First-class Message-Passing Concurrency with Handlers

Second Place:

Jennifer Paykin - University of Pennsylvania
Title of Submission: The Linearity Monad

Third Place:

Jakub Zalewski - University of Edinburgh
Title of Submission: λdB: Blame tracking at higher fidelity

UNDERGRADUATE CATEGORY
First Place:

Nicolás Lehmann - University of Chile
Title of Submission: Gradual Refinement Types

Second Place:

Amy MacDonough - Haverford College
Title of Submission: Recursive Convergence

PACT 2016 Winners
GRADUATE CATEGORY
First Place:

Roman Kaplan - Technion
Title of Submission: From Processing-in-Memory to Processing-in-Storage

Second Place:

Arthur Kiyanovski - Technion
Title of Submission: Network Controller Emulation on a Sidecore for Unmodified Virtual Machines

Third Place:

Kim-Anh Tran - Uppsala University
Title of Submission: SWOOP: Software Out-of-Order Execution for In-Order Architectures

Sigcomm 2016 Winners
GRADUATE CATEGORY
First Place:

Anne Edmundson - Princeton University
Title of Submission: A First Look into Transnational Routing Detours

Second Place:

Rachee Singh - UMass, Amherst
Title of Submission: Path Cache: A Path Prediction Toolkit

Third Place:

Elverton Fazzion - Universidade Federal de Minas Gerais
Title of Submission: Efficient Remapping of Internet Routing Events

Siggraph2016 Winners
GRADUATE CATEGORY
First Place:

MHD Yemen Saraiji - Keio University
Title of Submission: Layered Telespresence:Simultaneous Mutli Presence using Eye Gaze based Perpetual Awareness Blending

Second Place:

Tuur Stuyck - KU Leuven
Title of Submission: Sculpting Fluids: A New and Intuitive Approac to Art-Directable Fluids

Third Place:

Carlos Aliaga - University of Zaragoza
Title of Submission: A Fiber-Level Model for Predictive Cloth Rendering

UNDERGRADUATE CATEGORY
First Place:

Shoichi Furukawa - Waseda University
Title of Submission: Video Reshuffling: Automatic Video Dubbing without Prior Knowledge
connected Photo- Plethysmography (PPG) Signals

Second Place:

Satoshi Hashizume - University of Tsukuba
Title of Submission: Mobile Cross-Platform Permission Analysis

Third Place:

Yu-Xiang Wang - National Taiwan University
Title of Submission: ThirdEye: A coaxialfeature tracking system for stereoscopic video see-through augmented reality

PLDI 2016 Winners
GRADUATE CATEGORY
First Place:

Lisa Nguyen Quang Do - Fraunhofer IEM
Title of Submission: Towards Layered Static Analyses

Second Place:

Benno Stein - University of Colorado, Boulder
Title of Submission: Goal-Directed Backwards Static Analysis for JavaScript

Third Place:

Byron Hawkins - University of California, Irvine
Title of Submission: Reducing Functionality of Simple Web Applications Built on Large PHP Frameworks

UNDERGRADUATE CATEGORY
First Place:

Ryan Doenges - University of Washington
Title of Submission: A Mechanically Verified Implementation of Chord

Second Place:

Daryl Zuniga - University of Washington
Title of Submission: Proving Peephole Optimizations Correct

Third Place:

Ziv Scully - MIT
Title of Submission: A Program Optimization for Automatic Database Result Caching

MIS/CPR 2016 Winners
GRADUATE CATEGORY
First Place:

Elston Steele - Trident University International
Title of Submission: Investigating the Role of Top Management and Institutional Pressures in Cloud Computing Adoption

UNDERGRADUATE CATEGORY
First Place:

Danielle Sherman - University of Wisconsin - Whitewater
Title of Submission: Encouraging Minority and Low-income Girls to Pursue Computing through Inclusive Technology Camps

Second Place:

Chad Schaefer - University of Wisconsin - Whitewater
Title of Submission: Toward Building a Mobile App Experience to Support User's Mobile Travel Needs

MobileSoft 2016 Winners
GRADUATE CATEGORY
First Place:

Michael Willocx - KU Leuven
Title of Submission: Comparing performance parameters of mobile app development strategies

Second Place:

Miyeon Jung - Postech
Title of Submission: Toward Designing Mobile Software to Predict Hypoglycemia for Patients with Diabetes

Third Place:

Zhiyuan Chen - University of Nebraska, Omaha
Title of Submission: Helping Mobile Software Code Reviewers: A Study of Bug Repair and Refactoring Patterns

UNDERGRADUATE CATEGORY
First Place:

Vasu Jindal - University of Texas at Dallas
Title of Submission: Heart Rate Monitoring During Intensive Physical Exercise Using Mobile and Cloud
connected Photo- Plethysmography (PPG) Signals

Second Place:

Walter Squires - Iona College
Title of Submission: Mobile Cross-Platform Permission Analysis

Third Place:

Madi Zhanbyrtayev - Nazarbayev University
Title of Submission: A Novel Approach to Mobile Indoor Navigation Systems

ICSE 2016 Winners
GRADUATE CATEGORY
First Place:

Ting Su - East China Normal University, China
Title of Submission: FSMdroid: Guided GUI Testing of Android Apps

Second Place:

Justin Smith - North Carolina State University
Title of Submission: Identifying Successful Strategies for Resolving Static Analysis Notifications

Third Place(Tie):

Ameer Armaly - University of Notre Dame
Title of Submission: An Empirical Study of Blindness and Program Comprehension

Third Place(Tie):

Shiyou Huang - Texas A&M University
Title of Submission: Maximally Stateless Model Checking for Concurrent Bugs under Relaxed Memory Models

CHI 2016 Winners
GRADUATE CATEGORY

First Place:

Amna Basharat - University of Georgia
Title of Submission: Learnersourcing Thematic and Inter-Contextual Annotations from Islamic Texts

Second Place:

Leila Barmaki - University of Central Florida
Title of Submission: Improving Social Communication Skills Using Kinesics

Third Place:

Crystal Tobias - San Jose State University
Title of Submission: Older Users and In-Vehicle Navigation Map Design Elements

UNDERGRADUATE CATEGORY
First Place:

Meghan Plank - Drexel University
Title of Submission: Bounce: A Mobile Behavioral Intervention Technology for Breast Cancer Survivors

Second Place:

Keisha Jayaratne - University of Technology, Sydney
Title of Submission: The Memory Tree: Using Sound to Support Reminiscence

Third Place:

Jihoon Suh - KAIST
Title of Submission: Veri-Pen: A Pen-based Identification Through Natural Biometrics Extraction

SAC 2016 Winners
GRADUATE CATEGORY
First Place:

Rosemary Koikara - Kyungpook National University, South Korea
Title of Submission: A 3D-Cellular Automata based Pseudo-random Number Generator

Second Place:

Amir Atabekov - Kennesaw State University
Title of Submission: Internet of Things-Based Smart Classroom Environment

Third Place:

Masoud Reyhani Hamedani - Hanyang University, South Korea
Title of Submission: An Efficient and Effective Link-based Similarity Measure in Social and Information Network

Modularity 2016 Winners
GRADUATE CATEGORY
First Place:

Arik Hadas - Open University of Israel
Title of Submission: Language Oriented Modularity: From Theory to Practice

Second Place:

Ligia Nisto - Carnegie Mellon University
Title of Submission: The Modularity of Object Propositions

Third Place:

Ivan Vasilev - NovSU
Title of Submission: Selective Process Instrumentation in Virtual Machine

CGO 2016 Winners
GRADUATE CATEGORY
First Place:

Rubens E.A. Moreira - UFMG, Brazil
Title of Submission: Inference of Peak Density of Indirect Branches to Detect ROP Attacks

Second Place:

Duco Van Amstel - INRIA- Kalray S.A.
Title of Submission: Generalized Tiling

Third Place:

Vimuth Dinuka Fernando - University of Moratuwa
Title of Submission: Autotuning Multi-tiered Applications for Performance

Publish Your Work

Winners, SRC 2016 - 2017

Publish with ACM

Become an ACM Distinguished Speaker!

Lifelong Learning