A seminar primarily for graduate students to present their research and
get feedback about their presentations.
We also welcome post-docs and new faculty to present their work.
All Computer Science PhD students in residence at Rice are expected to
enroll each semester and to present every four semesters.
|
Spring 2012
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 9 Jan |
Karthik Murthy |
Synchronization constructs in Coarray Fortran 2.0 |
John Mellor-Crummey |
| 23 Jan |
Matthew Maly |
Guiding Motion Planners through Low-Dimensional Projections |
Lydia Kavraki |
| 30 Jan |
Troy Ruths |
Towards a Parallel Simulator for Evolving Populations |
Luay Nakhleh |
| 6 Feb |
Lei Tang |
EM-MAC: A Dynamic Multichannel Energy-Efficient MAC Protocol
for Wireless Sensor Networks |
Dave Johnson |
| 13 Feb |
Angela Zhu |
|
Luay Nakhleh |
| 20 Feb |
Luis Perez |
|
Chris Jermaine |
| 5 Mar |
Deepak Majeti |
|
|
| 12 Mar |
Milind Chabbi |
|
John Mellor-Crummey |
| 19 Mar |
Risa Myers |
|
|
| 26 Mar |
Felix Lin |
|
|
| 2 Apr |
Rahul Kumar |
|
|
| 9 Apr |
Golnaz Habibi |
|
|
| 16 Apr |
Adam Pridgen |
|
Dan Wallach |
|
Fall 2011
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 22 Aug |
Edwin Westbrook |
Tools and Techniques for Building Domain-Specific Languages |
Vivek Sarkar, Swarat Chaudhuri |
| 29 Aug |
Swarat Chaudhuri |
Taming the Nonrobustness of Software Systems |
Faculty speaker |
| 12 Sep |
Wei-Cheng Xiao |
Physical implementation of synchronous duty cycling MAC
protocols: experiences and evaluation |
Dave Johnson |
| 19 Sep |
Shams Imam |
Interfacing Chapel with traditional HPC programming languages |
Vivek Sarkar |
| 26 Sep |
Niketan Pansare |
Online Aggregation for Large MapReduce Jobs |
Chris Jermaine |
| 3 Oct |
Justin Park |
Detecting HGT (Horizontal Gene Transfer) Events Under DLT
(Duplication, Loss, Transfer) Model Using the Trace of
Artificial Losses |
Nakhleh |
| 17 Oct |
Devin Grady |
Multi-Objective Sensor-Based Replanning for a Car-Like Robot |
Lydia Kavraki |
| 24 Oct |
Drew Bryant |
Predicting protein binding specificity by combinatorial clustering of
residue position subsets |
Lydia Kavraki |
| 31 Oct |
Kamal Sharma |
Tiling and Dynamic Pattern Recognition for HPC |
Vivek Sarkar |
| 7 Nov |
Florin Dinu |
Chattering in the Cloud: Improving Hadoop's Performance
by Cross-Sharing of Application Experience |
Eugene Ng |
| 14 Nov |
Jie Zheng |
Pacer: Just-In-Time Live Virtual Machine Migration |
Eugene Ng |
| 21 Nov |
Shashi Shekhar |
Separating Smartphone advertising from applications |
Dan Wallach |
| 28 Nov |
Myeongjae Jeon |
Reducing DRAM Row Activations with Eager Writeback
|
Alan Cox, Scott Rixner |
|
Spring 2011
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 24 Jan |
Yuliy Pisetsky |
Improving Authentication on the Android Operating System |
|
| 31 Jan |
Xu Liu |
Pinpointing Data Locality Problems Using Data-centric Analysis |
|
| 7 Feb |
Raghavan Raman |
Efficient Data Race Detection for Async-Finish Parallelism |
Vivek Sarkar |
| 14 Feb |
Powei Feng |
View-independent Contour Culling of 3D Density Maps for
Far-field Viewing of Iso-surfaces |
Joe Warren |
| 21 Feb |
Brent Stephens |
A Scalability Study of Enterprise Network Architectures |
|
| 7 Mar |
Zhuhua Cai |
The Latent Community Model for Detecting Sybil Attacks |
|
| 14 Mar |
Seth Fogarty |
|
Moshe Vardi |
| 21 Mar |
Chaoran Yang |
Function shipping and synchronization constructs in CAF 2.0 |
John Mellor-Crummey |
| 28 Mar |
Dragos Sbirlea |
Streaming CnC : Concurrent Collections extension for
streaming parallelism |
Vivek Sarkar |
| 4 Apr |
Wei-Cheng Xiao |
|
|
| 11 Apr |
Anna Drummond |
Diametric Topic Mixtures for Documents Classification |
Chris Jermaine |
| 18 Apr |
Alina Sbirlea |
CnC-CUDA — a programming model for CPU-GPU
hybrid parallelism |
Vivek Sarkar |
|
Fall 2010
|
| 23 Aug |
Guohui Wang |
c-Through: Part-time Optics in Data Centers |
Eugene Ng |
| 30 Aug |
Deian Tabakov |
“Is your car trying to kill you?” |
Moshe Vardi |
| 13 Sep |
Zheng Cai |
Maestro: A System for Scalable OpenFlow Control |
Eugene Ng |
| 20 Sep |
Mathias Ricken & Ed Westbrook |
Agile and Efficient Domain-Specific Languages using Multi-stage
Programming in Java Mint |
Corky Cartwright |
| 27 Sep |
Ioan Sucan |
How do 'useful' robots plan complex motions? |
Lydia Kavraki |
| 4 Oct |
Yonghong Yan |
Hierarchical Place Trees: Modeling Memory Hierarchy
for Task parallelism |
Vivek Sarkar |
| 18 Oct |
Andrew Lynch |
Robotics : Low-Cost Multi-Robot System |
James McLurkin |
| 25 Oct |
Sanjay Chatterjee |
Effective Synchronization of Manycore Architectures
Using Phasers |
Vivek Sarkar |
| 1 Nov |
Kaushik Ram |
sNICh: Efficient Last Hop Networking in the Data Center |
Alan Cox |
| 8 Nov |
Yun Yu |
Coalescent Histories on Phylogenetic Network and Detection of
Hybridization Despite Incomplete Lineage Sorting |
Luay Nakhleh |
| 15 Nov |
Amit Bhatia |
Algorithmic Techniques for Design and Analysis of High-Confidence
Physical Systems |
Lydia Kavraki, Moshe Vardi |
| 22 Nov |
Jason Eckhardt |
Automatic Generation of Optimized Domain-Specific Operations |
Keith Cooper |
| 29 Nov |
Anna Youssefi |
Runtime Compiler-Guided Tile Selection in the PACE Project |
John Mellor-Crummey |
|
Spring 2010
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 11 Jan |
Luay Nakhleh & Alan Cox |
Discussion about graduate recruiting |
|
| 25 Jan |
Niketan Pansare |
Multi-query optimization in the Datapath System |
Chris Jermaine |
| 1 Feb |
Jeff Sandoval |
Detecting Processor Instruction Cache for Platform Aware
Compilation |
Keith Cooper |
| 8 Feb |
Mathias Ricken |
Mint, a Multi-stage Extension of Java
(slides) |
Walid Taha |
| 15 Feb |
Troy Ruths |
Simulating the evolution of genetic networks |
Luay Nakhleh |
| 22 Feb |
Natalie Yudin |
Reconstructing signaling networks from experimental data |
Luay Nakhleh |
| 8 Mar |
David Peixotto |
Low-Level Behavior of Lazy Functional Programs |
Keith Cooper |
| 15 Mar |
Cherif Salama |
Static Analysis for Circuit Families |
Walid Taha |
| 22 Mar |
Michael Dietz |
|
Dan Wallach |
| 29 Mar |
Devin Grady |
Provably Safe Multi-Robot Cooperation with Kinodynamic
Constraints |
Lydia Kavraki |
| 5 Apr |
Sagnak Tasirlar |
Concurrent Collections : A new parallel programming model |
Vivek Sarkar |
| 12 Apr |
Lei Tang |
PRI-MAC: A Prediction-Wakeup MAC Protocol for Wireless Sensor
Networks |
Dave Johnson |
| 19 Apr |
Felix Lin |
Reflex: managing smartphone as a distributed system for
energy-efficient sensing |
Lin Zhong |
|
Fall 2009
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 24 Aug |
Mathias Ricken |
ConcJUnit: Unit Testing for Concurrent Programs |
Corky Cartwright |
| 31 Aug |
Raghavan Raman |
Compiler Support for Work-Stealing Parallel Runtime Systems |
Vivek Sarkar |
| 14 Sep |
Ryan Zhang |
Grid-Centric Scheduling Strategies for Workflow Applications |
Keith Cooper |
| 21 Sep |
James McLurkin |
Measuring the Accuracy of Computation on a Complex System
(Why Multi-Robot Systems Shouldn't Move Faster than They Can
Talk) |
Faculty speaker |
| 28 Sep |
Cuong Than |
Parsimonious inference of species phylogenies from multi-locus
data |
Luay Nakhleh |
| 5 Oct |
Rui Zhang |
Commit phase and composability in software transactional
memory |
Bill Scherer |
| 19 Oct |
Sumit Nain |
Automated synthesis from probabilistic components |
Moshe Vardi |
| 26 Oct |
Luis Perez |
Monte Carlo Evaluation of Satisfiability Queries on
Uncertain Databases |
Chris Jermaine |
| 2 Nov |
|
|
|
| 9 Nov |
Drew Bryant |
Mapping the Structural Landscape of Protein Families with
Geometric Feature Vectors |
Lydia Kavraki |
| 16 Nov |
|
|
|
| 23 Nov |
Raj Barik |
Register Allocation using Bipartite Liveness Graphs |
Vivek Sarkar |
| 30 Nov |
Fayette Shaw |
Agreement on Stochastic Multi-Robot Systems
with Communication Failures |
guest of James McLurkin |
|
Spring 2009
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 5 Jan |
Jeff Kilpatrick |
Detecting causes of complex diseases |
Luay Nakhleh |
| 26 Jan |
Nathan Tallent |
Effective Performance Measurement and Analysis of
Multithreaded Applications |
John Mellor-Crummey |
| 2 Feb |
|
|
|
| 9 Feb |
Chris Jermaine |
MCDB: The Monte Carlo Database System |
Faculty speaker |
| 16 Feb |
|
|
|
| 23 Feb |
Ryan Zhang |
Grid Centric Scheduling Strategies for Workflow Applications |
Keith Cooper/Ken Kennedy |
| 9 Mar |
Dan Sandler |
VoteBox: a verifiable, tamper-evident electronic voting system |
Dan Wallach |
| 16 Mar |
Seth Fogarty |
Size Doesn't Matter When You have Good (Automata-Theoretic)
Technique |
Moshe Vardi |
| 23 Mar |
Bertrand du Castel |
Computer Theology |
Schlumberger |
| 30 Mar |
Florin Dinu |
Detecting Congestion Patterns using ECN Marking |
Eugene Ng |
| 6 Apr |
Jie Zheng |
Placement and balancing of cooperative packet filters |
Eugene Ng |
| 13 Apr |
Powei Feng |
Volume Segmentation with Painting |
Joe Warren |
|
Fall 2008
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 25 Aug |
Anna Youssefi |
Exploring the Potential for Accelerating Sparse Matrix-Vector
Multiplication on a Processing-in-Memory Architecture |
John Mellor-Crummey |
| 8 Sep |
Dan Sandler |
<input type="password"> must die! |
Dan Wallach |
| 22 Sep |
Raj Bandyopadhyay |
Compiling dynamic languages via statically typed
functional languages |
Walid Taha |
| 29 Sep |
Kaushik Ram |
Achieving 10 Gbps using Safe and Transparent Network Interface
Virtualization |
Alan Cox |
| 6 Oct |
Ed Westbrook |
Higher-Order Encodings with Constructors |
Walid Taha |
| 20 Oct |
Angela Zhu |
Acumen: Simulation of Mechanical System |
Walid Taha |
| 27 Oct |
Zheng Cai |
Maestro: A System for Orchestrating Network Control Components |
Eugene Ng |
| 3 Nov |
Justin Park |
Computational Approaches to Reconstructing Ancestral
Recombination Graphs |
Luay Nakhleh |
| 10 Nov |
Jun Inoue |
Verifying Monadically, Memoizingly Staged Programs |
Walid Taha |
| 17 Nov |
Allison Heath |
From coarse-grain to all-atom: Toward multiscale analysis
of protein landscapes |
Lydia Kavraki |
| 24 Nov |
Derek Ruths |
|
Luay Nakhleh |
| 1 Dec |
Seth Nielson |
Developing Better Incentives for Improved Robustness
in BitTorrent |
Dan Wallach |
|
Spring 2008
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 14 Jan |
Cherif Salama |
Synthesizable High Level Hardware Descriptions |
Walid Taha |
| 28 Jan |
Gregory Malecha |
From Text to Graph and Back |
Walid Taha |
| 4 Feb |
Seth Fogarty |
Buechi Complementation and Size-Change Termination |
Moshe Vardi |
| 11 Feb |
David Peixotto |
Tuning a Priority-Based Register Allocator Using
Adaptive Compilation |
Keith Cooper |
| 18 Feb |
Khaled Elmeleegy |
Enhancing Ethernet's Reliability |
Alan Cox |
| 25 Feb |
Khaled Elmeleegy |
System Support for High Performance Network Servers |
Alan Cox |
| 10 Mar |
John Garvin |
Compiling R's Imperative Call-By-Need |
John Mellor-Crummey |
| 17 Mar |
Jason Eckhardt |
Redundancy Elimination Revisited |
Keith Cooper |
| 24 Mar |
Ioan Sucan |
Kinodynamic motion planning for real robots |
Lydia Kavraki |
| 31 Mar |
Rajkishore Barik |
Bit-sensitivity and Efficiency of Register Allocation |
Vivek Sarkar |
| 7 Apr |
Yanjun Sun |
DW-MAC: A Low Latency, Energy Efficient Demand-Wakeup MAC Protocol
for Wireless Sensor Networks |
Dave Johnson |
| 14 Apr |
Kaushik Ram |
|
Alan Cox |
| 21 Apr |
Kostas Bekris |
Interesting problems in robotics and a few attempts to deal
with them |
Lydia Kavraki |
|
Fall 2007
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 27 Aug |
Mathias Ricken |
A Framework for Testing Concurrent Programs
(slides) |
Corky Cartwright |
| 10 Sep |
Eric Schoen |
What Oil Companies Want to Know: Inside Oilfield Data
Interpretation |
Schlumberger |
| 17 Sep |
Ajay Gulati |
Efficient and Adaptive Proportional Share I/O Scheduling |
Peter Varman |
| 24 Sep |
Nathan Tallent |
Performance Analysis of Highly Optimized Modular Programs |
John Mellor-Crummey |
| 1 Oct |
Travis McPhail |
An Interactive Editor for Rapidly Prototyping 2D Games |
Joe Warren |
| 8 Oct |
Deian Tabakov |
Verifying SystemC Models |
Moshe Vardi |
| 22 Oct |
Guohui Wang |
Towards Network Triangle Inequality Violation Aware
Distributed Systems |
Eugene Ng |
| 29 Oct |
Yousra Alkabani |
Remote Activation of ICs for Piracy Prevention and Digital
Rights Management |
Farinaz Koushanfar |
| 5 Nov |
Cuong Than |
Accurate and efficient species tree reconstruction from
genome-scale multi-locus data through a novel ILP formulation |
Luay Nakhleh |
| 12 Nov |
Konstantinos Tsianos |
Real-time motion planning under realistic
kinodynamic constraints |
Lydia Kavraki |
| 19 Nov |
Dan Smith |
Completing the Java Type System |
Corky Cartwright |
| 26 Nov |
Bo Zhang |
The WaveScalar Architecture |
Eugene Ng |
| 3 Dec |
Scott Crosby |
An Analysis of BitTorrent's Two Kademlia-Based DHTs |
Dan Wallach |
|
Spring 2007
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 12 Jan |
Apan Qasem |
Automatic Tuning of Scientific Applications |
Ken Kennedy |
| 19 Jan |
Gabriel Marin |
Application Insight Through Performance Modeling |
John Mellor-Crummey |
| 26 Jan |
Kostas Bekris |
Safe and Fast Online Replanning of Trajectories for
Individual Vehicles and Vehicular Networks |
Lydia Kavraki |
| 2 Feb |
Mack Joyner |
Compiler Optimizations for Object-Oriented High-Performance
Scientific Computing |
Ken Kennedy |
| 9 Feb |
Bill Scherer |
High-performance Synchronization for User-level
Software Systems |
faculty speaker |
| 16 Feb |
|
|
|
| 23 Feb |
Ajay Gulati |
pClock - An arrival Curve Based Approach For QoS Guarantees |
Peter Varman |
| 16 Mar |
Amarda Shehu |
Molecules in Motion: Computing Structural Flexibility |
Lydia Kavraki |
| 23 Mar |
Jeff Sandoval |
Tuning an Adaptive Compilation Search Space with Loop Unrolling |
Keith Cooper |
| 30 Mar |
Yi Guo |
|
Keith Cooper |
| 13 Apr |
Shu Du |
Using Routing Information to Improve MAC Performance in Multi-Hop
Wireless Networks |
Dave Johnson |
| 20 Apr |
Ning Song |
Mu-bases and their applications in geometric modeling |
Ron Goldman |
| 27 Apr |
Raj Bandyopadhyay |
Compiling Dynamic Languages |
Walid Taha, Ken Kennedy |
|
Fall 2006
|
| Date |
Speaker |
Title (click for abstract) |
Adviser |
| 6 Oct |
Brian Chen |
|
Lydia Kavraki |
| 13 Oct |
Bo Zhang |
Measurement-Based Analysis, Modeling and Synthesis of the Internet
Delay Space |
Eugene Ng |
| 20 Oct |
Dan Sandler |
FeedTree, or: how RSS was won (and where it got us). |
Peter Druschel |
| 27 Oct |
Bryan Smith |
Evaluating Protection Systems for Critical Infrastructures |
|
| 10 Nov |
Erion Plaku |
Motion Planning for Hybrid Robotic Systems |
Lydia Kavraki |
| ??? |
Derek Ruths |
Predicting the Structure of Cancer |
Luay Nakleh |
| ??? |
John Garvin |
|
John Mellor-Crummey |
| ??? |
Cheryl McCosh |
|
Ken Kennedy |
| 1 Dec |
Amit Saha |
Throughput Improvement in Wireless Mesh Networks |
Dave Johnson |
