Schedule: Spring 2008: Mondays at noon in DH 1070
Grading: 1 credit hour, Satisfactory/Unsatisfactory — You are expected to have no more than 3 unexcused absenses.
| 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 | 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 Nakleh |
| 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 |