COMP 600: Graduate Research Seminar

Spring 2013: Mondays, 12:00–12:50pm, Duncan Hall 1064. Lunch provided. 1 credit hour. Satisfactory/Unsatisfactory — No more than 2 unexcused absences. Instructor: John Greiner

What is this seminar?

A seminar primarily for Computer Science graduate students to practice presenting their research and to be exposed to the breadth of the department's research. We also welcome post-docs and new faculty to present. All CS PhD students in residence at Rice are expected to enroll each semester and to present every four semesters.

Evaluation forms:

Date Speaker Title (click for details) Adviser
26 Aug 13
9 Sep 13
16 Sep 13
23 Sep 13
30 Sep 13
7 Oct 13
21 Oct 13 Shams Imam
28 Oct 13
4 Nov 13
11 Nov 13
18 Nov 13
25 Nov 13
2 Dec 13
Date Speaker Title (click for details) Adviser
14 Jan 13 Tracy Volz Crafting Effective Introductions workshop Senior Lecturer in Professional Communication
28 Jan 13 Powei Feng Biharmonic B-splines Joe Warren
4 Feb 13 Xu Liu A new approach for performance analysis of OpenMP programs John Mellor-Crummey
11 Feb 13 Brent Stephens PAST: Scalable Ethernet for Data Centers Alan Cox
18 Feb 13 Scott Rixner The Anatomy of a MOOC faculty speaker
4 Mar 13 Anna Drummond Topic Models For Feature Selection in Document Clustering Chris Jermaine
11 Mar 13 Jeffrey Chyan Predicting Kinase Binding Affinity Using Homology Models in Combinatorial Clustering of Residue Position Subsets Lydia Kavraki
18 Mar 13 Yiting Xia lambda^{group}: The Case for Optical Multicast in the Data Center Eugene Ng
25 Mar 13 Nikola Ristic Luay Nakhleh
1 Apr 13 Zekai Gao On the Top-k Entries of a Large Correlation Matrix Chris Jermaine
8 Apr 13 Rishi Surendran Test-Driven Repair of Structured Parallel Programs Vivek Sarkar
15 Apr 13 Kumud Bhandari Vivek Sarkar
Date Speaker Title (click for abstract) Adviser
27 Aug 12 Tracy Volz Design and Deliver a Research Presentation — Extra materials: Presentation checklist, Planning a Research Presentation, Tips for Handling Questions Senior Lecturer in Professional Communication
10 Sep 12 Nicole Van Den Heuvel Professional Networking Director, Center for Career Development
17 Sep 12 Thomas Barr Design and Implementation of an Embedded Python Run-Time System Scott Rixner
24 Sep 12 Sonali Dutta Assertion Based Dynamic Verification of SystemC Models Moshe Vardi
1 Oct 12 Michael Dietz Origin-Bound Certificates: A Fresh Approach to Strong Client Authentication for the Web Dan Wallach
8 Oct 12 Swarat Chaudhuri Academic job searches & interviews CS faculty
15 Oct 12 Nick Vrvilo Fairness-aware GPU Time-Slicing Vivek Sarkar
22 Oct 12 Lee SeoungKyou Distributed Cohesive Configuration Control for Swarm Robots with Boundary Information and Network Sensing James McLurkin
29 Oct 12 Zhuhua Cai Simulation of Database Valued Markov Chains using SimSQL Chris Jermaine
5 Nov 12 Sağnak Taşirlar Back to the Future Vivek Sarkar
12 Nov 12 Anhei Shu A Pointillism Approach to Online Corpus Trend Analysis Dan Wallach
19 Nov 12 Sanjay Chatterjee Integrating Asynchronous Task Parallelism with MPI Vivek Sarkar
26 Nov 12 Yun Yu Parsimonious Inference of Hybridization in the Presence of Incomplete Lineage Sorting Luay Nakhleh
Date Speaker Title (click for abstract) Adviser
9 Jan 12 Karthik Murthy Synchronization constructs in Coarray Fortran 2.0 John Mellor-Crummey
23 Jan 12 Matthew Maly Guiding Motion Planners through Low-Dimensional Projections Lydia Kavraki
30 Jan 12 Troy Ruths Towards a Parallel Simulator for Evolving Populations Luay Nakhleh
6 Feb 12 Lei Tang EM-MAC: A Dynamic Multichannel Energy-Efficient MAC Protocol for Wireless Sensor Networks Dave Johnson
13 Feb 12 Angela Zhu On the evolution of molecular interaction networks: distance correction and ancestral reconstruction Luay Nakhleh
20 Feb 12 Luis Perez Query Optimization Strategies in MCDB Chris Jermaine
5 Mar 12 Deepak Majeti Portable Data-Parallel Loop Constructs for Heteroegneous Many-core Platforms Vivek Sarkar
12 Mar 12 Milind Chabbi An Unconventional Approach for Performance Analysis of Modern Systems John Mellor-Crummey
19 Mar 12 Risa Myers A Probabilistic Model of Patient Anesthetic Volatility: Predicting Risk using Bayesian Machine Learning Techniques Chris Jermaine
26 Mar 12 Felix Lin Reflex: Using Low-Power Processors in Smartphones without Knowing Them Dave Johnson
2 Apr 12 Rahul Kumar Large scale Bayesian recommendation system Chris Jermaine
9 Apr 12 Golnaz Habibi Maximum-Leaf Spanning Trees for Efficient Multi-Robot Recovery with Connectivity Guarantees James McLurkin
16 Apr 12 Adam Pridgen Triaging the Hard Disk: Classifying Specific Text Files Dan Wallach
Date Speaker Title (click for abstract) Adviser
22 Aug 11 Edwin Westbrook Tools and Techniques for Building Domain-Specific Languages Vivek Sarkar, Swarat Chaudhuri
29 Aug 11 Swarat Chaudhuri Taming the Nonrobustness of Software Systems Faculty speaker
12 Sep 11 Wei-Cheng Xiao Physical implementation of synchronous duty cycling MAC protocols: experiences and evaluation Dave Johnson
19 Sep 11 Shams Imam Interfacing Chapel with traditional HPC programming languages Vivek Sarkar
26 Sep 11 Niketan Pansare Online Aggregation for Large MapReduce Jobs Chris Jermaine
3 Oct 11 Justin Park Detecting HGT (Horizontal Gene Transfer) Events Under DLT (Duplication, Loss, Transfer) Model Using the Trace of Artificial Losses Luay Nakhleh
17 Oct 11 Devin Grady Multi-Objective Sensor-Based Replanning for a Car-Like Robot Lydia Kavraki
24 Oct 11 Drew Bryant Predicting protein binding specificity by combinatorial clustering of residue position subsets Lydia Kavraki
31 Oct 11 Kamal Sharma Tiling and Dynamic Pattern Recognition for HPC Vivek Sarkar
7 Nov 11 Florin Dinu Chattering in the Cloud: Improving Hadoop's Performance by Cross-Sharing of Application Experience Eugene Ng
14 Nov 11 Jie Zheng Pacer: Just-In-Time Live Virtual Machine Migration Eugene Ng
21 Nov 11 Shashi Shekhar Separating Smartphone advertising from applications Dan Wallach
28 Nov 11 Myeongjae Jeon Reducing DRAM Row Activations with Eager Writeback Alan Cox, Scott Rixner
Date Speaker Title (click for abstract) Adviser
24 Jan 11 Yuliy Pisetsky Improving Authentication on the Android Operating System
31 Jan 11 Xu Liu Pinpointing Data Locality Problems Using Data-centric Analysis
7 Feb 11 Raghavan Raman Efficient Data Race Detection for Async-Finish Parallelism Vivek Sarkar
14 Feb 11 Powei Feng View-independent Contour Culling of 3D Density Maps for Far-field Viewing of Iso-surfaces Joe Warren
21 Feb 11 Brent Stephens A Scalability Study of Enterprise Network Architectures
7 Mar 11 Zhuhua Cai The Latent Community Model for Detecting Sybil Attacks
14 Mar 11 Seth Fogarty Moshe Vardi
21 Mar 11 Chaoran Yang Function shipping and synchronization constructs in CAF 2.0 John Mellor-Crummey
28 Mar 11 Dragos Sbirlea Streaming CnC : Concurrent Collections extension for streaming parallelism Vivek Sarkar
4 Apr 11 Wei-Cheng Xiao
11 Apr 11 Anna Drummond Diametric Topic Mixtures for Documents Classification Chris Jermaine
18 Apr 11 Alina Sbirlea CnC-CUDA — a programming model for CPU-GPU hybrid parallelism Vivek Sarkar
Date Speaker Title (click for abstract) Adviser
23 Aug 10 Guohui Wang c-Through: Part-time Optics in Data Centers Eugene Ng
30 Aug 10 Deian Tabakov “Is your car trying to kill you?” Moshe Vardi
13 Sep 10 Zheng Cai Maestro: A System for Scalable OpenFlow Control Eugene Ng
20 Sep 10 Mathias Ricken & Ed Westbrook Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint Corky Cartwright
27 Sep 10 Ioan Sucan How do 'useful' robots plan complex motions? Lydia Kavraki
4 Oct 10 Yonghong Yan Hierarchical Place Trees: Modeling Memory Hierarchy for Task parallelism Vivek Sarkar
18 Oct 10 Andrew Lynch Robotics : Low-Cost Multi-Robot System James McLurkin
25 Oct 10 Sanjay Chatterjee Effective Synchronization of Manycore Architectures Using Phasers Vivek Sarkar
1 Nov 10 Kaushik Ram sNICh: Efficient Last Hop Networking in the Data Center Alan Cox
8 Nov 10 Yun Yu Coalescent Histories on Phylogenetic Network and Detection of Hybridization Despite Incomplete Lineage Sorting Luay Nakhleh
15 Nov 10 Amit Bhatia Algorithmic Techniques for Design and Analysis of High-Confidence Physical Systems Lydia Kavraki, Moshe Vardi
22 Nov 10 Jason Eckhardt Automatic Generation of Optimized Domain-Specific Operations Keith Cooper
29 Nov 10 Anna Youssefi Runtime Compiler-Guided Tile Selection in the PACE Project John Mellor-Crummey
Date Speaker Title (click for abstract) Adviser
11 Jan 10 Luay Nakhleh & Alan Cox Discussion about graduate recruiting
25 Jan 10 Niketan Pansare Multi-query optimization in the Datapath System Chris Jermaine
1 Feb 10 Jeff Sandoval Detecting Processor Instruction Cache for Platform Aware Compilation Keith Cooper
8 Feb 10 Mathias Ricken Mint, a Multi-stage Extension of Java (slides) Walid Taha
15 Feb 10 Troy Ruths Simulating the evolution of genetic networks Luay Nakhleh
22 Feb 10 Natalie Yudin Reconstructing signaling networks from experimental data Luay Nakhleh
8 Mar 10 David Peixotto Low-Level Behavior of Lazy Functional Programs Keith Cooper
15 Mar 10 Cherif Salama Static Analysis for Circuit Families Walid Taha
22 Mar 10 Michael Dietz Dan Wallach
29 Mar 10 Devin Grady Provably Safe Multi-Robot Cooperation with Kinodynamic Constraints Lydia Kavraki
5 Apr 10 Sağnak Taşirlar Concurrent Collections : A new parallel programming model Vivek Sarkar
12 Apr 10 Lei Tang PRI-MAC: A Prediction-Wakeup MAC Protocol for Wireless Sensor Networks Dave Johnson
19 Apr 10 Felix Lin Reflex: managing smartphone as a distributed system for energy-efficient sensing Lin Zhong
Date Speaker Title (click for abstract) Adviser
24 Aug 09 Mathias Ricken ConcJUnit: Unit Testing for Concurrent Programs Corky Cartwright
31 Aug 09 Raghavan Raman Compiler Support for Work-Stealing Parallel Runtime Systems Vivek Sarkar
14 Sep 09 Ryan Zhang Grid-Centric Scheduling Strategies for Workflow Applications Keith Cooper
21 Sep 09 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 09 Cuong Than Parsimonious inference of species phylogenies from multi-locus data Luay Nakhleh
5 Oct 09 Rui Zhang Commit phase and composability in software transactional memory Bill Scherer
19 Oct 09 Sumit Nain Automated synthesis from probabilistic components Moshe Vardi
26 Oct 09 Luis Perez Monte Carlo Evaluation of Satisfiability Queries on Uncertain Databases Chris Jermaine
2 Nov 09
9 Nov 09 Drew Bryant Mapping the Structural Landscape of Protein Families with Geometric Feature Vectors Lydia Kavraki
16 Nov 09
23 Nov 09 Raj Barik Register Allocation using Bipartite Liveness Graphs Vivek Sarkar
30 Nov 09 Fayette Shaw Agreement on Stochastic Multi-Robot Systems with Communication Failures guest of James McLurkin
Date Speaker Title (click for abstract) Adviser
5 Jan 09 Jeff Kilpatrick Detecting causes of complex diseases Luay Nakhleh
26 Jan 09 Nathan Tallent Effective Performance Measurement and Analysis of Multithreaded Applications John Mellor-Crummey
2 Feb 09
9 Feb 09 Chris Jermaine MCDB: The Monte Carlo Database System Faculty speaker
16 Feb 09
23 Feb 09 Ryan Zhang Grid Centric Scheduling Strategies for Workflow Applications Keith Cooper/Ken Kennedy
9 Mar 09 Dan Sandler VoteBox: a verifiable, tamper-evident electronic voting system Dan Wallach
16 Mar 09 Seth Fogarty Size Doesn't Matter When You have Good (Automata-Theoretic) Technique Moshe Vardi
23 Mar 09 Bertrand du Castel Computer Theology Schlumberger
30 Mar 09 Florin Dinu Detecting Congestion Patterns using ECN Marking Eugene Ng
6 Apr 09 Jie Zheng Placement and balancing of cooperative packet filters Eugene Ng
13 Apr 09 Powei Feng Volume Segmentation with Painting Joe Warren
Date Speaker Title (click for abstract) Adviser
25 Aug 08 Anna Youssefi Exploring the Potential for Accelerating Sparse Matrix-Vector Multiplication on a Processing-in-Memory Architecture John Mellor-Crummey
8 Sep 08 Dan Sandler <input type="password"> must die! Dan Wallach
22 Sep 08 Raj Bandyopadhyay Compiling dynamic languages via statically typed functional languages Walid Taha
29 Sep 08 Kaushik Ram Achieving 10 Gbps using Safe and Transparent Network Interface Virtualization Alan Cox
6 Oct 08 Ed Westbrook Higher-Order Encodings with Constructors Walid Taha
20 Oct 08 Angela Zhu Acumen: Simulation of Mechanical System Walid Taha
27 Oct 08 Zheng Cai Maestro: A System for Orchestrating Network Control Components Eugene Ng
3 Nov 08 Justin Park Computational Approaches to Reconstructing Ancestral Recombination Graphs Luay Nakhleh
10 Nov 08 Jun Inoue Verifying Monadically, Memoizingly Staged Programs Walid Taha
17 Nov 08 Allison Heath From coarse-grain to all-atom: Toward multiscale analysis of protein landscapes Lydia Kavraki
24 Nov 08 Derek Ruths Luay Nakhleh
1 Dec 08 Seth Nielson Developing Better Incentives for Improved Robustness in BitTorrent Dan Wallach
Date Speaker Title (click for abstract) Adviser
14 Jan 08 Cherif Salama Synthesizable High Level Hardware Descriptions Walid Taha
28 Jan 08 Gregory Malecha From Text to Graph and Back Walid Taha
4 Feb 08 Seth Fogarty Buechi Complementation and Size-Change Termination Moshe Vardi
11 Feb 08 David Peixotto Tuning a Priority-Based Register Allocator Using Adaptive Compilation Keith Cooper
18 Feb 08 Khaled Elmeleegy Enhancing Ethernet's Reliability Alan Cox
25 Feb 08 Khaled Elmeleegy System Support for High Performance Network Servers Alan Cox
10 Mar 08 John Garvin Compiling R's Imperative Call-By-Need John Mellor-Crummey
17 Mar 08 Jason Eckhardt Redundancy Elimination Revisited Keith Cooper
24 Mar 08 Ioan Sucan Kinodynamic motion planning for real robots Lydia Kavraki
31 Mar 08 Rajkishore Barik Bit-sensitivity and Efficiency of Register Allocation Vivek Sarkar
7 Apr 08 Yanjun Sun DW-MAC: A Low Latency, Energy Efficient Demand-Wakeup MAC Protocol for Wireless Sensor Networks Dave Johnson
14 Apr 08 Kaushik Ram Alan Cox
21 Apr 08 Kostas Bekris Interesting problems in robotics and a few attempts to deal with them Lydia Kavraki
Date Speaker Title (click for abstract) Adviser
27 Aug 07 Mathias Ricken A Framework for Testing Concurrent Programs (slides) Corky Cartwright
10 Sep 07 Eric Schoen What Oil Companies Want to Know: Inside Oilfield Data Interpretation Schlumberger
17 Sep 07 Ajay Gulati Efficient and Adaptive Proportional Share I/O Scheduling Peter Varman
24 Sep 07 Nathan Tallent Performance Analysis of Highly Optimized Modular Programs John Mellor-Crummey
1 Oct 07 Travis McPhail An Interactive Editor for Rapidly Prototyping 2D Games Joe Warren
8 Oct 07 Deian Tabakov Verifying SystemC Models Moshe Vardi
22 Oct 07 Guohui Wang Towards Network Triangle Inequality Violation Aware Distributed Systems Eugene Ng
29 Oct 07 Yousra Alkabani Remote Activation of ICs for Piracy Prevention and Digital Rights Management Farinaz Koushanfar
5 Nov 07 Cuong Than Accurate and efficient species tree reconstruction from genome-scale multi-locus data through a novel ILP formulation Luay Nakhleh
12 Nov 07 Konstantinos Tsianos Real-time motion planning under realistic kinodynamic constraints Lydia Kavraki
19 Nov 07 Dan Smith Completing the Java Type System Corky Cartwright
26 Nov 07 Bo Zhang The WaveScalar Architecture Eugene Ng
3 Dec 07 Scott Crosby An Analysis of BitTorrent's Two Kademlia-Based DHTs Dan Wallach
Date Speaker Title (click for abstract) Adviser
12 Jan 07 Apan Qasem Automatic Tuning of Scientific Applications Ken Kennedy
19 Jan 07 Gabriel Marin Application Insight Through Performance Modeling John Mellor-Crummey
26 Jan 07 Kostas Bekris Safe and Fast Online Replanning of Trajectories for Individual Vehicles and Vehicular Networks Lydia Kavraki
2 Feb 07 Mack Joyner Compiler Optimizations for Object-Oriented High-Performance Scientific Computing Ken Kennedy
9 Feb 07 Bill Scherer High-performance Synchronization for User-level Software Systems faculty speaker
16 Feb 07
23 Feb 07 Ajay Gulati pClock - An arrival Curve Based Approach For QoS Guarantees Peter Varman
16 Mar 07 Amarda Shehu Molecules in Motion: Computing Structural Flexibility Lydia Kavraki
23 Mar 07 Jeff Sandoval Tuning an Adaptive Compilation Search Space with Loop Unrolling Keith Cooper
30 Mar 07 Yi Guo Keith Cooper
13 Apr 07 Shu Du Using Routing Information to Improve MAC Performance in Multi-Hop Wireless Networks Dave Johnson
20 Apr 07 Ning Song Mu-bases and their applications in geometric modeling Ron Goldman
27 Apr 07 Raj Bandyopadhyay Compiling Dynamic Languages Walid Taha, Ken Kennedy
Date Speaker Title (click for abstract) Adviser
6 Oct 06 Brian Chen Lydia Kavraki
13 Oct 06 Bo Zhang Measurement-Based Analysis, Modeling and Synthesis of the Internet Delay Space Eugene Ng
20 Oct 06 Dan Sandler FeedTree, or: how RSS was won (and where it got us). Peter Druschel
27 Oct 06 Bryan Smith Evaluating Protection Systems for Critical Infrastructures
10 Nov 06 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 06 Amit Saha Throughput Improvement in Wireless Mesh Networks Dave Johnson