Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 10 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149966640000008:00 - 12:00
Registration
issta-2017-agenda
08:45 - 09:00: Agenda - ISSTA 2017 Opening at Bren 1414
issta-2017-agenda149966910000008:45 - 09:00
Day opening
Tevfik BultanUniversity of California, Santa Barbara, Koushik SenUniversity of California, Berkeley
issta-2017-keynotes
09:00 - 10:00: Keynotes - Monday Keynote at Bren 1414
Chair(s): Koushik SenUniversity of California, Berkeley
issta-2017-keynotes149967000000009:00 - 10:00
Talk
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149967360000010:00 - 10:30
Coffee break
issta-2017-research
10:30 - 12:10: Technical Papers - Improving Testing at Bren 1414
Chair(s): Cristian CadarImperial College London
issta-2017-research149967540000010:30 - 10:55
Talk
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Kevin Kellar
DOI
issta-2017-research149967690000010:55 - 11:20
Talk
Helge SpiekerSimula Research Laboratory, Norway, Arnaud GotliebSimula Research Laboratory, Norway, Dusica MarijanSimula, Morten MossigeUniversity of Stavanger, Norway / ABB Robotics, Norway
DOI
issta-2017-research149967840000011:20 - 11:45
Talk
Shaikh MostafaUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Tao XieUniversity of Illinois at Urbana-Champaign
DOI
issta-2017-research149967990000011:45 - 12:10
Talk
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-catering
12:00 - 13:45: Catering - Monday Lunch at DLG Commons
issta-2017-catering149968080000012:00 - 13:45
Lunch
issta-2017-research
13:45 - 14:35: Technical Papers - Testing at Bren 1414
Chair(s): Alex GroceNorthern Arizona University
issta-2017-research149968710000013:45 - 14:10
Talk
Andreas Löscher, Konstantinos SagonasUppsala University, Sweden
DOI
issta-2017-research149968860000014:10 - 14:35
Talk
Ermira DakaUniversity of Sheffield, UK, José Miguel RojasUniversity of Sheffield, Gordon FraserUniversity of Sheffield
DOI
issta-2017-demos
14:35 - 15:05: Demonstrations - Lightning Talks at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
issta-2017-demos149969010000014:35 - 14:37
Demonstration
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-demos149969022800014:37 - 14:39
Demonstration
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
issta-2017-demos149969035700014:39 - 14:41
Demonstration
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-demos149969048500014:41 - 14:43
Demonstration
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
issta-2017-demos149969061400014:43 - 14:45
Demonstration
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-demos149969074200014:45 - 14:47
Demonstration
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-demos149969087100014:47 - 14:49
Demonstration
Le Dinh Xuan BachSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
issta-2017-demos149969099900014:49 - 14:52
Demonstration
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
issta-2017-demos149969112800014:52 - 14:54
Demonstration
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-demos149969125700014:54 - 14:56
Demonstration
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
issta-2017-demos149969138500014:56 - 14:58
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos149969151400014:58 - 15:00
Demonstration
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzalezUniversity of California, Davis
DOI
issta-2017-demos149969164200015:00 - 15:02
Demonstration
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
issta-2017-demos149969177100015:02 - 15:04
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-catering
15:05 - 16:00: Catering - Coffee Break + Poster Sessions at Bren Courtyard
issta-2017-catering149969190000015:05 - 16:00
Coffee break
issta-2017-demos
15:05 - 16:00: Demonstrations - Demonstrations 1 at Bren 1424
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzalezUniversity of California, Davis
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
issta-2017-demos149969190000015:05 - 16:00
Demonstration
Le Dinh Xuan BachSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
issta-2017-research
16:00 - 17:15: Technical Papers - Symbolic Execution at Bren 1414
Chair(s): Gordon FraserUniversity of Sheffield
issta-2017-research149969520000016:00 - 16:25
Talk
David Mitchel PerryPurdue University, Andrea MattavelliImperial College London, Xiangyu ZhangPurdue University, Cristian CadarImperial College London
DOI
issta-2017-research149969670000016:25 - 16:50
Talk
Wei SunUniversity of Nebraska-Lincoln, USA, Lisong XuUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-research149969820000016:50 - 17:15
Talk
Pietro BraioneUniversity of Milano-Bicocca, Italy, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzèUniversity of Milano-Bicocca, Italy
DOI
issta-2017-catering
18:30 - 20:30: Catering - Reception for ISSTA at Mosher Alumni House
issta-2017-catering149970420000018:30 - 20:30
Social Event

Tue 11 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149975280000008:00 - 12:00
Registration
issta-2017-keynotes
09:00 - 10:00: Keynotes - Tuesday Keynote at Bren 1414
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
issta-2017-keynotes149975640000009:00 - 10:00
Talk
Christopher KruegelUniversity of California, Santa Barbara
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149976000000010:00 - 10:30
Coffee break
issta-2017-research
10:30 - 11:45: Technical Papers - Concurrency at Bren 1414
Chair(s): Chao Wang
issta-2017-research149976180000010:30 - 10:55
Talk
Pallavi MaiyaIndian Institute of Science, Bangalore, Aditya KanadeIndian Institute of Science, Bangalore
DOI
issta-2017-research149976330000010:55 - 11:20
Talk
Yu WangNanjing University, China, Linzhang Wang, Tingting YuUniversity of Kentucky, Jianhua ZhaoNanjing University, China, Xuandong LiNanjing University
DOI
issta-2017-research149976480000011:20 - 11:45
Talk
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-agenda
11:45 - 13:20: Agenda - ISSTA Steering Committee Meeting at Club & Guest House
issta-2017-agenda149976630000011:45 - 13:20
Meeting
issta-2017-catering
11:45 - 13:20: Catering - Tuesday Lunch at DLG Commons
issta-2017-catering149976630000011:45 - 13:20
Lunch
issta-2017-research
13:20 - 15:00: Technical Papers - Dynamic Analysis at Bren 1414
Chair(s): Tao XieUniversity of Illinois at Urbana-Champaign
issta-2017-research149977200000013:20 - 13:45
Talk
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
issta-2017-research149977350000013:45 - 14:10
Talk
William KochBoston University, USA, Abdelberi ChaabaneNortheastern University, USA, Manuel EgeleBoston University, USA, William RobertsonNortheastern University, USA, Engin KirdaNortheastern University, USA
DOI
issta-2017-research149977500000014:10 - 14:35
Talk
Yonghwi KwonPurdue University, Weihang WangPurdue University, Yunhui ZhengIBM T.J. Watson Research Center, Xiangyu ZhangPurdue University, Dongyan XuPurdue University, USA
DOI
issta-2017-research149977650000014:35 - 15:00
Talk
Marija SelakovicTU Darmstadt, Germany, Thomas GlaserTU Darmstadt, Germany, Michael PradelTU Darmstadt
DOI
issta-2017-catering
15:00 - 16:00: Catering - Coffee Break + Poster Sessions at Bren Courtyard
issta-2017-catering149977800000015:00 - 16:00
Coffee break
issta-2017-demos
15:00 - 16:00: Demonstrations - Demonstrations 2 at Bren 1424
issta-2017-demos149977800000015:00 - 16:00
Demonstration
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
issta-2017-demos149977800000015:00 - 16:00
Demonstration
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
issta-2017-demos149977800000015:00 - 16:00
Demonstration
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
issta-2017-demos149977800000015:00 - 16:00
Demonstration
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
issta-2017-demos149977800000015:00 - 16:00
Demonstration
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
issta-2017-demos149977800000015:00 - 16:00
Demonstration
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
issta-2017-demos149977800000015:00 - 16:00
Demonstration
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-research
16:00 - 17:15: Technical Papers - The Web at Bren 1414
Chair(s): Frank TipNortheastern University
issta-2017-research149978160000016:00 - 16:25
Talk
Snigdha Athaiya, Raghavan KomondoorIndian Institute of Science, Bangalore
DOI
issta-2017-research149978310000016:25 - 16:50
Talk
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
issta-2017-research149978460000016:50 - 17:15
Talk
Marco GuarnieriETH Zurich, Switzerland, Petar TsankovETH Zurich, Tristan BuchsEPFL, Switzerland, Mohammad Torabi DashtiETH Zurich, Switzerland, David BasinETH Zurich, Switzerland
DOI
issta-2017-catering
17:45 - 20:00: Catering - Goleta Beach BBQ at Goleta Beach
issta-2017-catering149978790000017:45 - 20:00
Social Event

Wed 12 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149983920000008:00 - 12:00
Registration
issta-2017-agenda
09:00 - 09:30: Agenda - ISSTA 2017 Impact Paper Award at Bren 1414
Chair(s): Andreas ZellerSaarland University
issta-2017-agenda149984280000009:00 - 09:30
Talk
James ClauseUniversity of Delaware, Wanchun Li, Alessandro OrsoGeorgia Tech
Link to publication DOI
spin-2017-RERS
09:00 - 10:00: RERS - Session 1 at Bren 1424
spin-2017-RERS149984280000009:00 - 10:00
Day opening
issta-2017-research
09:30 - 09:55: Technical Papers - Experience Report at Bren 1414
Chair(s): Andreas ZellerSaarland University
issta-2017-research149984460000009:30 - 09:55
Talk
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
issta-2017-agenda
09:55 - 10:00: Agenda - ISSTA 2018 Preview at Bren 1414
issta-2017-agenda149984610000009:55 - 10:00
Other
Frank TipNortheastern University
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149984640000010:00 - 10:30
Coffee break
issta-2017-research
10:30 - 11:45: Technical Papers - Program Repair and Patching at Bren 1414
Chair(s): Michael PradelTU Darmstadt
issta-2017-research149984820000010:30 - 10:55
Talk
Qi XinBrown University, USA, Steven P. ReissBrown University, USA
DOI
issta-2017-research149984970000010:55 - 11:20
Talk
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
issta-2017-research149985120000011:20 - 11:45
Talk
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
spin-2017-RERS
10:30 - 12:00: RERS - Session 2 at Bren 1424
spin-2017-RERS149984820000010:30 - 12:00
Talk
issta-2017-catering
11:45 - 13:20: Catering - Wednesday Lunch at DLG Commons
issta-2017-catering149985270000011:45 - 13:20
Lunch
issta-2017-research
13:20 - 15:00: Technical Papers - Fault Localization and Mutation Testing at Bren 1414
Chair(s): Alex OrsoGeorgia Institute of Technology
issta-2017-research149985840000013:20 - 13:45
Talk
Mengshi ZhangUniversity of Texas at Austin, USA, Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang, Sarfraz KhurshidUniversity of Texas at Austin
DOI
issta-2017-research149985990000013:45 - 14:10
Talk
Jeongju SohnKAIST, South Korea, Shin YooKorea Advanced Institute of Science and Technology
DOI
issta-2017-research149986140000014:10 - 14:35
Talk
René JustUniversity of Massachusetts, USA, Bob KurtzGeorge Mason University, USA, Paul AmmannGeorge Mason University, USA
DOI Pre-print
issta-2017-research149986290000014:35 - 15:00
Talk
Bo WangPeking University, China, Yingfei XiongPeking University, Yangqingwei ShiPeking University, Lu ZhangPeking University, Dan HaoPeking University
DOI Pre-print
spin-2017-RERS
13:30 - 15:00: RERS - Session 3 at Bren 1424
spin-2017-RERS149985900000013:30 - 14:15
Talk
spin-2017-RERS149986170000014:15 - 15:00
Talk
spin-2017-RERS
15:30 - 16:30: RERS - Session 4 at Bren 1424
spin-2017-RERS149986620000015:30 - 16:30
Talk
issta-2017-research
15:30 - 17:10: Technical Papers - Static Analysis at Bren 1414
Chair(s): William G.J. HalfondUniversity of Southern California
issta-2017-research149986620000015:30 - 15:55
Talk
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
issta-2017-research149986770000015:55 - 16:20
Talk
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Shuvendu K. LahiriMicrosoft Research, Nimrod PartushTechnion
DOI
issta-2017-research149986920000016:20 - 16:45
Talk
Xiaokang Fan, Yulei Sui, Xiangke LiaoNational University of Defense Technology, China, Jingling XueUNSW Australia
DOI
issta-2017-research149987070000016:45 - 17:10
Talk
John-Paul OreUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA
DOI
spin-2017-RERS
16:30 - 17:30: RERS - Session 5 at Bren 1424
spin-2017-RERS149986980000016:30 - 17:30
Day closing

Thu 13 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at ESB Courtyard
issta-2017-agenda149992560000008:00 - 12:00
Registration
spin-2017-Keynote
08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University
spin-2017-Keynote149992740000008:30 - 09:30
Talk
issta-2017-doctoral-symposium
09:00 - 10:00: Doctoral Symposium - Keynote at ESB 2003
Chair(s): Ben LiblitUniversity of Wisconsin–Madison
issta-2017-doctoral-symposium149992920000009:00 - 10:00
Talk
Andreas ZellerSaarland University
Media Attached
issta-2017-tecps
09:00 - 10:00: TECPS - Keynote at ESB 2001
Chair(s): Tingting YuUniversity of Kentucky
issta-2017-tecps149992920000009:00 - 10:00
Talk
Michael WhalenUniversity of Minnesota
spin-2017-full-papers
09:30 - 10:00: SPIN Full Paper - Session 2: Symbolic Verification at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
spin-2017-full-papers149993100000009:30 - 10:00
Talk
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering149993280000010:00 - 10:30
Coffee break
spin-2017-catering
10:00 - 10:30: Catering - Thursday AM Break at ESB Courtyard
spin-2017-catering149993280000010:00 - 10:30
Coffee break
issta-2017-doctoral-symposium
10:30 - 12:00: Doctoral Symposium - Analysis at ESB 2003
Chair(s): Mary Lou SoffaUniversity of Virginia
issta-2017-doctoral-symposium149993460000010:30 - 11:00
Talk
Jaroslav BendíkMasaryk University
issta-2017-doctoral-symposium149993640000011:00 - 11:30
Talk
issta-2017-doctoral-symposium149993820000011:30 - 12:00
Talk
issta-2017-tecps
10:30 - 12:00: TECPS - Session 1 at ESB 2001
Chair(s): Alex GyoriUniversity of Illinois at Urbana-Champaign, USA
issta-2017-tecps149993460000010:30 - 11:00
Talk
Chao WangUniversity of Southern California
issta-2017-tecps149993640000011:00 - 11:30
Talk
John-Paul OreUniversity of Nebraska-Lincoln, USA
issta-2017-tecps149993820000011:30 - 12:00
Talk
Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats HeimdahlUniversity of Minnesota
issta-2017-catering
12:00 - 13:30: Catering - Thursday Lunch at DLG Commons
issta-2017-catering149994000000012:00 - 13:30
Lunch
issta-2017-doctoral-symposium
13:30 - 15:00: Doctoral Symposium - Modeling and Learning at ESB 2003
Chair(s): Alex OrsoGeorgia Institute of Technology
issta-2017-doctoral-symposium149994540000013:30 - 14:00
Talk
Jenny HotzkowSaarland University
issta-2017-doctoral-symposium149994720000014:00 - 14:30
Talk
Deborah S. KatzCarnegie Mellon University
issta-2017-doctoral-symposium149994900000014:30 - 15:00
Talk
issta-2017-tecps
13:30 - 15:00: TECPS - Session 2 at ESB 2001
Chair(s): Kristen Walcott-Justice
issta-2017-tecps149994540000013:30 - 14:00
Talk
Stephen McCamantUniversity of Minnesota
issta-2017-tecps149994720000014:00 - 14:30
Talk
Tingting YuUniversity of Kentucky
issta-2017-tecps149994900000014:30 - 15:00
Talk
Alex GroceNorthern Arizona University, Paul FlikkemaNorthern Arizona University, Josie HolmesPennsylvania State University, USA
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 4 at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory
spin-2017-Keynote149994540000013:30 - 14:30
Talk
spin-2017-full-papers
14:30 - 15:00: SPIN Full Paper - Session 5: Code Verification at ESB 1001
Chair(s): Alberto Salmeron
spin-2017-full-papers149994900000014:30 - 15:00
Talk
issta-2017-catering
15:00 - 15:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering149995080000015:00 - 15:30
Coffee break
spin-2017-catering
15:00 - 15:30: Catering - Thursday PM Break at ESB Courtyard
spin-2017-catering149995080000015:00 - 15:30
Coffee break
issta-2017-tecps
15:30 - 17:30: TECPS - Session 3 at ESB 2001
Chair(s): Stephen McCamantUniversity of Minnesota
issta-2017-tecps149995260000015:30 - 16:00
Talk
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Earlence FernandesUniversity of Michigan, Amir RahmatiUniversity of Michigan, Atul PrakashUniversity of Michigan, Darko MarinovUniversity of Illinois at Urbana-Champaign
issta-2017-tecps149995440000016:00 - 16:30
Talk
issta-2017-tecps149995620000016:30 - 17:00
Talk
Amin AlipourUniversity of Houston
issta-2017-doctoral-symposium
15:30 - 17:00: Doctoral Symposium - Testing at ESB 2003
Chair(s): Alex GroceNorthern Arizona University
issta-2017-doctoral-symposium149995260000015:30 - 16:00
Talk
Nataniel Borges Jr.Saarland University
issta-2017-doctoral-symposium149995440000016:00 - 16:30
Talk
Björn MathisSaarland University
issta-2017-doctoral-symposium149995620000016:30 - 17:00
Talk
Gunel JahangirovaFondazione Bruno Kessler
issta-2017-catering
18:30 - 20:30: Catering - Reception for SPIN and Workshops at Mosher Alumni House
issta-2017-catering149996340000018:30 - 20:30
Social Event
spin-2017-catering
18:30 - 20:30: Catering - SPIN Reception at Mosher Alumni House
spin-2017-catering149996340000018:30 - 20:30
Dinner

Fri 14 Jul

issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering150001920000010:00 - 10:30
Coffee break
spin-2017-catering
10:00 - 10:30: Catering - Friday AM Break at ESB Courtyard
spin-2017-catering150001920000010:00 - 10:30
Coffee break
issta-2017-catering
12:00 - 13:30: Catering - Friday Lunch at DLG Commons
issta-2017-catering150002640000012:00 - 13:30
Lunch
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 10 at ESB 1001
Chair(s): Yliès FalconeUniv. Grenoble Alpes, Inria
spin-2017-Keynote150003180000013:30 - 14:30
Talk
spin-2017-full-papers
14:30 - 15:00: SPIN Full Paper - Session 11: Program Sketching at ESB 1001
Chair(s): Madalina Erascu
spin-2017-full-papers150003540000014:30 - 15:00
Talk
issta-2017-catering
15:00 - 15:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering150003720000015:00 - 15:30
Coffee break
spin-2017-catering
15:00 - 15:30: Catering - Friday PM Break at ESB Courtyard
spin-2017-catering150003720000015:00 - 15:30
Coffee break
spin-2017-full-papers
15:30 - 16:30: SPIN Full Paper - Session 12: Testing at ESB 1001
Chair(s): Jaco van de PolUniversity of Twente
spin-2017-full-papers150003900000015:30 - 16:00
Talk
spin-2017-full-papers150004080000016:00 - 16:30
Talk
spin-2017-SPIN
17:10 - 17:30: SPIN Agenda - Session 14 at ESB 1001
Chair(s): Klaus HavelundNASA/Caltech Jet Propulsion Laboratory, Hakan ErdogmusCarnegie Mellon University, Pedro Merino Gomez
spin-2017-SPIN150004500000017:10 - 17:30
Day closing

Mon 10 Jul 2017

Tue 11 Jul 2017

Wed 12 Jul 2017

Mon 10 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
DLG Commons
12:00 - 13:45
Mosher Alumni House

Tue 11 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
Club & Guest House
DLG Commons
11:45 - 13:20
Goleta Beach

Wed 12 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
DLG Commons
11:45 - 13:20

Thu 13 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
DLG Commons
12:00 - 13:30
ESB 1001
ESB 2001
ESB 2003
ESB Courtyard
15:00 - 15:30
Mosher Alumni House

Fri 14 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
DLG Commons
12:00 - 13:30
ESB 1001
ESB Courtyard
15:00 - 15:30
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)