Graduate Research Day 2005

Research Day 2005

On April 1, the University of Utah School of Computing will hold its first Graduate Research Day. This event will be a chance for graduates and exceptional undergraduates to present their research to faculty, other students, and members of industry.

Presenters, please follow this link for instructions on presenting.

Below is a list of the students who will be presenting posters at the event and their advisors. You may click on each research title to see the corresponding abstract.

Presenter (Advisor)	Poster Title
*Architecture*
Liqun Cheng (John Carter)	Improving the Performance of Large-Scale Shared Memory Systems
Zhen Fang (John Carter)	Breaking the Memory Wall
Gaurav Gulati (Erik Brunvand)	Design of a Cell Library for Asynchronous Microengines
Ali Ibrahim (Al Davis)	The ACT (Adaptive Cellular Telephony) Co-Processor
Vamshi Krishna Kadaru (Erik Brunvand)	CMOS VLSI Cell Library Development Project
Niti Madan (Rajeev Balasubramonian)	Reliable Power-efficient Microprocessors
Naveen Muralimanohar (Rajeev Balasubramonian)	Power and Temperature aware architecture
Dave Nellans (Erik Brunvand)	Partitioning The Operating System: A Step Towards Heterogeneous Chip Multi-Processors
Karthik Ramani (Al Davis)	Ultra-Low Power Perceptive Architectures for Natural Interfaces
Abhishek Ranjan and Anupam Chakravorty and Vamshi Krishna Kadaru (Rajeev Balasubramonian)	Raytrace analysis
*Artificial Intelligence*
Xinwei Xue (Thomas Henderson)	A Behavior Modeling Framework and Basic Behavior Discovery using Affinity Graphs
*Graphics*
Xianming Chen (Rich Riesenfeld)	Differential and Topology Computation on NURBS
Joel Daniels (Elaine Cohen)	Converting Molecular Meshes into Smooth Interpolatory Spline Solid Models for Fabricating Visualizations
Dave DeMarle (Steve Parker)	Mesh Tiling
Suraj Musuvathy (Elaine Cohen)	MERGE: An Immersive Environment for Reverse Engineering of Legacy Mechanical Parts
Carlos Scheidegger (Claudio Silva)	Triangulating Point-Set Surfaces
Chimiao Xu (Thomas Henderson)	Stochastic Optimization of Engineering Drawing Analysis
*Networks*
Vaibhave Agarwal (Jay Lepreau)	Distributed Implementation of a Wireless Network Emulator
Grant Edward Ayers (Jay Lepreau)	Remote Power Cycling with "Whack-on-LAN"
Jonathon Duerig (Jay Lepreau)	Optimizing IP Address Assignment and Static Routing at Large Scale
Juncheol Park (Sneha Kasera)	Expected Data Rate: An Accurate High-Throughput Path Metric For Multi-Hop Wireless Routing
Swami Pichumani (Sneha Kasera)	TCPsec: A Transport Layer Security Framework
Matthew J. Probst (Sneha Kasera)	Building Trust in Wireless Sensor Networks
*Programming Languages*
Kevin Atkinson	ZL: An Extensible System Programming Language
Kostadin Damevski (Steve Parker)	A Framework for Combining Multiple Component Models
Kathy Gray (Matthew Flatt)	Compiling Java to Support Education
*Robotics*
Ben Newton (John Hollerbach)	Simulating Early Sound Reflections by Beam Tracing
Yu Sun (John Hollerbach)	Measuring Finger Forces by Imaging the Fingernail
*Scientific Computing, Imaging, and Visualization*
Suyash P. Awate (Ross Whitaker)	Image Denoising with Unsupervised, Information-Theoretic, Adaptive Filtering
Louis Bavoil (Claudio Silva)	Simplification of Unstructured Tetrahedral Meshes by Point-Sampling
Steven Callahan (Claudio Silva)	Hardware-Assisted Visibility Sorting for Unstructured Volume Rendering
A.N.M. Imroz Choudhury (Martin Berzins)	The Material Point Method in CSAFE
Sarah Geneser (Mike Kirby)	Stochastic Biological Modeling: The Forward Problem of Electrocardiography
Christiaan Paul Gribble (Steve Parker)	Interactive Particle Visualization Using Advanced Illumination Models
Won-Ki Jeong (Ross Whitaker)	Seismic data processing on GPU
Justin Luitjens (Martin Berzins)	Dynamic Load Balancing Using Space-Filling Curves
Miriah Meyer (Ross Whitaker)	Robust Particle Systems for Curvature Dependent Sampling of Implicit Surfaces
Andrew Shafer (Rob Macleod)	Sensitivity of Forward Potential Calculations to Errors in Geometry using Boundary Elements
Abraham Stephens (Steve Parker)	Material Point Method Dataset Rendering on Workstations
Keming Zhang (Steve Parker)	The Parallel Common Component Architecture in SCIRun2
*Software Engineering*
Jeremy Asbill (Robert Kessler)	Automatic Scenario Generation from a Multi-Dimensional Requirements Model
*Systems*
Siddharth Aggarwal (Jay Lepreau)	Disk checkpointing for time travel in distributed systems
Nathan Cooprider (John Regehr)	Static Analysis for Embedded Systems
Sachin Goyal (John Carter)	Enabling Surrogate Computing
David Johnson and Daniel Flickinger (Jay Lepreau)	Design and Implementation of a Mobile Wireless Network Testbed
Chuanbin Peng (Kris Sikorski)	Embedded Software for Distributed, Autonomous Smart Sensor Networks
Sean Walton and Venkat Chakravarthi (Eric Eide)	Untitled
*Formal Methods*
Ritwik Bhattacharya (Ganesh Gopalakrishnan)	Symbolic Partial Order Methods for Rule Based, Parameterized Systems
Guodong Li and Jianjun Duan (Konrad Slind)	A Proof-producing Compiler for Secure Public-Key Infrastructure
Robert Palmer (Ganesh Gopalakrishnan)	Verification of Message Passing Programs
Yu Yang (Ganesh Gopalakrishnan)	MPEC: A Multiprocessor Execution Checker

School of Computing • 50 S. Central Campus Dr. Rm. 3190 • Salt Lake City, UT 84112
801-581-8224 • Send comments to webmaster@cs.utah.edu
Disclaimer