Write a Blog >>
SPIN 2017
Thu 13 - Fri 14 July 2017 Santa Barbara, California, United States
co-located with ISSTA 2017
ISSTA 2017 (series) / SPIN 2017 (series) / University of California, Santa Barbara /

Room information: Bren 1424

VenueUniversity of California, Santa Barbara
Room nameBren 1424
Floor1
Room number1424
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

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

15:05 - 16:00
Demonstrations 1ISSTA Demonstrations at Bren 1424
15:05
55m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
ISSTA Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:05
55m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
ISSTA Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
15:05
55m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
ISSTA Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
15:05
55m
Demonstration
CUT: Automatic Unit Testing in the Cloud
ISSTA Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
15:05
55m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
ISSTA Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
15:05
55m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
ISSTA Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:05
55m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
ISSTA Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

15:00 - 16:00
Demonstrations 2ISSTA Demonstrations at Bren 1424
15:00
60m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
ISSTA Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
15:00
60m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
ISSTA Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
15:00
60m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
ISSTA Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
15:00
60m
Demonstration
ParTeCL: Parallel Testing using OpenCL
ISSTA Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
15:00
60m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
ISSTA Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
15:00
60m
Demonstration
Verifying Digital Systems with MATLAB
ISSTA Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
15:00
60m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
ISSTA Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Session 1RERS at Bren 1424
09:00
60m
Day opening
RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen)
RERS

10:30 - 12:00
Session 2RERS at Bren 1424
10:30
90m
Talk
Approaches and Results (presentations by participants)
RERS

13:30 - 15:00
Session 3RERS at Bren 1424
13:30
45m
Talk
Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper)
RERS

14:15
45m
Talk
Exploiting Benchmark Data by Machine Learning (Jeroen Meijer)
RERS

15:30 - 16:30
Session 4RERS at Bren 1424
15:30
60m
Talk
Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel)
RERS

16:30 - 17:30
Session 5RERS at Bren 1424
16:30
60m
Day closing
Discussion Panel
RERS

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

Room15:0030
Bren 1424

ISSTA Demonstrations

Demonstrations 1

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

Room15:0030
Bren 1424

ISSTA Demonstrations

Demonstrations 2

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1424

RERS

Session 1

RERS

Session 2

RERS

Session 3

RERS

Session 4

RERS

Session 5

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

Room15:00153045
Bren 1424
ISSTA Demonstrations
GitcProc: A Tool for Processing and Classifying GitHub Commits
15:05 - 16:00
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
15:05 - 16:00
LabPal: Repeatable Computer Experiments Made Easy
15:05 - 16:00
CUT: Automatic Unit Testing in the Cloud
15:05 - 16:00
A Suite of Tools for Making Effective Use of Automatically Generated Tests
15:05 - 16:00
Caret-HM: Recording and Replaying Android User Sessions with Heat Map G ...
15:05 - 16:00
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
15:05 - 16:00

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

Room15:00153045
Bren 1424
ISSTA Demonstrations
SealTest: A Simple Library for Test Sequence Generation
15:00 - 16:00
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
15:00 - 16:00
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistenc ...
15:00 - 16:00
ParTeCL: Parallel Testing using OpenCL
15:00 - 16:00
THEMIS: A Tool for Decentralized Monitoring Algorithms
15:00 - 16:00
Verifying Digital Systems with MATLAB
15:00 - 16:00
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively D ...
15:00 - 16:00

Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1424
SPIN RERS
RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernha ...
09:00 - 10:00
SPIN RERS
Approaches and Results (presentations by participants)
10:30 - 12:00
SPIN RERS
Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper)
13:30 - 14:15
SPIN RERS
Exploiting Benchmark Data by Machine Learning (Jeroen Meijer)
14:15 - 15:00
SPIN RERS
Potential Future Additions - Data Race Detection and CIVL (invited talk ...
15:30 - 16:30
SPIN RERS
Discussion Panel
16:30 - 17:30