Write a Blog >>
VenueUniversity of California, Santa Barbara
Room nameBren 1414
Floor1
Room number1414
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 10 Jul

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-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-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-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

Tue 11 Jul

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-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-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-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

Wed 12 Jul

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
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-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
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
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

Mon 10 Jul 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bren 1414

Tue 11 Jul 2017

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

Wed 12 Jul 2017

Mon 10 Jul 2017

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