Research Papers

The Research Track will take place in the HeinzNixdorf MuseumsForum HNF (see map).

Thursday, September 7, 2017
Distributed Systems (Research Papers)
14:00 – 15:30, Auditorium, Chair: Stelios Sidirogiou-Doukos
Testing I (Research Papers)
14:00 – 15:30, S1+2, Chair: Gregg Rothermel
Refactoring (Research Papers)
14:00 – 15:30, S3, Chair: Premkumar Devambu
Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tyler Sorensen, Hugues Evrard, and Alastair F. Donaldson
(Imperial College London, UK)
Best-Paper Award
Publisher's Version Preprint
Craig vs. Newton in Software Model Checking
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, and Andreas Podelski
(University of Freiburg, Germany)
Publisher's Version
Understanding the Impact of Refactoring on Smells: A Longitudinal Study of 23 Software Projects
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo Sousa, Rafael de Mello, Baldoino Fonseca, Márcio Ribeiro, and Alexander Chávez
(PUC-Rio, Brazil; Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil)
Publisher's Version Info
A Qualitative Study of Application-level Caching
(Federal University of Rio Grande do Sul, Brazil; TU Dortmund, Germany)
Publisher's Version Preprint Info
Fairness Testing: Testing Software for Discrimination
Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou
(University of Massachusetts at Amherst, USA)
Best-Paper Award
Publisher's Version Preprint Info
Detecting overly strong preconditions in refactoring engines
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, and Leopoldo Teixeira
(Federal University of Campina Grande, Brazil; Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil)
Publisher's Version
Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis
(University of Buenos Aires, Argentina; Imperial College London, UK)
Publisher's Version Preprint
The Care and Feeding of Wild-Caught Mutants
(University of Wisconsin-Madison, USA)
Publisher's Version Preprint Video Info Artifacts Reusable
Cimplifier: Automatically Debloating Containers
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel
(University of Wisconsin-Madison, USA; Tala Security, USA; Colorado State University, USA; Pennsylvania State University, USA)
Publisher's Version Preprint
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
(National University of Singapore, Singapore; University of Wollongong, Australia)
Publisher's Version
QTEP: Quality-Aware Test Case Prioritization
(University of Waterloo, Canada)
Publisher's Version Preprint Info
Identifying Extract Method Refactoring Opportunities based on Functional Relevance
Sofia Charalampidou, Apostolos Ampatzoglou, Alexander Chatzigeorgiou, Antonios Gkortzis, and Paris Avgeriou
(University of Groningen, Netherlands; University of Macedonia, Greece)
Publisher's Version Preprint
See all research papers here.