International Symposium on the Foundations of Software Engineering (FSE)

Program at a glance

Conference Social Event

Reception

Tuesday (9 November 2010)

9:00 am - 10:30 am
Anasazi South
Plenary Session (Chair: Catalin Roman)

• Welcome remarks and program overview
• Keynote
  Supercomputing in biology: Towards understanding living systems in atomic detail
  Karissa Y. Sanbonmatsu (Los Alamos National Laboratory)

11:00 am - 12:30 pm
Anasazi South
Distributed Systems (Chair: Wilhelm Schaefer)

• FUSION: A Framework for Engineering Self-Tuning Self-Adaptive Software Systems
  Ahmed Elkhodary, Naeem Esfahani, Sam Malek
• Finding Latent Performance Bugs in Systems Implementations
  Charles E. Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala
• Realizability Analysis for Message-based Interactions Using Shared-State Projections
  Sylvain Hallé, Tevfik Bultan

11:00 am - 12:30 pm
Anasazi North
Formal Demonstrations I (Chair: Sung Kim)

• BERT: A Tool for Behavioral Regression Testing
  Wei Jin, Alessandro Orso, Tao Xie
• Basset: A Tool for Systematic Testing of Actor Programs
  Steven Lauterburg, Rajesh Karmani, Darko Marinov, Gul Agha
• Analyzing Hierarchical Complex Real-time Systems
  Yang Liu, Jun Sun, Jin Song Dong

2:00 pm - 3:30 pm
Anasazi South
Concurrency (Chair: Lori Clarke)

• PENELOPE: Weaving Threads to Expose Atomicity Violations
  Francesco Sorrentino, Azadeh Farzan, Madhusudan Parthasarathy
• Staged Concurrent Program Analysis
  Nishant Sinha, Chao Wang
• A Trace Simplification Technique for Effective Debugging of Concurrent Programs
  Nicholas Jalbert, Koushik Sen

2:00 pm - 3:30 pm
Anasazi North
Industrial Perspectives (Chair: Mark Grechanik)

• Panel discussion
  Martin Bravenboer (LogicBlox), Vinay Kulkarni (Tata Consultancy Services), Kishore Swaminathan (Accenture), Rick Wilber (Boeing)

4:00 pm - 5:30 pm
Anasazi South
Miscellaneous (Chair: Sebastian Elbaum)

• Combining Hardware and Software Instrumentation to Classify Program Executions
  Cemal Yilmaz, Adam Porter
• Synthesis of Live Behaviour Models
  Nicolás D'Ippolito, Victor Braberman, Nir Piterman, Sebastián Uchitel
• Locating Need-to-Translate Constant Strings in Web Applications
  Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun

Wednesday (10 November 2010)

9:00 am - 10:30 am
Anasazi South
Plenary Session (Chair: André van der Hoek)

• ACM SIGSOFT Awards
• Keynote
  Big Data, Global Development, and Complex Social Systems
  Nathan Eagle (Santa Fe Institute and MIT)

11:00 am - 11:30 pm
Anasazi South
SIGSOFT Impact Paper (Chair: Martin Robillard)

• Beyond Software Model Checking
  Matthew Dwyer, John Hatcliff, Corina Pasareanu

11:30 am - 12:30 pm
Anasazi South
Empirical Studies of Systems (Chair: Martin Robillard)

• The Missing Links: Bugs and Bug-fix Commits
  Adrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar Devanbu, Abraham Bernstein
• Evolution of a Bluetooth Test Application Product Line: A Case Study
  Narayan Ramasubbu, Rajesh Krishna Balan

2:00 pm - 3:30 pm
Anasazi South
Empirical Studies of People (Chair: Anita Sarma)

• Organizational Volatility and its Effects on Software Defects
  Audris Mockus
• Creating and Evolving Developer Documentation: Understanding the Decisions of Open Source Contributors
  Barthélémy Dagenais, Martin P. Robillard
• Developer Fluency: Achieving True Mastery in Software Projects
  Minghui Zhou, Audris Mockus

2:00 pm - 3:30 pm
Anasazi North
Code Similarities (Chair: Tien Nguyen)

• A Study of the Uniqueness of Source Code
  Mark Gabel, Zhendong Su
• Leveraging Usage Similarity for Effective Retrieval of Examples in Code Repositories
  Sushil K. Bajracharya, Joel Ossher, Cristina V. Lopes
• Instant Code Clone Search
  Mu-Woong Lee, Jong-Won Roh, Seung-won Hwang, Sunghun Kim

4:00 pm - 5:30 pm
Anasazi South
Verification (Chair: Alessandro Orso)

• Golden Implementation Driven Software Debugging
  Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang
• Scalable SMT-Based Verification of GPU Kernel Functions
  Guodong Li, Ganesh Gopalakrishnan

4:00 pm - 5:30 pm
Anasazi North
Replay (Chair: Zhendong Su)

• Language-Based Replay via Data Flow Cut
  Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
• LEAP: Lightweight Deterministic Multi-processor Replay of Concurrent Java Programs
  Jeff Huang, Peng Liu, Charles Zhang
• Memory Indexing: Canonicalizing Addresses Across Executions
  William N. Sumner, Xiangyu Zhang

9:00 am - 12:30 pm
DeVargas
Informal Demos I

• Phantm: PHP Analyzer for Type Mismatch
  Etienne Kneuss, Philippe Suter, Viktor Kuncak
• Building And Using Pluggable Type Systems
  Michael D. Ernst, Mahmood Ali
• RT-Simex: Retro-Analysis Of Execution Traces
  Frédéric Mallet, Julien DeAntoni, Frédéric Thomas, Etienne Juliot
• Hi-C: Diagnosing and Fixing Object Churn in Framework-Based Applications
  Marc Fisher II, Luke Marrs, Barbara Ryder

2:00 pm - 5:30 pm
DeVargas
Informal Demos II

• WhoseIsThat: Finding Software Engineers with Codebook
  Andrew Begel, Khoo Yit Phang, Thomas Zimmermann
• iMuse - Interactive Model-based Use-case and Storytelling Environment
  Kristina Winbladh, Hadar Ziv, Debra J. Richardson
• LEAP: The Light Weight Deterministic Multiprocessor Replay of Concurrent Java Programs
  Jeff Huang, Peng Liu, Charles Zhang

Thursday (11 November 2010)

9:00 am - 10:30 am
Anasazi South
Plenary Session (Chair: Kevin Sullivan)

• Future FSE and ESEC meetings
• ACM SIGSOFT Outstanding Research Award
  Avoiding the Classic Catastrophic Computer Science Failure Mode
  Ralph Johnson (University of Illinois at Urbana-Champaign)

11:00 am - 12:30 pm
Anasazi South
Web Services (Chair: Christine Julien)

• Change-Point Detection for Black-Box Services
  Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli
• Guided Recovery for Web Service Applications
  Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
• Automatic Workarounds for Web Applications
  Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè

11:00 am - 12:30 pm
Anasazi North
Testing (Chair: James Jones)

• Directed Test Suite Augmentation: Techniques and Tradeoffs
  Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra Cohen
• An Enhanced Test Case Selection Approach for Model-Based Testing: An Industrial Case Study
  Hadi Hemmati, Lionel Briand, Andrea Arcuri, Shaukat Ali
• Representation Dependence Testing using Program Inversion
  Aditya Kanade, Rajeev Alur, Sriram Rajamani, Ganesan Ramalingam

2:00 pm - 3:30 pm
Anasazi South
Dependencies (Chair: Arie van Deursen)

• Field-Sensitive Program Dependence Analysis
  Shay Litvak, Nurit Dor, Rastislav Bodik, Noam Rinetzky, Mooly Sagiv
• DSketch: Lightweight, Adaptable Dependency Analysis
  Brad Cossette, Robert J. Walker
• Path-Based Fault Correlations
  Wei Le, Mary Lou Soffa

2:00 pm - 3:30 pm
Anasazi North
Formal Demonstrations II (Chair: Tom Zimmermann)

• Using Dynamic Analysis to Create Trace-Focused User Interfaces for IDEs
  Del Myers, Margaret-Anne Storey
• Linkagéur: Enabling Efficient Manual Inspection and Annotation of Mined Data
  Christian Bird
• Ref-Finder: A Refactoring Reconstruction Tool Based on Logic Query Templates
  Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit

4:00 pm - 5:00 pm
Anasazi South
Analysis (Chair: Michal Young)

• Practical and Effective Symbolic Analysis for Buffer Overflow Detection
  Lian Li, Cristina Cifuentes, Nathan Keynes
• An Effective Dynamic Analysis for Detecting Generalized Deadlocks
  Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay

5:00 pm - 5:30 pm
Anasazi South
Closing Remarks (Chair: Catalin Roman)