|
|
RSS Feed
Information for Potential Conference Exhibitors
|
|
Wednesday - Main Conference Schedule
Back to day index
Wednesday, 20 May 2009 |
|
8:30-10:30 — Plenary Session |
Conference opening: General Chair Steve McConnell Keynote
Grand Ballroom Salon A, B, & C |
11-12:30 — Parallel sessions |
Research: Collaborative Development Session Chair: Andre van der Hoek Grand Ballroom Salon A
Predicting Build Failures Using Social Network Analysis on Developer Communication T. Wolf, A. Schröter, D. Damian, T. Nguyen
How Tagging Helps Bridge the Gap between Social and Technical Aspects in Software Development C. Treude, M. Storey
Tesseract: Interactive Visual Exploration of Socio-Technical Relationships in Software Development A. Sarma, L. Maccherone, P. Wagstrom, J. Herbsleb |
Research: Debugging Session Chair: Barbara Ryder Grand Ballroom Salon F
HOLMES: Effective Statistical Debugging via Efficient Path Profiling T. Chilimbi, B. Liblit, K. Mehra, A. Nori, K. Vaswani
Taming Coincidental Correctness: Coverage Refinement with Context Patterns to Improve Fault Localization X. Wang, S.C. Cheung, W.K. Chan, Z. Zhang
Lightweight Fault-Localization Using Multiple Coverage Types R. Santelices, J.A. Jones, Y. Yu, M.J. Harrold |
Research: Software Quality and Metrics Session Chair: Massimiliano Di Penta MacKenzie
Succession: Measuring Transfer of Code and Developer Productivity A. Mockus
Predicting Faults Using the Complexity of Code Changes A.E. Hassan
A Case-study on Using an Automated In-Process Software Engineering Measurement and Analysis System in an Industrial Environment I.D. Coman, A. Sillitti, G. Succi |
New Ideas and Emerging Results (Special Presentation Style) Grand Ballroom Salon C
Codebook: Social Networking Over Code A. Begel, R. DeLine
Creating and Evolving Software by Searching, Selecting and Synthesizing Relevant Source Code D. Poshyvanyk, M. Grechanik
Detecting Inefficient API Usage D. Kawrykow, M. Robillard
Mining Recurrent Activities: Fourier Analysis of Change Events A. Hindle, M.W. Godfrey, R.C. Holt
Towards a Framework for Law-Compliant Software Requirements A. Siena, J. Mylopoulos, A. Perini, A. Susi
How Do System Architectures Affect Software Requirements? J. Miller, R. Ferrari, N.H. Madhavji
The Marketplace of User Interface Real Estate L. Troiano, G. Canfora
SecondWATCH: a Workspace Awareness Tool based on a 3-D Virtual World E. Ye, L.A. Neiman, H.Q. Dinh, C. Liu
The Inference Validity Problem in Legal Discovery R.E.K. Stirewalt, L.K. Dillon, E.T. Kraemer
Improving Bug Tracking Systems T. Zimmermann, R. Premraj, J. Sillito, S. Breu |
SEIP: Complex systems Grand Ballroom Salon B
Model Checking Flight Control Systems: The Airbus Experience T. Bochot, P. Virelizier, H. Waeselynck, V. Wiels
Extracting, Specifying and Predicting Software System Properties in Component Based Real-Time Embedded Software Development J.E. Kim, O. Rogalla, S. Kramer, A. Haman
Experience with Modularity in an Advanced Teleconferencing Service Deployment E. Cheung, T.M. Smith |
Formal Research Demonstrations: Software Development Assistance Session Chair: Jonathan Maletic Seymour
UEMan: A Tool to Manage User Evaluation in Development Environments S.R. Humayoun, Y. Dubinsky, T. Catarci
TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization X. Wang, L. Zhang, T. Xie, H. Mei, J. Sun
SmartTutor: Creating IDE-Based Interactive Tutorials via Editable Replay Y. Zhang, G. Huang, N. Zhang, H. Mei |
2-3:30 — Parallel sessions |
Research: Dynamic Adaptation Session Chair: Sebastian Uchitel Grand Ballroom Salon A
Using Quantitative Analysis to Implement Autonomic IT Systems R. Calinescu, M. Kwiatkowska
Model Evolution by Runtime Adaptation I. Epifani, C. Ghezzi, R. Mirandola, G. Tamburrelli
Taming Dynamically Adaptive Systems Using Models and Aspects B. Morin, O. Barais, G. Nain, J.M. Jézéquel |
Research: Program Analysis I Session Chair: Shing-Chi Cheung Seymour
Accurate Interprocedural Null-Dereference Analysis for Java M.G. Nanda, S. Sinha
The Road Not Taken: Estimating Path Execution Frequency Statically R. Buse, W.R. Weimer
Automatic Dimension Inference and Checking for Object-Oriented Programs S. Hangal, M. Lam |
Research: Components Session Chair: Klaus Pohl Grand Ballroom Salon F
In-Field Healing of Integration Problems with COTS Components H. Chang, L. Mariani, M. Pezzè
Modular String-Sensitive Permission Analysis with Demand-Driven Precision E. Geay, M. Pistoia, T. Tateishi, B. Ryder, J. Dolby
License Integration Patterns: Addressing Licenses Mismatches in Component-Based Development D.M. German, A.E. Hassan |
SEIP: Refactoring and Tools Grand Ballroom Salon B
Refactoring Big Balls of Mud P. Adamczyk, A. Zambrano, F. Balaguer
Experience Report: Using Tools and Domain Expertise to Remediate Architectural Violations in the LogicBlox Software Base R.E.K. Stirewalt, S. Rugaber, H.Y. Hsu, D. Zook
Functional Abstractions for testing Repository-Style Information Systems P. Salvaneschi |
Technical Briefing (TB1) Grand Ballroom Salon C
Software Governance |
SCORE presentations by student-team finalists Session Chair: Dino Mandrioli and Mehdi Jazayeri MacKenzie |
4-5:30 — Parallel sessions |
Research: Web Applications Session Chair: Wolfgang Emmerich Grand Ballroom Salon A
Automatic Creation of SQL Injection and Cross-Site Scripting Attacks A. Kiezun, P.J. Guo, K. Jayaraman, M.D. Ernst
Invariant-Based Automatic Testing of AJAX User Interfaces A. Mesbah, A. van Deursen Winner of ACM SIGSOFT Distinguished Papers Award |
Research: Development Tools Session Chair: Holger Giese Grand Ballroom Salon F
FeatureHouse: Language-Independent, Automated Software Composition S. Apel, C. Kaestner, C. Lengauer
Automatically Capturing Source Code Context of NL-Queries for Software Maintenance and Reuse E. Hill, L. Pollock, K. Vijay-Shanker
Semantics-Based Code Search S.P. Reiss |
New Ideas and Emerging Results (Special Presentation Style) Grand Ballroom Salon C
Integrating Sustainability in Decision-Making Processes: A Modelling Strategy J. Cabot, S. Easterbrook, J. Horkoff, J. Mazón, L. Lessard, S. Liaskos
High-level Multicore Programming with XJava F. Otto, V. Pankratius, W.F. Tichy
Automated Substring Hole Analysis Y. Adler, E. Farchi, M. Klausner, D. Pelleg, O. Raz, M. Shochat, S. Ur, A. Zlotnick
Improving the Reliability of Mobile Software Systems through Continuous Analysis and Proactive Reconfiguration S. Malek, R. Roshandel, D. Kilgore, I. Elhag
Multi-Dimensional Service Compositions L. Baresi, E.D. Nitto, S. Guinea, S. Dustdar
Towards Safer Composition A. Classen, P. Heymans, T.T. Thun, B. Nuseibeh
Genetics as a Role Model for Software Variability Management D. Dhungana, I. Groher
Promoting Evolution by Abstracting Over Implementation Structure D. Lievens, T. Walsh, D. Dahlem, W. Harrison
Test Selection for Result Inspection via Mining Predicate Rules W. Zheng, M. Lyu, T. Xie
From System Specifications to Component Behavioral Models I. Krka, G. Edwards, Y. Brun, N. Medvidovic
Design Tests: An Approach to Programmatically Check your Code Against Design Rules J. Brunet, D. Guerrero, J. Figueiredo |
SCORE presentations by student-team finalists Session Chair: Dino Mandrioli and Mehdi Jazayeri MacKenzie |
SEIP: Agile and Process Grand Ballroom Salon B
Improving Quality, One Process Change At a Time C. Pinheiro, F. Maurer, J. Sillito
Using a Validation Model to Measure the Agility of Software Development in a Large Software Development Organization M. Ikoma, M. Ooshima, T. Tanida, M. Oba, S. Sakai
WEAVE: WEb Applications Validation Environment S. Rajan, O. Tkachuk, M. Prasad, I. Ghosh, N. Goel, T. Uehara |
Formal Research Demonstrations: Testing and Fault Localization Session Chair: Andreas Zeller Seymour
A Toolset for Automated Failure Analysis L. Mariani, F. Pastore, M. Pezzè
JUnitMX: A Change-aware Unit Testing Tool J. Wloka, B. Ryder, F. Tip
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract M. Barnett, M. Fahndrich, P. de Halleux, F. Logozzo, N. Tillmann |
Evening Events |
SIGSOFT Town Hall meeting Marine |
Reception and posters Currents |
Thursday - Main Conference Schedule
Back to day index
Thursday, 21 May 2009 |
|
8:45-10:30 — Plenary Session |
Conference update: General Chair Carlo Ghezzi Keynote Grand Ballroom Salon A, B, & C |
11-12:30 — Parallel sessions |
Research: Modeling Session Chair: Betty H.C. Cheng Grand Ballroom Salon A
Reasoning About Edits to Feature Models T. Thüm, D. Batory, C. Kästner
Learning Operational Requirements from Goal Models D. Alrajeh, J. Kramer, A. Russo, S. Uchitel
Complete and Accurate Clone Detection in Graph-based Models N.H. Pham, H.A. Nguyen, J.M. Al-Kofahi, T.T. Nguyen, T.N. Nguyen |
Research: Maintenance Session Chair: Martin Robillard Grand Ballroom Salon B
How We Refactor, and How We Know It E. Murphy-Hill, C. Parnin, A. Black Winner of ACM SIGSOFT Distinguished Papers Award
The Secret Life of Bugs: Going Past the Errors and Omissions in Software Repositories J. Aranda, G. Venolia
Discovering and Representing Systematic Code Changes M. Kim, D. Notkin |
SEIP: Testing (Telecom) MacKenzie
Automatic GUI Test Generation for Smartphone Applications -- an Evaluation A. Jääskeläinen, M. Katara, A. Kervinen, M. Maunumaa, T. Pääkkönen, T. Takala, H. Virtanen
Case Study: How Analysis of Customer Found Defects Can Be Used by System Test to Improve Quality E. Moritz
Extended eTVRA vs. Security Checklist: Experiences in a Value-Web A. Morali, E. Zambon, S.H. Houmb, K. Sallhammar, S. Etalle |
Formal Research Demonstrations: Program Comprehension Session Chair: Christoph Csallner Seymour
CocoViz with Ambient Audio Software Exploration S. Boccuzzo, H.C. Gall
ConcernLines: A Timeline View of Co-Occurring Concerns C. Treude, M.A. Storey
Alitheia Core: An extensible software quality monitoring platform G. Gousios, D. Spinellis |
SEIP: Testing (Medical) Grand Ballroom Salon F
An Open Test Bed for Medical Device Integration and Coordination A. King, S. Procter, D. Andresen, J. Hatcliff, S. Warren, W. Spees, R. Jetley, P. Jones, S. Weininger
Improving Software Risk Management in a Medical Device Company F. Mc Caffery, J. Burton, I. Richardson
Automated Testing of Healthcare Document Transformations in the PICASSO Interoperability Platform M. Pascale, M. Roselli, U. Rugani, C. Bartolini, A. Bertolino, F. Lonetti, E. Marchetti, A. Polini |
Technical Briefing (TB2) Session Chair: Gerald Kaefer Grand Ballroom Salon C
Green SE: Ideas for Including Energy Efficiency into your Software Projects |
2-3:30 — Parallel sessions |
SEIP: Predicting Defects and SEIP-Keynote on Video Game Industry Grand Ballroom Salon B
Predicting Defects in SAP Java Code: An Experience Report T. Holschuh, M. Päuser, K. Herzig, T. Zimmermann, R. Premraj, A. Zeller
Reflecting on Development Processes in the Video Game Industry A. Brownsword |
Research: Program Comprehension Session Chair: Margaret-Anne Storey MacKenzie
Improving API Documentation Usability with Knowledge Pushing U. Dekel, J.D. Herbsleb
Listening to Programmers - Taxonomies and Characteristics of Comments in Operating System Code Y. Padioleau, L. Tan, Y.Y. Zhou |
Research: Code Generation and Transformation Session Chair: Frank Tip Grand Ballroom Salon A
Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions D. Rayside, Z. Benjamin, R. Singh, J.P. Near, A.l. Milicevic, D. Jackson
Locating Need-to-Translate Constant Strings for Software Internationalization X. Wang, L. Zhang, T. Xie, H. Mei, J. Sun
Automatically Finding Patches Using Genetic Programming W. Weimer, T.V. Nguyen, C. Le Goues, S. Forrest Winner of IFIP TC2 Manfred Paul Award and ACM SIGSOFT Distinguished Papers Award |
TSE/TOSEM Grand Ballroom Salon F
Carving and Replaying Differential Unit Test Cases from System Test Cases S. Elbaum
Do Crosscutting Concerns Cause Defects? M. Eaddy
Tools and Experiments Supporting a Testing-based Theory of Component Composition D. Hamlet |
Special Green Session Session Chair: Steve Easterbrook Grand Ballroom Salon C
Software Engineering for the Planet |
Formal Research Demonstrations: Web services Session Chair: Sarfraz Khurshid Seymour
ContextServ: A Platform for Rapid and Flexible Development of Context-Aware Web Services Q.Z. Sheng, S. Pohlenz, J. Yu, H.S. Wong, A.H.H. Ngu, Z. Maamar
REMAN: a Pro-active Reputation Management Infrastructure for Composite Web Services D. Bianculli, W. Binder, M.L. Drago, C. Ghezzi
ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services J. Cámara, J.A. Martín, G. Salaün, J. Cubo, M. Ouederni, C. Canal, E. Pimentel |
4-5:30 — Plenary Session |
Awards and MIP paper presentation Grand Ballroom Salon A, B, & C
Most Influential Paper: N Degrees of Separation: Multi-Dimensional Separation of Concerns P. Tarr, H. Ossher, W. Harrison, S.M. Sutton Jr
IFIP TC2 Manfred Paul Award: Automatically Finding Patches Using Genetic Programming Weimer, Nguyen, Le Goues, Forrest
ACM SIGSOFT Distinguished Service Award
ACM SIGSOFT Outstanding Research Award
ACM SIGSOFT Influential Educator Award
ACM SIGSOFT Distinguished Paper awards |
Evening Events |
Banquet: Vancouver Aquarium in Stanley Park |
Friday - Main Conference Schedule
Back to day index
Friday, 22 May 2009 |
|
8:45-10:30 — Plenary Session |
Conference update: General Chair Pamela Zave Keynote Grand Ballroom Salon A, B, & C |
11-12:30 — Parallel sessions |
Research: Concurrency Session Chair: Sebastian Elbaum Grand Ballroom Salon B
FlexSync: An aspect-oriented approach to Java synchronization C. Zhang
Effective Static Deadlock Detection M. Naik, C.S. Park, K. Sen, D. Gay Winner of ACM SIGSOFT Distinguished Papers Award
Refactoring Sequential Java Code for Concurrency D. Dig, J. Marrero, M. Ernst |
Research: Testing I Session Chair: Lionel Briand Grand Ballroom Salon A
Maintaining and Evolving GUI-Directed Test Scripts M. Grechanik, Q. Xie, C. Fu
MINTS: A General Framework and Tool for Supporting Test-Suite Minimization H.Y. Hsu, A. Orso |
SCORE wrap-up session Session Chair: Dino Mandrioli and Mehdi Jazayeri Grand Ballroom Salon F |
Formal Research Demonstrations: From Requirements to Architecture Session Chair: Bernd Fischer Grand Ballroom Salon C
Feedback-Driven Requirements Engineering: The Heuristic Requirements Assistant E. Knauss, D. Lübke, S. Meyer
Ævol: A tool for Defining and Planning Architecture Evolution D. Garlan, B. Schmerl
Tesseract: Interactive Environment for Exploration of Project Relationships L. Maccherone, A. Sarma, P. Wagstrom, J. Herbsleb |
2-3:30 — Parallel sessions |
Technical Briefing (TB3) Grand Ballroom Salon C
Multicore Software Engineering |
Research: Testing II Session Chair: Antonia Bertolino Grand Ballroom Salon A
WISE: Automated Test Generation for Worst-Case Complexity J. Burnim, S. Juvekar, K. Sen
Taint-Based Directed Whitebox Fuzzing V. Ganesh, T. Leek, M. Rinard |
Research: Model Synthesis Session Chair: Mauro Pezze Grand Ballroom Salon B
Synthesizing Intensional Behavior Models by Graph Transformation C. Ghezzi, A. Mocci, M. Monga
Analyzing Critical Process Models through Behavior Model Synthesis C. Damas, B. Lambeau, F. Roucoux, A. van Lamsweerde
Validation of Contracts using Enabledness Preserving Finite State Abstractions G. de Caso, V. Braberman, D. Garbervetsky, S. Uchitel |
Formal Research Demonstrations: Differences and Similarities Session Chair: Andrew Begel Grand Ballroom Salon F
Ldiff: An Enhanced Line Differencing Tool G. Canfora, L. Cerulo, M. Di Penta
SemDiff: Analysis and Recommendation Support for API Evolution B. Dagenais, M.P. Robillard
CloneDetective - A Workbench for Clone Detection Research E. Juergens, F. Deissenboeck, B. Hummel |
4-5:30 — Parallel sessions |
Formal Research Demonstrations: Concurrency and Debugging Session Chair: Charles Zhang Grand Ballroom Salon C
Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java Applications via Libraries D. Dig, J. Marrero, M. Ernst
Deconstructing Concurrency Heisenbugs T. Ball, S.B. hardt, M. Musuvathi, S. Qadeer
VIDA: Visual Interactive Debugging D. Hao, L. Zhang, L. Zhang, J. Sun, H. Mei |
Research: Program Analysis II Session Chair: Jian Zhang Grand Ballroom Salon B
Do Code Clones Matter? E. Juergens, F. Deissenboeck, B. Hummel, S. Wagner
Mining Exception-Handling Rules as Sequence Association Rules S. Thummalapenta, T. Xie
Safe-Commit Analysis to Facilitate Team Software Development J. Wloka, B. Ryder, F. Tip, X. Ren |
Research: Development Paradigms and Software Process Session Chair: Steve Easterbrook Grand Ballroom Salon A
Does Distributed Development Affect Software Quality? An Empirical Case Study of Windows Vista C. Bird, N. Nagappan, P. Devanbu, H. Gall, B. Murphy Winner of ACM SIGSOFT Distinguished Papers Award
The Impact of Process Choice in High Maturity Environments: An Empirical Analysis N. Ramasubbu, R. Balan
How to Avoid Drastic Software Process Change (using Stochastic Stability) T. Menzies, S. Williams, O. El-rawas, B. Boehm, J. Hihn |
Formal Research Demonstrations: Components and Features Session Chair: Alex Egyed Grand Ballroom Salon F
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems S. Sentilles, A. Pettersson, D. Nyström, T. Nolte, P. Pettersson, I. Crnkovic
FeatureIDE: Tool Framework for Feature-Oriented Software Development C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, S. Apel
Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite S. Henkler, J. Greenyer, M. Hirsch, W. Schäfer, K. Alhawash, T. Eckardt, C. Heinzemann, R. Löffler, A. Seibel, H. Giese |
Evening Events |
ICSE closing Ballroom A, B, & C |
|
|
|
| |