Write a Blog >>
SPIN 2017
co-located with ISSTA 2017
VenueUniversity of California, Santa Barbara
Room nameBren 1414
Floor1
Room number1414
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Tijuana, Baja California change

08:45 - 09:00: ISSTA 2017 OpeningISSTA Agenda at Bren 1414
08:45 - 09:00
Day opening
ISSTA Agenda
Tevfik BultanUniversity of California, Santa Barbara, Koushik SenUniversity of California, Berkeley
09:00 - 10:00: Monday KeynoteISSTA Keynotes at Bren 1414
Chair(s): Koushik SenUniversity of California, Berkeley
09:00 - 10:00
Talk
ISSTA Keynotes
10:30 - 12:10: Improving TestingISSTA Technical Papers at Bren 1414
Chair(s): Cristian CadarImperial College London
10:30 - 10:55
Talk
ISSTA Technical Papers
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Kevin Kellar
DOI
10:55 - 11:20
Talk
ISSTA Technical Papers
Helge SpiekerSimula Research Laboratory, Norway, Arnaud GotliebSimula Research Laboratory, Norway, Dusica MarijanSimula, Morten MossigeUniversity of Stavanger, Norway / ABB Robotics, Norway
DOI
11:20 - 11:45
Talk
ISSTA Technical Papers
Shaikh MostafaUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Tao XieUniversity of Illinois at Urbana-Champaign
DOI
11:45 - 12:10
Talk
ISSTA Technical Papers
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
13:45 - 14:35: TestingISSTA Technical Papers at Bren 1414
Chair(s): Alex GroceNorthern Arizona University
13:45 - 14:10
Talk
ISSTA Technical Papers
DOI
14:10 - 14:35
Talk
ISSTA Technical Papers
Ermira DakaUniversity of Sheffield, UK, José Miguel RojasUniversity of Sheffield, Gordon FraserUniversity of Sheffield
DOI
14:35 - 15:05: Lightning TalksISSTA Demonstrations at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
14:35 - 14:37
Demonstration
ISSTA Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
14:37 - 14:39
Demonstration
ISSTA Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
14:39 - 14:41
Demonstration
ISSTA Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
14:41 - 14:43
Demonstration
ISSTA Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
14:43 - 14:45
Demonstration
ISSTA Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
14:45 - 14:47
Demonstration
ISSTA Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
14:47 - 14:49
Demonstration
ISSTA Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
14:49 - 14:52
Demonstration
ISSTA Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
14:52 - 14:54
Demonstration
ISSTA Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
14:54 - 14:56
Demonstration
ISSTA Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
14:56 - 14:58
Demonstration
ISSTA Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
14:58 - 15:00
Demonstration
ISSTA Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:00 - 15:02
Demonstration
ISSTA Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:02 - 15:04
Demonstration
ISSTA Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
16:00 - 17:15: Symbolic ExecutionISSTA Technical Papers at Bren 1414
Chair(s): Gordon FraserUniversity of Sheffield
16:00 - 16:25
Talk
ISSTA Technical Papers
David Mitchel PerryPurdue University, Andrea MattavelliImperial College London, Xiangyu ZhangPurdue University, Cristian CadarImperial College London
DOI
16:25 - 16:50
Talk
ISSTA Technical Papers
Wei SunUniversity of Nebraska-Lincoln, USA, Lisong XuUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
16:50 - 17:15
Talk
ISSTA Technical Papers
Pietro BraioneUniversity of Milano-Bicocca, Italy, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzèUniversity of Milano-Bicocca, Italy
DOI

Tue 11 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Tuesday KeynoteISSTA Keynotes at Bren 1414
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
09:00 - 10:00
Talk
ISSTA Keynotes
Christopher KruegelUniversity of California, Santa Barbara
10:30 - 11:45: ConcurrencyISSTA Technical Papers at Bren 1414
Chair(s): Chao Wang
10:30 - 10:55
Talk
ISSTA Technical Papers
Pallavi MaiyaIndian Institute of Science, Bangalore, Aditya KanadeIndian Institute of Science, Bangalore
DOI
10:55 - 11:20
Talk
ISSTA Technical Papers
Yu WangNanjing University, China, Linzhang Wang, Tingting YuUniversity of Kentucky, Jianhua ZhaoNanjing University, China, Xuandong LiNanjing University
DOI
11:20 - 11:45
Talk
ISSTA Technical Papers
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
13:20 - 15:00: Dynamic AnalysisISSTA Technical Papers at Bren 1414
Chair(s): Tao XieUniversity of Illinois at Urbana-Champaign
13:20 - 13:45
Talk
ISSTA Technical Papers
Yizhen ChenSUNY Albany, USA, Ming YingSUNY Albany, USA, Daren LiuSUNY Albany, USA, Adil AlimSUNY Albany, USA, Feng ChenSUNY Albany, USA, Mei-Hwa ChenSUNY Albany, USA
DOI
13:45 - 14:10
Talk
ISSTA Technical Papers
William KochBoston University, USA, Abdelberi ChaabaneNortheastern University, USA, Manuel EgeleBoston University, USA, William RobertsonNortheastern University, USA, Engin KirdaNortheastern University, USA
DOI
14:10 - 14:35
Talk
ISSTA Technical Papers
Yonghwi KwonPurdue University, Weihang WangPurdue University, Yunhui ZhengIBM T.J. Watson Research Center, Xiangyu ZhangPurdue University, Dongyan XuPurdue University, USA
DOI
14:35 - 15:00
Talk
ISSTA Technical Papers
Marija SelakovicTU Darmstadt, Germany, Thomas GlaserTU Darmstadt, Germany, Michael PradelTU Darmstadt
DOI
16:00 - 17:15: The WebISSTA Technical Papers at Bren 1414
Chair(s): Frank TipNortheastern University
16:00 - 16:25
Talk
ISSTA Technical Papers
Snigdha Athaiya, Raghavan KomondoorIndian Institute of Science, Bangalore
DOI
16:25 - 16:50
Talk
ISSTA Technical Papers
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
16:50 - 17:15
Talk
ISSTA Technical Papers
Marco GuarnieriETH Zurich, Switzerland, Petar TsankovETH Zurich, Tristan BuchsEPFL, Switzerland, Mohammad Torabi DashtiETH Zurich, Switzerland, David BasinETH Zurich, Switzerland
DOI

Wed 12 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 09:30: ISSTA 2017 Impact Paper AwardISSTA Agenda at Bren 1414
Chair(s): Andreas ZellerSaarland University
09:00 - 09:30
Talk
ISSTA Agenda
James ClauseUniversity of Delaware, Wanchun Li, Alessandro OrsoGeorgia Tech
Link to publication DOI
09:30 - 09:55: Experience ReportISSTA Technical Papers at Bren 1414
Chair(s): Andreas ZellerSaarland University
09:30 - 09:55
Talk
ISSTA Technical Papers
Shaikh MostafaUniversity of Texas at San Antonio, USA, Rodney RodriguezUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
09:55 - 10:00: ISSTA 2018 PreviewISSTA Agenda at Bren 1414
09:55 - 10:00
Other
ISSTA Agenda
Frank TipNortheastern University
10:30 - 11:45: Program Repair and PatchingISSTA Technical Papers at Bren 1414
Chair(s): Michael PradelTU Darmstadt
10:30 - 10:55
Talk
ISSTA Technical Papers
Qi XinBrown University, USA, Steven P. ReissBrown University, USA
DOI
10:55 - 11:20
Talk
ISSTA Technical Papers
Anil KoyuncuUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Jacques KleinUniversity of Luxembourg, Martin Monperrus, Yves Le TraonUniversity of Luxembourg
DOI
11:20 - 11:45
Talk
ISSTA Technical Papers
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
13:20 - 15:00: Fault Localization and Mutation TestingISSTA Technical Papers at Bren 1414
Chair(s): Alex OrsoGeorgia Institute of Technology
13:20 - 13:45
Talk
ISSTA Technical Papers
Mengshi ZhangUniversity of Texas at Austin, USA, Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang, Sarfraz KhurshidUniversity of Texas at Austin
DOI
13:45 - 14:10
Talk
ISSTA Technical Papers
Jeongju SohnKAIST, South Korea, Shin YooKorea Advanced Institute of Science and Technology
DOI
14:10 - 14:35
Talk
ISSTA Technical Papers
René JustUniversity of Massachusetts, USA, Bob KurtzGeorge Mason University, USA, Paul AmmannGeorge Mason University, USA
DOI Pre-print
14:35 - 15:00
Talk
ISSTA Technical Papers
Bo WangPeking University, China, Yingfei XiongPeking University, Yangqingwei ShiPeking University, Lu ZhangPeking University, Dan HaoPeking University
DOI Pre-print
15:30 - 17:10: Static AnalysisISSTA Technical Papers at Bren 1414
Chair(s): William G.J. HalfondUniversity of Southern California
15:30 - 15:55
Talk
ISSTA Technical Papers
Lisa Nguyen Quang DoFraunhofer IEM, Karim AliUniversity of Alberta, Benjamin LivshitsImperial College London, UK, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
DOI
15:55 - 16:20
Talk
ISSTA Technical Papers
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Shuvendu K. LahiriMicrosoft Research, Nimrod PartushTechnion
DOI
16:20 - 16:45
Talk
ISSTA Technical Papers
Xiaokang Fan, Yulei Sui, Xiangke LiaoNational University of Defense Technology, China, Jingling XueUNSW Australia
DOI
16:45 - 17:10
Talk
ISSTA Technical Papers
John-Paul OreUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA
DOI

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1414