Printable (PDF) program

• US letter format: [Schedule at a glance] or [Comprehensive]
• A4 format: ` [Comprehensive]

The main technical program of FSE 14 spans Tuesday through Thursday, 7-9 November, and is preceded and followed by co-located workshops and other SIGSOFT 2006 events. The printable programs are more comprehensive than the main FSE-14 technical program described here.

Keynote Addresses

Tuesday, November 7:
Guido van Rossum
Google Inc. and Benevolent Dictator for Life of the Python Community

Wednesday, November 8:
David Harel
William Sussman Professorial Chair, The Weizmann Institute of Science
2006 SIGSOFT Outstanding Research Award Winner

Thursday, November 9:
Jim Spohrer
Director of Services Research and Innovation Champion, IBM Research

FSE 14 Technical Papers

1. Empirical Methods and Program Understanding (10-11:30 Tuesday)

• Using Task Context to Improve Programmer Productivity. Mik Kersten and Gail Murphy, U. British Columbia.
• Work Experience versus Refactoring to Design Patterns: A Controlled Experiment. T.H. Ng, City U. Hong Kong, S.C. Cheung, Hong Kong U. Science and Technology, W.K. Chan, City U. Hong Kong, and Y.T. Yu, City U. Hong Kong.
• Questions Programmers Ask During Software Evolution Tasks. Jonathan Sillito, Gail Murphy, and Kris De Volder, U. British Columbia.

2. Mining Failures and Bugs (2-3:30pm Tuesday)

• Memories of Bug Fixes. Sunghun Kim, Kai Pan, and E. James Whitehead, Jr., U. California, Santa Cruz.
• Failure Proximity: A Fault Localization-Based Approach. Chao Liu and Jiawei Han, U. Illinois at Urbana-Champaign.
• Finding Failure-Inducing Changes in Java Programs using Change Classification. Maximilian Stoerzer, U. Passau, Barbara Ryder, Xiaoxia Ren, Rutgers U., and Frank Tip, IBM T.J. Watson Research Center.

3. Program Analysis (4-5:30pm Tuesday)

• How is Aliasing Used in Systems Software? Brian Hackett and Alex Aiken, Stanford U.
• Dynamic Slicing Long Running Programs through Execution Fast Forwarding. Xiangyu Zhang, Sriraman Tallam, and Rajiv Gupta, U. Arizona.
• Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques. Matthew Dwyer, Suzette Person, and Sebastian Elbaum, U. Nebraska — Lincoln.

4. Formal Approaches to Programming (10-11:30 Wednesday)

• Interpolation for Data Structures. Deepak Kapur, U. New Mexico, Rupak Majumdar, UC Los Angeles, and Calogero Zarba, Universitat der Saarlandes.
• SYNERGY: A New Algorithm for Property Checking. Bhargav Gulavani, IIT Bombay, Thomas Henzinger, E P F L, Yamini Kannan, Aditya Nori, and Sriram Rajamani, Microsoft Research India.
• Bit Level Types for High Level Reasoning. Ranjit Jhala, UC San Diego, and Rupak Majumdar, UC Los Angeles.

5. Empirical Studies (2-3:30 Wednesday)

• An Empirical Study of Regression Testing Techniques Incorporating Context and Lifecycle Factors and Improved Cost-Benefits Models. Hyunsook Do and Gregg Rothermel, U. Nebraska — Lincoln.
• Exceptions and Aspects: The Devil is in the Details. Fernando Castor Filho, State U. Campinas, Nelio Cacho, Lancaster U., Eduardo Figueiredo, Pontifical Catholic U. Rio de Janeiro, Raquel Maranhão, State U. Campinas, Alessandro Garcia, Lancaster U. , and Cecília Mary F. Rubira, State U. Campinas.
• Detecting Increases in Feature Coupling using Regression Tests. Olivier Giroux, NVIDIA Corporation, and Martin P. Robillard, McGill U.

6. Safety and Security (4-5:00 Wednesday)

• Using Positive Tainting and Syntax-Aware Evaluation to Counter SQL Injection Attacks. William G.J. Halfond, Alessandro Orso, and Panagiotis Manolios, Georgia Institute of Technology.
• Local Analysis of Atomicity Sphere for B2B Collaboration. Chunyang Ye, S.C. Cheung, Hong Kong U. Science and Technology, W.K. Chan, City U. Hong Kong, Chang Xu, Hong Kong U. Science and Technology.

7. Requirements Modeling (10-11:30 Thursday)

• Scenarios, Goals, and State Machines: A Win-Win Partnership for Model Synthesis. Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde, U. Catholique de Louvain
• User Guidance for Creating Precise and Accessible Property Specifications. Rachel L. Cobleigh, George S. Avrunin, and Lori A. Clarke, U. Massachusetts Amherst.
• From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. David Harel and Shahar Maoz, The Weizmann Institute of Science.

8. Testing ( 2-3:30 Thursday)

• Simulation-Based Test Adequacy Criteria for Distributed Systems. Matthew Rutherford, U. Colorado Boulder, Antonio Carzaniga and Alexander Wolf, U. Lugano.
• Testing Context-Aware Middleware-Centric Programs: A Data Flow Approach and an RFID-Based Experimentation. Heng Lu, U. Hong Kong, W.K. Chan, City University of Hong Kong, and T.H. Tse, U. Hong Kong.
• Carving Differential Unit Test Cases from System Test Cases. Sebastian Elbaum, Hui Nee Chin, Matthew Dwyer, and Jonathan Dokulil, U. Nebraska – Lincoln.

9. Specification Mining (4-5:00 Thursday)

• SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner. David Lo and Siau-Cheng Khoo, National U. Singapore.
• Lightweight Extraction of Syntactic Specifications. Mana Taghdiri, Robert Seater, and Daniel Jackson, Massachusetts Institute of Technology.