13th IEEE International Working Conference on Source Code Analysis and Manipulation

22-23 September 2013 - Eindhoven, The Netherlands

Sint-Catherinakerk Eindhoven by Lennart Tange De Blob Eindhoven by Lennart Tange Flying Pins Eindhoven by Lennart Tange Sportbedrijf Strijp by Lennart Tange

Preliminary Program

Sunday 22 September 2013

Time Activity
8.30 8.45 Welcome, Introduction – General and Program Chairs
8.45 9.45 Keynote: Paul Jansen - Is source code analysis able to predict defects? The first steps of a long journey
9.45 10.00 Coffee break
10.00 11.15 Session1: Dependency Analysis - Session Chair: Paul Anderson
Árpád Beszédes, Lajos Schrettner, Béla Csaba, Tamás Gergely, Judit Jász and Tibor Gyimóthy. Empirical Investigation of SEA-Based Dependence Cluster Properties
Ahmad Jbara and Dror Feitelson. Characterization and Assessment of the Linux Configuration Complexity
Tosin Daniel Oyetoyan, Daniela S. Cruzes and Reidar Conradi. Criticality of Defects in Cyclic Dependent Components
[DEMO] Annervaz K M, Vikrant Kaulgud, Janardan Misra, Shubhashis Sengupta, Gary Titus and Azmat Munshi. Code Clustering Workbench
[DEMO] Jeffrey Svajlenko, Chanchal K. Roy and Slawomir Duszynski. ForkSim: Generating Software Forks for Evaluating Cross-Project Similarity Analysis Tools
11.15 11.30 Coffee break
11.30 12.30 Session 2: Static Source code analysis - Session Chair: Mike Godfrey
Diego Mendez, Benoit Baudry and Martin Monperrus. Empirical Evidence of Large-Scale Diversity in API Usage of Object=Oriented Software
Johan Fabry, Coen De Roover and Viviane Jonckers. Aspectual Source Code Analysis with GASR
[DEMO] Sven Mattsen, Pascal Cuoq and Sibylle Schupp. Driving a Sound Static Software Analyzer with Branch-and-Bound
[DEMO] Sebastian Biallas, Mads Chr. Olesen, Franck Cassez and Ralf Huuck. PtrTracker: Pragmatic Pointer Analysis
12.30 13.45 Lunch break
13.45 15.00 Session 3: Dynamic analysis - Session Chair: Leon Moonen
David Baca. Tracing with Minimal Number of Probes
Yan Wang, Min Feng, Rajiv Gupta and Iulian Neamtiu. A State Alteration and Inspection-based Interactive Debugger
[DEMO] Mike Papadakis, Marcio Eduardo Delamaro and Yves Le Traon. Proteum/FL: a Mutation-based Fault Localization Tool
[DEMO] Antoine Floc’h, Tomofumi Yuki, Ali El-Moussawi, Antoine Morvan, Kevin Martin, Maxime Naullet, Mythri Alle, Ludovic L’hours, Nicolas Simon, Steven Derrien, Franois Charot, Christophe Wolinski and Olivier Sentieys.GeCoS: A Framework for Prototyping Custom Hardware Design Flows
15.00 15.15 Coffee break
15.15 16.15 Working/Discussion session
16.15 16.30 Coffee break
16.30 17.30 Working/discussion session presentations

Monday 23 September 2013

Time Activity
8.30 8.40 Day 2 Welcome
8.40 9.45 Keynote: Oscar Nierstrasz - Agile Modeling – When can we have it?
9.45 10.00 Coffee break
10.00 11.15 Session 4: Source code metrics - Session Chair: Felienne Hermans
Tukaram Muske, Ankit Baid and Tushar Sanas. Review Efforts Reduction by Partitioning of Static Analysis Warnings
Amin Milani Fard and Ali Mesbah. JSNOSE: Detecting JavaScript Code Smells
Jens Nicolay, Carlos Noguera, Coen De Roover and Wolfgang De Meuter. Determining Coupling In JavaScript Using Object Type Inference
[DEMO] Gergő Balogh and Árpád Beszédes. CodeMetropolis - code visualisation in Minecraft
[DEMO] Francisco Sokol, Mauricio Aniche and Marco Gerosa. MetricMiner: Supporting Researchers in Mining Software Repositories
11.15 11.30 Coffee break
11.30 12.30 Session 5: Code Transformation - Session Chair: Sibylle Schupp
Martin Ward. Assembler Restructuring in FermaT
Luigi Cerulo, Michele Ceccarelli, Massimiliano Di Penta and Gerardo Canfora. A Hidden Markov Model to Detect Coded Information Islands in Free Text
[DEMO] Vipin Balachandran. Fix-it: An Extensible Code Auto-Fix Component in Review Bot
[DEMO] Hagen Schink. sql-schema-comparer: Support of Multi-Language Refactoring with Relational Databases
12.30 13.45 Lunch break
13.45 15.00 Tool demos
15.00 15.15 Coffee break
15.15 16.05 Session 6: Databases and ontologies - Session Chair: Árpád Beszedes
Michael Marcozzi, Wim Vanhoof and Jean-Luc Hainaut. A Relational Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Arvind Kiwelekar and Rushikesh Joshi. Ontological Interpretation of Object-Oriented Programming
16.05 16.15 Closing & Awards
16.15 16.30 Coffee break
16.30 17.00 Open Steering Committee Meeting