Research Seminars

NC State Systems Group : Spring 2004

Date & Time	Venue	Presenter	Topic details	Abstract/paper & Slides.
1/16/2004 11.30am	337, EGRC	Harini Ramaprasad	1.Mark Weiser. Program Slicing : IEEE Trans. Software Engineering 10.4 (1984) 2.Xiangyu Zhang, Rajiv Gupta, Youtao Zhang. Precise Dynamic Slicing Algorithms : IEEE/ACM International Conference on Software Engineering (ICSE), 2003	Program Slicing Precise Dynamic Slicing Algorithms Slides
1/21/2004 3.30pm	2431, Textiles	Oleg Sokolsky	Run-Time Verification of Software Systems	Abstract Slides
2/2/2004 3.30pm	136, EGRC	Christine Julien	A Software Engineering Perspective on Context-Awareness in Ad Hoc Mobile Networks	Abstract Slides
2/6/2004 11.30am	337 EGRC	Jaewoo Kang	An Un-interpreted Matching Approach to Data Integration	Abstract Slides
2/12/2004 3.30pm	136, EGRC	Richard Mayr	Semantic Equivalences and the Verification of Infinite-State Systems	Abstract Slides
2/13/2004 11.30am	337, EGRC	Feng Pan	An Analysis of Database Workload Performance on Simultaneous Multithreaded Processor	Paper Slides
2/16/2004 3.30pm	2431, Textiles	Martin Hirzel	Connectivity-Based Garbage Collection	Abstract Slides
2/20/2004 11.30am	337, EGRC	Ratna Singh	Juan del Cuvillo, Xinmin Tian, Guang R. Gao, Milind Girkar. Performance Study of a Whole Genome Comparison Tool on a Hyper-Threading Multiprocessor	Paper Slides
2/26/2004 10.00am	136, EGRC	Eric Wohlstadter	GlueQoS: Integrating Components & Features in Distributed Environments	Abstract Slides
3/3/2004 2.00pm	402A, Withers Hall	Alex Orso	Analysis and Testing of Deployed Software	Abstract Slides
3/15/2004 3.30pm	136, EGRC	Stavros Tripakis	From Simulink to Lustre to TTA A layered approach for distributed embedded applications	Slides
3/20/2004 11.30am	337, EGRC	Gautam Gopinadhan	Efficient Multimedia Streaming for Power Aware Devices: A survey	Abstract Slides
3/26/2004 3.30pm	2431, Textiles	Jianwei Niu	A Semantics-Based Approach for Mapping Specification Notations To Analysis Tools	Abstract Slides
4/2/2004 11.30am	337, EGRC	Nikola Vouk	Minimizing Communication Latency to Maximum Network Communication Throughput over Infiniband	Slides
4/23/04 11.30am	337, EGRC	Yifan Zhu	Feedback EDF scheduling exploiting Dynamic Voltage Scaling	Paper Slides
4/30/04 11.30am	1101, Partners 1	Jaydeep Marathe	Detailed Cache Coherence Characterization for OpenMP Benchmarks	Paper Slides