Workshop on

Experimental Computer Science

Technical Program

	Wednesday, 13 June 2007	Thursday, 14 June 2007
8:00 – 8:40	Breakfast	Breakfast
8:40 – 9:40	Welcome Keynote: David Johnson What is the Science in Experimental Computer Science?	Connections: The User In Experimental Computer Systems Research Peter A. Dinda, Gokhan Memik, Robert P. Dick, Bin Lin, Arindam Mallik, Ashish Gupta, and Samuel Rossoff Experimental Economics and Experimental Computer Science: A Survey Jens Grossklags
9:40 – 9:55	Break	Break
9:55 – 11:25	Measurement Challenge: Quantifying The Cost of Context Switch Chuanpeng Li, Chen Ding, and Kai Shen Context Switch Overheads for Linux on ARM Platforms Francis M. David, Jeffrey C. Carlyle, and Roy H. Campbell The Context-Switch Overhead Inflicted by Hardware Interrupts (and the Enigma of Do-Nothing Loops) Dan Tsafrir	Theory: High-Contrast Algorithm Behavior: Observation, Hypothesis, and Experimental Design Matthias F. Stallmann and Franc Brglez Performance Testing of Combinatorial Solvers With Isomorph Class Instances Franc Brglez and Jason A. Osborne EXACT: The EXperimental Algorithmics Computational Toolkit William E. Hart, Jonathan W. Berry, Robert Heaphy, and Cynthia A. Phillips
11:30 – 12:30	FCRC Planery (Avi Wigderson)	FCRC Planery (Guy Steele)
12:30 – 13:30	Lunch	Lunch
13:30 – 15:30	Measurements and Metrics: Analysis of Input-Dependent Program Behavior Using Active Profiling Xipeng Shen, Chengliang Zhang, Chen Ding, Michael L. Scott, Sandhya Dwarkadas, and Mitsunori Ogihara Quantifying the Performance Isolation Properties of Virtualization Systems Jeanna Neefe Matthews, Wenjin Hu, Madhujith Hapuarachchi, Todd Deshane, Demetrios Dimatos, Gary Hamilton, Michael McCabe, and James Owens An Analysis of XML Compression Efficiency Christopher J. Augeri, Barry E. Mullins, Leemon C. Baird III, Dursun A. Bulutoglu, and Rusty O. Baldwin Towards User-Centric Metrics for Denial-Of-Service Measurement Jelena Mirkovic, Alefiya Hussain, Brett Wilson, Sonia Fahmy, Peter Reiher, Roshan Thomas, Wei-Min Yao, and Stephen Schwab	Architecture: Pipeline Spectroscopy Thomas R. Puzak, A. Hartstein, P. G. Emma, V. Srinivasan, and Arthur Nadas Measuring Performance, Power, and Temperature from Real Processors Francisco J. Mesa-Martinez, Michael Brown, Joseph Nayfach-Battilan, and Jose Renau Introducing Entropies for Representing Program Behavior and Branch Predictor Performance Takashi Yokota, Kanemitsu Ootsu, and Takanobu Baba Empirical Performance Assessment Using Soft-Core Processors on Reconfigurable Hardware Richard Hough, Praveen Krishnamurthy, Roger D. Chamberlain, Ron K. Cytron, John Lockwood, and Jason Fritts
15:30 – 16:00	Break	Break
16:00 – 18:00	Education Roundtable: Daniel Menascé, Course on Quantitative Methods and Experimental Design in CS Fabián Bustamante, Interactive Labs for Experimental Systems in Education Catherine McGeoch, Experiences with Experimentation in Undergraduate Theory Courses Ethan Miller, Getting Experimental Approaches into OS Courses Moderator: Larry Rudolph	Infrastructure for experimentation: RA: ResearchAssistant for the Computational Sciences Daniel Ramage and Adam J. Oliner An Active Approach to Measuring Routing Dynamics Induced by Autonomous Systems Samantha Lo, Rocky K. C. Chang, and Lorenzo Colitti RiceNIC: A Reconfigurable Network Interface for Experimental Research and Education Jeffrey Shafer and Scott Rixner Rapid File System Development Using ptrace Richard P. Spillane, Charles P. Wright, Gopalan Sivathanu, and Erez Zadok