ACM SRC Grand Finals Candidates, 2012 - 2013

GRADUATE STUDENT WINNERS

Cynthia Disenfeld - Technion Israel Institute of Technology​​
AOSD 2012
First Place
    Title of Submission: Compositional Verification of Events and Aspects

Jurgen Van Ham - TU Darmstadt​
AOSD 2012
Third Place 
    Title of Submission: EventGateways: Combining Escala Events with Actors

Javier Torrente - Complutense University of Madrid
ASSETS 2012
First Place 
    Title of Submission: Supporting Player Diversity: Game Interfaces for People with Disabilities

Heather Underwood - University of Colorado, Boulder​
CHI 2012
First Place;
    Title of Submission: The PartoPen: Using Digital Pen Software to Improve Birth Attendant Training and Maternal Outcomes in Kenya

Shao-Yun Fang - NTU​
DAC 2012
First Place;
    Title of Submission: Lithography Optimization for Sub-22 Nanometer Technologies

Brandon Noia - Duke University​
DAC 2012
Second Place;
    Title of Submission: Test-Architecture Optimization for 3D Stacked ICs

Jeyavijayan Rajendran - Polytechnic Institute of New York University
DAC 2012
Third Place 
    Title of Submission: Empowering Hardware Security using IC Testing Principles

Zalia Shams - Virginia Tech​
Grace Hopper 2012
Second Place;
    Title of Submission: Evaluating Students' Assignments by Assessing How Well Students Test Their Own Code

Awalin Sopan - University of Maryland
Grace Hopper 2012
Third Place;
    Title of Submission: The Dynamics of Web-Based Community Safety Groups: Lessons Learned from the Nation of Neighbor

Thomas Schilling - University of Kent​
ICFP 2012
First Place;
    Title of Submission: Lambdachine: A Trace-based Just-in-time Compiler for Haskell

Tomas Petricek - University of Cambridge​
ICFP 2012
Second Place;
    Title of Submission: Language support for context-aware computations

Kelly Blincoe - Drexel University
ICSE 2012
First Place;
    Title of Submission: Timely and Efficient Detection of Coordination Needs to Support Collaboration among Software Developers

Soudip Chowdhury - UNITN
ICSE 2012
Third Place;
    Title of Submission: Assisting Mashup Development in Browser Based Modeling Tool

Riccardo Crepaldi - University of Illinois Urbana Champaign​
Mobicom 2012
Second Place;
    Title of Submission: LoadingZones: Leveraging Street Parking to Enable Vehicular Internet Access

Michele Segata - University of Insbruk​
Mobicom 2012
Third Place;
    Title of Submission: Towards Communication Strategies for Platooning

Matthew Gaudet - University of Alberta​
PACT 2012
First Place;
    Title of Submission: Transactional Event Profiling in a Best-Effort Hardware Transactional Memory System

Gennady Pekhimenko - Carnegie Mellon University
PACT 2012
Second Place;
    Title of Submission: Linearly Compressed Pages: A Main Memory Compression Framework with Low Complexity and Low Latency

Leo Meyerovich - UC Berkeley​
PLDI 2012
Second Place;
    Title of Submission: Synthesis and Parallelization for Layout Languages

Michael M. Vitousek - University of Colorado at Boulder​
PLDI 2012
Third Place 
    Title of Submission: Gradual Typing with Efficient Object Casts

Ellis H. Wilson - Pennsylvania State University​
SC 2012
Second Place 
    Title of Submission: Performing Cloud Computing on a Parallel File System

Pietro Marchetta - University of Napoli​
Sigcomm 2012
First Place 
    Title of Submission: Detecting Third Party Addresses in Traceroute IP Paths

Matthew Grosvenor - Cambridge University
Sigcomm 2012
Second Place;
    Title of Submission: Between a rock and a hardware place: Ultraviolet and the case for Userspace Virtual hardware

Nanxi Kang - Princeton University
Sigcomm 2012
Third Place;
    Title of Submission: Policy Transformation in Software Defined Networks

Marc Rubin - Colorado School of Mines
SIGCSE 2013
First Place;
    Title of Submission: On-Mote Compressive Sampling in Wireless Seismic Sensor Networks

James Maher - Colorado School of Mines
SIGCSE 2013
Third Place 
    Title of Submission: A Comprehensive Machine Learning Approach to Predicting and Maximizing Penetration Rates in Earth Pressure Balance Tunnel Boring Machines

Tiffany Inglis - University of Waterloo​
Siggraph 2012
First Plac;
    Title of Submission: Pixelating Vector Line Art

Matthew Hirsch - MIT Media Lab​
Siggraph 2012
Second Place;
    Title of Submission: 8D:Interacting with a Relightable Glasses-Free 3D Display

Gustavo Soares - Federal University of Campina Grande​
Splash 2012
First Place 
    Title of Submission: Automated Behavioral Testing of Refactoring Engines

Mark Zarb - University of Dundee
Splash 2012
Second Place 
    Title of Submission: Industry Inspired Guidelines to improve students' pair programming Communication

Antonia Blanca - UC Berkeley​
MSR-SVC U-SRC 2013
First place 
    Title of Submission: Markov chain Monte Carlo algorithm for the mean field random-cluster model

 

UNDERGRADUATE STUDENT WINNERS

Mairin C. Chesney - Michigan State University
Grace Hopper 2012
First Place 
    Title of Submission: Harnessing Evolution: The Interaction between Sexual Recombination and Coevolution in Digital organisms

Kaleigh A. Clary - Hendrix College
Grace Hopper 2012
Third Place 
    Title of Submission: A Comparison of the Self-Organizing Map and Growing Neural Gas Network in the Context of Optical Character Recognition

Franciso Ferriera - McGill University​
ICFP 2012
First Place 
    Title of Submission: Bringing Higher-Order Abstract Syntax to Programmer

Olivier Savary-Belanger - McGill University​
ICFP 2012
Second Place 
    Title of Submission: Programming type safe transformations in Beluga

Pablo Estefo - Universidad de Chile​
ICSE 2012
Winner;
    Title of Submission: Restructuring Unit Tests with TestSurgeon

Sulochana Bramhacharya - Hiram College​
SIGCSE 2013
Second Place 
    Title of Submission: Metagenomic Data Analysis Using Clustering

Demetrius Taylor - Lamar University
SIGCSE 2013
Third Place 
    Title of Submission: Enabling a Resource Limited Robot to Formulate Complex Plans

Zack F. Coker - Auburn University
SPLASH 2012
First Place 
    Title of Submission: Security-oriented Program Transformations to Cure Integer Overflow Vulnerabilities

Nathan Fulton - Carthage College​
SPLASH 2012
Second Place;
    Title of Submission: Security Through Extensible Type Systems

Kayo Teramoto - Yale University​
SC 2012
First Place 
    Title of Submission: Pay as You GO in the Cloud: One Watt at a Time