Winners, SRC 2013 - 2014
GRADUATE CATEGORY
First Place:
Aadithya V. Karthik - UC Berkeley
Title of Submission: ABCD: Accurate Booleanization of Continuous Dynamical Systems for Analog/Mixed-signal Design
Second Place:
Bei Yu - University of Texas, Austin
Title of Submission: Design for Manufacturing with Triple Patterning Lithography
Third Place:
Jeyavijayan Rajendran - Polytechnic Institute of New York University
Title of Submission: Securing Integrated Circuits through Camouflaging
UNDERGRADUATE CATEGORY
First Place:
Song Yao - Tsinghua University
Title of Submission: Hierarchical Simulation and Optimization of 3D Power Delivery Network
Third Place:
Jason Hyunkyu Koh - Seoul National University
Title of Submission: Analysis of storage- and converter-less maximum power point tracking of photovoltaic cells
GRADUATE CATEGORY
First Place:
Ehsan Totoni - University of Illinois at Urbana-Champaign
Title of Submission: Structure-Aware Parallel Algorithm for Solution of Sparse Triangular Linear Systems
Second Place:
Nikhil Jain - University of Illinois at Urbana-Champaign
Title of Submission: Fast Prediction of Network Performance: k-packet Simulation
Third Place:
Dhairya Malhotra - University of Texas, Austin
Title of Submission: A Distributed-Memory Fast Multipole Method for Volume Potentials
UNDERGRADUATE CATEGORY
First Place:
Carlo Del Mundo - Virginia Tech
Title of Submission: Enabling Efficient Intra-Warp Communication for Fourier Transforms in a Many-Core Architecture
Second Place:
Stephen Herbein - University of Delaware
Title of Submission: Fine-grained Gathering of Scientific Data in QMCPack Simulations on Titan
Third Place:
Robert Gerstenberger - Chemnitz University of Technology
Title of Submission: Handling Datatypes in MPI-3 One Sided
GRADUATE CATEGORY
First Place:
Peter Ohmann - University of Wisconsin-Madison
Title of Submission: CSI: Crash Scene Investigation
Second Place:
Robert Dyer - Iowa State University
Title of Submission: Task Fusion: Improving Utilization of Multi-user Clusters
Third Place:
Cyrus Omar - Carnegie Mellon University
Title of Submission: Structured Statistical Syntax Tree Prediction
UNDERGRADUATE CATEGORY
First Place:
Bryce Cronkite-Ratcliff - Stanford University
Title of Submission: Development of Automatically Verifiable Systems using Data Representation Synthesis
Second Place:
Joey Eremondi - Saskatchewan University
Title of Submission: The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs
Third Place:
Yunming Zhang - Rice University
Title of Submission: HJ-Hadoop: An Optimized MapReduce Runtime for Multi-core Systems
GRADUATE CATEGORY
First Place:
Somayeh Sardashti - University of Wisconsin-Madison
Title of Submission: SuperTag Cache: Exploiting Spatial Locality for Energy-Optimized Compressed Caching
Second Place:
Ji-Sun Kim - Virginia Tech
Title of Submission: From Feet to Fingers: Action-Transferred Navigation Techniques for Cost-Effective, Space-Efficient, and Spatial-Learning-Effective 3D Virtual Environments
Third Place:
Matina Maria Trompouki - Universitat Politecnica de Catalunya
Title of Submission: Efficient Pedestrian Detection Based on Viola-Jones Method using GPUs
UNDERGRADUATE CATEGORY
First Place:
Amna AlZeyara - Carnegie Mellon University in Qatar
Title of Submission: Arabic Accented Facial Expressions for a 3D Agent
Second Place:
Kritika Singh - Indian Institute of Technology, Kanpur
Title of Submission: Handwritten Hindi Numerals Recognition
Third Place:
Julie B. Edwards - Smith College
Title of Submission: Kinect Based Choreography Recording Tool
GRADUATE CATEGORY
First Place:
Tan Zhang - University of Wisconsin-Madison
Title of Submission: V-Scope: A Vehicle-Assisted Approach to Sensing Spectrum Dynamics in TV Whitespaces
Second Place:
Yan Wang - Stevens Institute of Technology
Title of Submission: Measuring Human Queues Using WiFi Signals
GRADUATE CATEGORY
First Place:
Karolina Zurowska - Queen's University
Title of Submission: Domain Specific Analysis of State machine Models of Reactive Systems
Second Place:
Gabor Simko - Vanderbilt Univesity
Title of Submission: Semantic Specifications for Domain-Specific Modeling Languages
Third Place:
Tanja Mayerhofer- Vienna University of Technology, Austria
Title of Submission: Using fUML as Semantics Specification Language in Model Driven Engineering
UNDERGRADUATE CATEGORY
First Place:
Robert Feldmann - Technion, Israel
Title of Submission: Complexity- and Performance Analysis of Different Controller Implementations on a Soft PLC
GRADUATE CATEGORY
First Place:
Ali Mustafa Zaidi - University of Cambridge
Title of Submission: Exposing ILP in Custom Hardware with a Dataflow Compiler IR
Second Place:
Changwoo Min - Sung Kyun Kwan University
Title of Submission: Can Lock-free and Combining Techniques Co-exist? A Novel Approach on Concurrent Queue
Third Place:
Thomas Grass- Universitat Politecnica de Catalunya
Title of Submission: Task Sampling: Computer Architecture Simulation in the Many-Core Era
GRADUATE CATEGORY
First Place:
Dan Levin - TU Berlin
Title of Submission: Incremental SDN Deployment in Enterprise Networks
Second Place:
Matthew P. Grosvenor - University of Cambridge
Title of Submission: R2D2: Bufferless, Switchless Data Center Networks using Commodity Ethernet Hardware
Third Place:
Shankaranarayanan PN - Purdue University
Title of Submission: D-Tunes: Self tuning Datastores for Geo-distributed Interactive Applications
UNDERGRADUATE CATEGORY
First Place:
Kyriakos Zarifis - University of Southern California
Title of Submission: Don't Drop, Detour!
Second Place:
Bo Liu - National University of Defense Technology
Title of Submission: QPhone: A Quantum security VoIP Phone
Third Place:
Swati Roy - Georgia Institute of Technology
Title of Submission: Characterizing Correlated Latency Anomalies in Broadband Access Networks
GRADUATE CATEGORY
First Place:
Hugo Akitaya - University of Tsukuba
Title of Submission: Generating Folding Sequences from Crease Patterns of Flat-Foldable Origami
Second Place:
Matthew Keeter - MIT Center for Bits and Atoms
Title of Submission: Hierarchical Volumetric Object Representations for Digital Fabrication Workflows
Third Place:
Sheng-Ying Pao - MIT Media Lab
Title of Submission: Augmented Participatory Design
UNDERGRADUATE CATEGORY
First Place:
Mayu Yamashita - Keio University
Title of Submission: Enchanted scissors: A Scissor Interface for Support in Cutting and Interactive Fabrication
Second Place:
Atsushi Masumori- Keio University
Title of Submission: Morphological Computation on Two Dimensional Self-Assembly System
GRADUATE CATEGORY
First Place:
Vu Le - UC Davis
Title of Submission: Program Synthesis via Reverse Parsing
Second Place:
Minjia Zhang - Ohio State University
Title of Submission: LarkTM: Efficient, Strongly Atomic Software Transactional Memory
Third Place:
Qirun Zhang - Chinese University of Hong Kong
Title of Submission: Scaling CFL-Reachability-Based Alias Analysis for C: 10M SLoC in 10 Seconds
UNDERGRADUATE CATEGORY
First Place:
James Bornholt - Australian National University
Title of Submission: Uncertain<T: Uncertain data as a first-order type
Second Place:
Matthew Torok - UC Berkeley
Title of Submission: Superconductor: GPU-accelerated Big Data Visualization for the Browser
Third Place:
Eric Atkinson - UC Berkeley
Title of Submission: Parallel Browser Layout
GRADUATE CATEGORY
First Place:
Alejandro Valero - Universitat Polit?cnica de Val?ncia
Title of Submission: Exploiting Reuse Information to Reduce Refresh Energy in On-Chip eDRAM Caches
Second Place:
Madhur Amilkanthwar - Indian Institute of Technology, Madras
Title of Submission: CUPL : A Compile-time Uncoalesced Memory Access Pattern Locator for CUDA
Third Place:
Panagiotis Foteinos - College of William and Mary
Title of Submission: Multi-Layered Unstructured Mesh Generation
UNDERGRADUATE CATEGORY
First Place:
Tyler Sorensen - University of Utah
Title of Submission: Towards Shared Memory Consistency Models for GPUs
GRADUATE CATEGORY
First Place:
Sai Zhang - University of Washington
Title of Submission: ConfDiagnoser: An Automated Configuration Error Diagnosis Tool for Java Software
Second Place:
Wei Jin - Georgia Tech
Title of Submission: Reproducing and Debugging Field Failures in House
Third Place:
Nupul Kukreja - University of Southern California
Title of Submission: Decision Theoretic Requirements Prioritization: A Two-Step Approach for Sliding towards Value Realization
UNDERGRADUATE CATEGORY
First Place:
Hammad Khalid - Queen's University, Canada
Title of Submission: On Identifying User Complaints of iOS Apps
Second Place:
Jordan Ell - University of Victoria, Canada
Title of Submission: Identifying Failure Inducing Developer Pairs within Developer Networks
Third Place:
Braden Simpson - University of Victoria, Canada
Title of Submission: Changeset Based Developer Communication to Detect Software Failures
GRADUATE CATEGORY
First Place:
Michael Crabb - University of Dundee
Title of Submission: Human Cognitive Measurement as a Metric within Usability Studies
Second Place:
Juho Kim - MIT
Title of Submission: ToolScape: Enhancing the Learning Experience of How-to Videos
Third Place:
Lisa Vizer - UMBC
Title of Submission: Different Strokes for Different Folks: Individual Stress Response as Manifested in Typed Text
UNDERGRADUATE CATEGORY
First Place:
Bernd Huber - KIST
Title of Submission: Foot Position as Indicator of Spatial Interest at Public Displays
Second Place:
Megan Torkildson - University of Washington
Title of Submission: Visualizing the Performance of Classification Algorithms with Additional Re-Annotated Data
Second Place:
Joey Rafidi - MIT
Title of Submission: Real-time Trip Planning with the Crowd
GRADUATE CATEGORY
First Place:
Ismael Figueroa - University of Chile
Title of Submission: Towards Control of Aspect Interference using Membranes and Monads
Second Place:
Cynthia Disenfeld- Technion
Title of Submission: User-Friendly Event and Aspect Verification
Third Place:
Aibek Sarimbekov - University of Lugano
Title of Submission: Comparison of Instrumentation Techniques for Dynamic Program Analysis on the Java Virtual Machine
UNDERGRADUATE CATEGORY
First Place:
Junhee Cho - KAIST
Title of Submission: Rewriting JavaScript Module System
GRADUATE CATEGORY
First Place:
Laura Micconi - Technical University of Denmark
Title of Submission: Multi-ASIP Platform Synthesis for Real-Time Applications
Second Place:
Huwaida Tagelsir Elshoush - University of Khartoum, Sudan
Title of Submission: A Novel Collaborative Intrusion Alert Correlation Model
Third Place:
Razvan Ranca - University of Edinburgh, United Kingdom
Title of Submission: Reconstructing Shredded Documents
GRADUATE CATEGORY
First Place:
Antonia Blanca - UC Berkeley
Title of Submission: Mixing Behavior of the Heat-bath Dynamics in the Mean Field Random-cluster Model
Second Place:
Nihar Shah - UC Berkeley
Title of Submission: Codes for Reliable and Efficient Distributed Storage
Third Place:
Valeria Nikolaenko - Stamford
Title of Submission: Privacy-Preserving Ridge Regression on Hundreds on Millions of Records
GRADUATE CATEGORY
First Place:
Marc Rubin - Colorado School of Mines
Title of Submission: On-Mote Compressive Sampling in Wireless Seismic Sensor Networks
Second Place:
Austin Bart - Virginia Tech
Title of Submission: Wacky Writing: Enhancing the XO Laptop Platform to Motivate Creative Writing by Children
Third Place:
James Maher - Colorado School of Mines
Title of Submission: A Comprehensive Machine Learning Approach to Predicting and Maximizing Penetration Rates in Earth Pressure Balance Tunnel Boring Machines
UNDERGRADUATE CATEGORY
First Place:
Dimitri Wijesinghe - Vassar College
Title of Submission: CheckPointing MCMCTree
Second Place:
Sulochana Bramhacharya - Hiram College
Title of Submission: Metagenomic Data Analysis Using Clustering
Third Place:
Demetrius Taylor - Lamar University
Title of Submission: Enabling a Resource Limited Robot to Formulate Complex Plans
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)
Publish with ACM
ACM's prestigious conferences and journals seek top-quality papers in all areas of computing and IT. It is now easier than ever to find the most appropriate venue for your research and publish with ACM.
![Publish your work](/binaries/ctaimagelarge/content/gallery/acm/ctas/publish-your-work.jpg)