ICPC 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
VenueFairmont The Queen Elizabeth Hotel
Room nameSainte-Catherine
Floor0
Room number17
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 25 May

Displayed time zone: Eastern Time (US & Canada) change

09:15 - 09:30
Opening/OuvertureICSSP at Sainte-Catherine
Chair(s): Stanley Sutton Independent Researcher
09:15
15m
Day opening
Welcome
ICSSP

09:30 - 10:10
Doctoral TrackICSSP at Sainte-Catherine
Chair(s): Paul Clarke Dublin City University & Lero, The Irish Software Research Centre
09:30
20m
Doctoral symposium paper
Key Features Recommendation to Improve Bug Reporting
ICSSP
09:50
20m
Doctoral symposium paper
Towards a Knowledge Warehouse and Expert System for the Automation of SDLC Tasks
ICSSP
Ritu Kapur Indian Institute of Technology, Ropar, India.
10:10 - 10:30
Agile Processes (I)ICSSP at Sainte-Catherine
Chair(s): Stanley Sutton Independent Researcher
10:10
20m
Short-paper
SPI is Dead, isn't it? Clear the Stage for Continuous Learning!
ICSSP
Marco Kuhrmann University of Passau, Jürgen Münch Reutlingen University
16:00 - 17:30
Mining and ComparisonsICSSP at Sainte-Catherine
Chair(s): Mark Dowson Independent Researcher
16:00
30m
Full-paper
How do startups develop Internet-of-things systems - A multiple exploratory case study
ICSSP
Anh Nguyen Duc University College of Southeast Norway, Muhammad Khalid Khan , Tor Lønnestad , Sohaib Shahid Bajwa , Xiaofeng Wang Free University of Bozen-Bolzano, Pekka Abrahamsson University of Jyväskylä
16:30
30m
Full-paper
Evaluating Coding Behavior in Software Development Processes: A Process Mining Approach
ICSSP
Link to publication DOI
17:00
30m
Full-paper
Using Constraint Mining to Analyze Software Development Processes
ICSSP
Thomas Krismayer Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Christoph Mayr-Dorn Johannes Kepler University Linz, Johann Tuder , Rick Rabiser Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Paul Grünbacher Johannes Kepler University Linz, Austria
File Attached

Sun 26 May

Displayed time zone: Eastern Time (US & Canada) change

09:30 - 10:30
KeynoteICSSP at Sainte-Catherine
Chair(s): Stanley Sutton Independent Researcher
09:30
60m
Talk
Keynote: Philippe Kruchten--The End of Agile as We Know It
ICSSP
Philippe Kruchten University of British Columbia
11:00 - 12:15
Hybrid Processes and TeamsICSSP at Sainte-Catherine
Chair(s): Regina Hebig Chalmers University of Technology & University of Gothenburg
11:00
30m
Full-paper
What are Hybrid Development Methods Made Of? An Evidence-based Characterization
ICSSP
Paolo Tell IT University of Copenhagen, Jil Klünder Leibniz Universität Hannover, Steffen Küpper Technische Universität Clausthal, Institute for Applied Software Systems Engineering, David Raffo Portland State University, Stephen MacDonell Auckland University of Technology, Jürgen Münch Reutlingen University, Dietmar Pfahl University of Tartu, Oliver Linssen , Marco Kuhrmann University of Passau
11:30
20m
Short-paper
Towards Unified Software Project Monitoring for Organizations using Hybrid Processes and Tools
ICSSP
Eray Tüzün Bilkent University, Çağdaş Üsfekes , Yagup Macit , Görkem Giray Independent Researcher
11:50
20m
Short-paper
Functional Organization of Software Groups Considered Harmful
ICSSP
16:00 - 17:10
Incremental and Continuous DevelopmentICSSP at Sainte-Catherine
Chair(s): Ove Armbrust Intel
16:00
30m
Short-paper
Towards an Agile Concern-Driven Development Process
ICSSP
Omar Alam Trent University
16:30
20m
Short-paper
Continuous Integration in Validation of Modern, Complex, Embedded Systems.
ICSSP
16:50
20m
Short-paper
Process-Driven Incremental Effort Estimation
ICSSP
Kan Qi University of Southern California, Barry Boehm University of Southern California
17:10 - 17:30
Closing/ClôtureICSSP at Sainte-Catherine
Chair(s): Stanley Sutton Independent Researcher
17:10
20m
Talk
Farewell and Forward
ICSSP

18:00 - 20:00
ICSSP Steering CommitteeICSE Community Meetings at Sainte-Catherine
20:00 - 22:00

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

08:40 - 10:30
Session 1FormaliSE at Sainte-Catherine
Chair(s): Matteo Rossi Politecnico di Milano
08:40
10m
Day opening
Welcome by the Chairs
FormaliSE
C: Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
08:50
25m
Full-paper
Epistemic Model Checking of Distributed Commit Protocols with Byzantine faults
FormaliSE
Omar Bataineh NTU, Mark Reynolds The Univeristy of Western Australia
09:15
25m
Full-paper
Clock Reduction in Timed Automata while Preserving Design Parameters
FormaliSE
Beyazit Yalcinkaya Middle East Technical University, Ebru Aydin Gol Middle East Technical University
09:40
25m
Full-paper
Rigorous Design and Deployment of IoT Applications
FormaliSE
Ajay Krishna Inria Grenoble, France, Michel Le Pallec Nokia Bell Labs, Radu Mateescu INRIA, Ludovic Noirie Nokia Bell Labs, Gwen Salaün University of Grenoble Alpes
10:05
25m
Full-paper
Static Analysis for Worst-Case Battery Utilization
FormaliSE
16:00 - 18:00
Session 4FormaliSE at Sainte-Catherine
Chair(s): Stéphanie Challita Inria, France
16:00
25m
Full-paper
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
FormaliSE
Milad K. Ghale The Australian National University, Dirk Pattinson Australian National University, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia
16:25
15m
Short-paper
A Vision for Helping Developers Use APIs by Leveraging Temporal Patterns
FormaliSE
Erick Raelijohn University of Montreal, Michalis Famelis Université de Montréal, Houari Sahraoui Université de Montréal
16:40
25m
Full-paper
A Proof-Producing Translator for Verilog Development in HOL
FormaliSE
Andreas Lööw Chalmers University of Technology, Magnus O. Myreen Chalmers University of Technology, Sweden
17:05
25m
Full-paper
On the Formalization of Importance Measures using HOL Theorem Proving
FormaliSE
Waqar Ahmad Carnegie Mellon University, Shahid Ali Murtza National University of Sciences and Technology, Osman Hasan Concordia University, Canada, Sofiene Tahar Concordia University
17:30
30m
Day closing
Discussion/closing
FormaliSE
C: Nico Plat Thanos

Tue 28 May

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 17:30

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sainte-Catherine

Tue 28 May

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sainte-Catherine