| | West Exhibit Hall | 103 | 107 | 202 | 203 | 204 | 205 | 206 | 207 | 209 | 210 | 212 |
|---|
| 8:30 | Mark Lehner
(Invited Speaker)
Room: West Exhibit Hall
8:30 - 10:00 | | | | | | | | | | | |
|---|
| | | | | | | | | | |
| 9:00 | | | | | | | | | | | |
|---|
| | | | | | | | | | |
| 9:30 | | | | | | | | | | | |
|---|
| | | | | | | | | | |
| 10:00 | | | | | | | | | | | | |
|---|
| | Interactive Exploration of Compacted Visualizations for Understanding Behavior in Complex Software
(Demonstration)
Elizabeth Murnane, Vineet Sinha
Room: 107
10:15 - 11:00 | Axiom-Based Testing for C++
(Demonstration)
Anya Helene Bagge, Valentin David, Magne Haveraaen
Room: 202
10:15 - 11:00 | Runtime Architectures: Static Extraction
(Demonstration)
Marwan Abi-Antoun, Jonathan Aldrich
Room: 203
10:15 - 11:00 | | | | | | | Aspect Weaving for OSGi
(Demonstration)
Martin Lippert
Room: 212
10:15 - 11:00 |
| 10:30 | | | Caching and Incrementalisation in the Java Query Language
(Research Paper)
Darren Willis, David J. Pearce, James Noble
Room: 204
10:30 - 11:00 | Designed as Designer
(Essay)
Richard P. Gabriel
Room: 205
10:30 - 12:00 | Escaped from the Lab: Innovation Practices in Large Organizations
(Panel)
Steven Fraser [Moderator], Ethan Hadar, Dennis Mancl, Bill Opdyke, David A. Owens, Dirk Riehle, Linda Rising
Room: 206
10:30 - 12:00 | | | |
|---|
| | | | |
| 11:00 | | | | | | Interprocedural Query Extraction for Transparent Persistence
(Research Paper)
Ben Wiedermann, Ali Ibrahim, William R. Cook
Room: 204
11:00 - 11:30 | | | | |
|---|
| | Understanding Code Architectures via Interactive Exploration and Layout of Layered Diagrams
(Demonstration)
Vineet Sinha, Elizabeth Murnane, Scott Kurth, Edy Liongosari, Rob Miller, David Karger
Room: 107
11:15 - 12:00 | TestabilityExplorer: catalyst for change
(Demonstration)
Misko Hevery
Room: 202
11:15 - 12:00 | Architectural Conformance Checking
(Demonstration)
Marwan Abi-Antoun, Jonathan Aldrich
Room: 203
11:15 - 12:00 | | | | The Maxine VM and Inspector
(Demonstration)
Bernd Mathiske
Room: 212
11:15 - 12:00 |
| 11:30 | | | Deep Typechecking and Refactoring
(Research Paper)
Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
Room: 204
11:30 - 12:00 | | | |
|---|
| | | | |
12:00 -
13:30 | |
|---|
| 13:30 | Sonali Shah
(Invited Speaker)
Room: West Exhibit Hall
13:30 - 15:00 | Domain-Specific Modeling
(Tutorial)
Juha-Pekka Tolvanen, Steven Kelly
Room: 103
13:30 - 17:00 | | | | Join Patterns for Visual Basic
(Research Paper)
Claudio V. Russo
Room: 204
13:30 - 14:00 | | | Designing Secure Architectures using Security Patterns
(Tutorial)
Eduardo B. Fernandez
Room: 207
13:30 - 17:00 | Introducing New Ideas into Your Organization
(Tutorial)
MaryLynn Manns, Linda Rising
Room: 209
13:30 - 17:00 | SOA Architecture and Design Strategies
(Tutorial)
Boris Lublinsky, Mike Rosen
Room: 210
13:30 - 17:00 | |
|---|
| | | | | |
| 14:00 | | | | Whiteoak: Introducing Structural Typing into Java
(Research Paper)
Itay Maman, Joseph (Yossi) Gil
Room: 204
14:00 - 14:30 | | | |
|---|
| | | | | |
| 14:30 | | | | Mixing Source and Bytecode - A Case for Compilation by Normalization
(Research Paper)
Lennart C. L. Kats, Martin Bravenboer, Eelco Visser
Room: 204
14:30 - 15:00 | | | |
|---|
| | | | | |
| 15:00 | | | | | | | | |
|---|
| Groovy Refactoring
(Demonstration)
Michael Klenk, Reto Kleeb, Martin Kempf, Peter Sommerlad
Room: 107
15:15 - 16:00 | JAxT and JDI -- The Simplicity of JUnit Applied to Axioms and Data Invariants
(Demonstration)
Magne Haveraaen, Karl Trygve Kalleberg
Room: 202
15:15 - 16:00 | Enforcing Reference and Object Immutability in Java
(Demonstration)
Mahmood Ali, Yoav Zibin, Matt M. Papi, Michael D. Ernst
Room: 203
15:15 - 16:00 | | | | FLiP - Product Line Derivation Tool
(Demonstration)
Sergio Soares, Fernando Calheiros, Vilmar Nepomuceno, Andrea Menezes, Paulo Borba, Vander Alves
Room: 212
15:15 - 16:00 |
| 15:30 | | Tolerating Memory Leaks
(Research Paper)
Michael D. Bond, Kathryn S. McKinley
Room: 204
15:30 - 16:00 | Agile Architecture Methodology: Long Term Strategy Interleaved with Short Term Tactics
(Practitioners Report)
Ethan Hadar, Gabriel M. Silberman
Room: 205
15:30 - 16:15 | Lightning Talk Session
(Lightning Talk)
Room: 206
15:30 - 17:00 |
|---|
|
| 16:00 | | | | | Jolt: Lightweight Dynamic Analysis and Removal of Object Churn
(Research Paper)
Ajeet Shankar, Matthew Arnold, Rastislav Bodik
Room: 204
16:00 - 16:30 | |
|---|
| eMoose - A Memory Aid for Software Developers
(Demonstration)
Uri Dekel
Room: 107
16:15 - 17:00 | Automated Testing of Non-functional Requirements
(Demonstration)
Kristoffer Dyrkorn, Frank Wathne
Room: 202
16:15 - 17:00 | Compile-time Type-checking for Custom Type Qualifiers in Java
(Demonstration)
Matt M. Papi, Mahmood Ali, Michael D. Ernst
Room: 203
16:15 - 17:00 | Retaining Comments when Refactoring Code
(Practitioners Report)
Peter Sommerlad, Guido Zgraggen, Thomas Corbat, Lukas Felber
Room: 205
16:15 - 17:00 | |
| 16:30 | | QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
(Research Paper)
Matthew Arnold, Martin Vechev, Eran Yahav
Room: 204
16:30 - 17:00 | |
|---|
| |
Download this schedule as an 
