COMP 600: Graduate Research Seminar

A seminar for students to present their research and get feedback about their presentations. Speakers will get a video recording of their presentation to review. Also, the audience should give feedback to the speaker using this form. All Computer Science PhD students in residence at Rice are expected to enroll. Also, CS PhD students are expected to present at least once every four semesters in residence.

Fall 2009 Class: Mondays, 12:00-12:50pm in DH 1070. Lunch provided.

Grading: 1 credit hour, Satisfactory/Unsatisfactory — You are expected to have no more than 3 unexcused absenses.

Speaker schedule
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 Dave 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