Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jul

ecoop-issta-2018-summer-school
17:00 - 20:00: Summer School - Welcome: Peyton Jones at Zurich I
Chair(s): Jan VitekNortheastern University
ecoop-issta-2018-summer-school153166680000017:00 - 20:00
Talk
Simon Peyton JonesMicrosoft Research

Mon 16 Jul

issta-2018-Keynotes
09:00 - 10:30: ISSTA Keynotes - Welcome & Keynote: Torlak at Zurich II
Chair(s): Frank TipNortheastern University
issta-2018-Keynotes153172440000009:00 - 09:15
Tijs van der StormCWI & University of Groningen, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes153172530000009:15 - 10:15
Talk
Emina TorlakUniversity of Washington
curryon-2018-papers
09:15 - 10:20: Curry On Keynotes - Keynote at Matterhorn
curryon-2018-papers153172530000009:15 - 09:30
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
curryon-2018-papers153172620000009:30 - 10:20
Talk
issta-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153172980000010:30 - 11:00
issta-2018-Technical-Papers
11:00 - 12:30: ISSTA Technical Papers - Secure and Sound at Zurich II
Chair(s): Cristian CadarImperial College London
issta-2018-Technical-Papers153173160000011:00 - 11:20
Talk
Martin KelloggUniversity of Washington, Seattle, Vlastimil DortCharles University, Suzanne MillsteinUniversity of Washington, Michael D. ErnstUniversity of Washington, USA
issta-2018-Technical-Papers153173280000011:20 - 11:40
Talk
Meng WuVirginia Tech, Shengjian (Daniel) GuoVirginia Tech, Patrick SchaumontVirginia Tech, Chao WangUniversity of Southern California
issta-2018-Technical-Papers153173400000011:40 - 12:00
Talk
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina PasareanuNASA Ames Research Center
issta-2018-Technical-Papers153173520000012:00 - 12:20
Talk
Magnus MadsenAalborg University, Ondřej LhotákUniversity of Waterloo, Canada
issta-2018-Technical-Papers153173640000012:20 - 12:30
FTfJP-2018-papers
11:00 - 12:30: FTfJP - Session 1 at Hanoi
FTfJP-2018-papers153173160000011:00 - 11:30
Full-paper
Benjamin ChungNortheastern University, Jan VitekNortheastern University
Pre-print
FTfJP-2018-papers153173340000011:30 - 12:00
Full-paper
Tamás Szabóitemis AG / TU Delft, Edlira KuciTU Darmstadt, Germany, Matthijs BijmanDelft University of Technology, Mira MeziniTU Darmstadt, Sebastian ErdwegTU Delft
Pre-print
FTfJP-2018-papers153173520000012:00 - 12:30
Full-paper
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
Pre-print
COP-2018-papers
11:00 - 12:30: COP - Session 1 at Bangkok
Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University
COP-2018-papers153173160000011:00 - 11:30
Talk
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
COP-2018-papers153173340000011:30 - 12:00
Talk
Takuo WatanabeTokyo Institute of Technology
COP-2018-papers153173520000012:00 - 12:30
Talk
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153173160000011:00 - 11:40
Talk
curryon-2018-CurryOn-Talks153173460000011:50 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153173160000011:00 - 11:40
Talk
Miles SabinUnderscore LLP
curryon-2018-CurryOn-Talks153173460000011:50 - 12:30
Talk
Deian StefanUniversity of California, San Diego
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153173160000011:00 - 11:40
Talk
curryon-2018-CurryOn-Talks153173460000011:50 - 12:30
Talk
Ivan ČukićKDE e.V.
issta-2018-catering
12:30 - 14:00: Catering - Lunch at Lunch Room
issta-2018-catering153173700000012:30 - 14:00
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153174180000013:50 - 14:30
Talk
curryon-2018-CurryOn-Talks153174480000014:40 - 15:20
Talk
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153174180000013:50 - 14:30
Talk
John MummVectrology Solutions
curryon-2018-CurryOn-Talks153174480000014:40 - 15:20
Talk
Tamás Szabóitemis AG / TU Delft, Sebastian ErdwegTU Delft
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153174180000013:50 - 14:30
Talk
curryon-2018-CurryOn-Talks153174480000014:40 - 15:20
Talk
FTfJP-2018-papers
14:00 - 15:30: FTfJP - Session 2 at Hanoi
FTfJP-2018-papers153174240000014:00 - 15:00
Talk
Sophia DrossopoulouImperial College London
FTfJP-2018-papers153174600000015:00 - 15:30
Full-paper
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
COP-2018-papers
14:00 - 15:30: COP - Session 2 at Bangkok
Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute
COP-2018-papers153174240000014:00 - 14:30
Talk
Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
COP-2018-papers153174420000014:30 - 15:00
Talk
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
COP-2018-papers153174600000015:00 - 15:30
Talk
Nicolás CardozoUniversidad de los Andes
issta-2018-Technical-Papers
14:00 - 15:30: ISSTA Technical Papers - Testing and Fault Localization at Zurich II
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis
issta-2018-Technical-Papers153174240000014:00 - 14:20
Talk
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
issta-2018-Technical-Papers153174360000014:20 - 14:40
Talk
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
issta-2018-Technical-Papers153174480000014:40 - 15:00
Talk
Per Erik StrandbergWestermo Research and Development AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Daniel SundmarkMälardalen University, Wasif AfzalMälardalen University
issta-2018-Technical-Papers153174600000015:00 - 15:20
Talk
August ShiUniversity of Illinois at Urbana-Champaign, Alex GyoriFacebook, Muhammad Suleman MahmoodUniversity of Illinois at Urbana-Champaign, Peiyuan ZhaoUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign
issta-2018-Technical-Papers153174720000015:20 - 15:30
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Pasareanu at Zurich I
Chair(s): Andreas ZellerSaarland University
ecoop-issta-2018-summer-school153174420000014:30 - 17:00
Talk
Corina PasareanuNASA Ames Research Center
issta-2018-catering
15:30 - 16:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153174780000015:30 - 16:00
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153174930000015:55 - 16:35
Talk
Eelco VisserDelft University of Technology
curryon-2018-CurryOn-Talks153175230000016:45 - 17:25
Talk
Simon BelakMetabase
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153174930000015:55 - 16:35
Talk
Chris FordThoughtWorks (UK) Ltd.
curryon-2018-CurryOn-Talks153175230000016:45 - 17:25
Talk
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153174930000015:55 - 16:35
Talk
curryon-2018-CurryOn-Talks153175230000016:45 - 17:25
Talk
Alexis KingNorthwestern University
issta-2018-Technical-Papers
16:00 - 17:30: ISSTA Technical Papers - Machine Learning at Zurich II
Chair(s): Alex OrsoGeorgia Institute of Technology
issta-2018-Technical-Papers153174960000016:00 - 16:20
Talk
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
issta-2018-Technical-Papers153175080000016:20 - 16:40
Talk
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University
issta-2018-Technical-Papers153175200000016:40 - 17:00
Talk
Anurag DwarakanathAccenture Labs, Manish AhujaAccenture Labs, Samarth SikandAccenture Labs, Raghotham M RaoAccenture Labs, R.P. Jagadeesh Chandra BoseAccenture Labs, Neville DubashAccenture Labs, Sanjay Podder
issta-2018-Technical-Papers153175320000017:00 - 17:20
Talk
Yuhao ZhangPeking University, Yifan ChenPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei XiongPeking University, Lu ZhangPeking University
Pre-print
issta-2018-Technical-Papers153175440000017:20 - 17:30
FTfJP-2018-papers
16:00 - 18:15: FTfJP - Session 3 at Hanoi
FTfJP-2018-papers153174960000016:00 - 16:25
Short-paper
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
FTfJP-2018-papers153175110000016:25 - 16:50
Short-paper
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
FTfJP-2018-papers153175260000016:50 - 17:15
Short-paper
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
FTfJP-2018-papers153175410000017:15 - 17:45
Demonstration
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
FTfJP-2018-papers153175590000017:45 - 18:15
Full-paper
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print
curryon-2018-papers
17:50 - 18:40: Curry On Keynotes - Keynote at Matterhorn
curryon-2018-papers153175620000017:50 - 18:40
Talk
Simon Peyton JonesMicrosoft Research
curryon-2018-catering
19:30 - 23:00: Catering - Curry On Party at Tobacco Theater
curryon-2018-catering153176220000019:30 - 23:00

Tue 17 Jul

issta-2018-Technical-Papers
09:00 - 10:30: ISSTA Technical Papers - Mobile at Zurich II
Chair(s): Andreas ZellerSaarland University
issta-2018-Technical-Papers153181080000009:00 - 09:20
Talk
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
issta-2018-Technical-Papers153181200000009:20 - 09:40
Talk
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
issta-2018-Technical-Papers153181320000009:40 - 10:00
Talk
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
issta-2018-Technical-Papers153181440000010:00 - 10:20
Talk
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
issta-2018-Technical-Papers153181560000010:20 - 10:30
curryon-2018-papers
09:15 - 10:20: Curry On Keynotes - Keynote at Matterhorn
curryon-2018-papers153181170000009:15 - 09:30
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
curryon-2018-papers153181260000009:30 - 10:20
Talk
issta-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153181620000010:30 - 11:00
ICOOOLPS-2018-papers
11:00 - 12:30: ICOOOLPS - Session 1 at Hanoi
ICOOOLPS-2018-papers153181800000011:00 - 12:00
Talk
ICOOOLPS-2018-papers153182190000012:05 - 12:30
Research paper
Sophie KalebaINRIA, Clément BéraRMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille
vortex-2018-papers
11:00 - 12:30: VORTEX - Session 1 at Bangkok
Chair(s): Davide AnconaUniversity of Genova
vortex-2018-papers153181800000011:00 - 11:45
Talk
Martin LeuckerUniversity of Lübeck
vortex-2018-papers153182070000011:45 - 12:30
Talk
Wolfgang AhrendtChalmers University of Technology
issta-2018-Technical-Papers
11:00 - 12:30: ISSTA Technical Papers - Static Analysis at Zurich II
Chair(s): Karim AliUniversity of Alberta
issta-2018-Technical-Papers153181800000011:00 - 11:20
Talk
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
issta-2018-Technical-Papers153181920000011:20 - 11:40
Talk
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
issta-2018-Technical-Papers153182040000011:40 - 12:00
Talk
George FourtounisUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
issta-2018-Technical-Papers153182160000012:00 - 12:20
Talk
Luc BläserHochschule für Technik Rapperswil
issta-2018-Technical-Papers153182280000012:20 - 12:30
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153181800000011:00 - 11:40
Talk
curryon-2018-CurryOn-Talks153182100000011:50 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153181800000011:00 - 11:40
Talk
Chris LaffraUber Technologies
curryon-2018-CurryOn-Talks153182100000011:50 - 12:30
Talk
Edd BarrettKing's College London
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153181800000011:00 - 11:40
Talk
curryon-2018-CurryOn-Talks153182100000011:50 - 12:30
Talk
issta-2018-ISSTA-Steering-Committee-Meeting
issta-2018-catering
12:30 - 14:00: Catering - Lunch at Lunch Room
issta-2018-catering153182340000012:30 - 14:00
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153182820000013:50 - 14:30
Talk
Ben LivshitsImperial College London, UK
curryon-2018-CurryOn-Talks153183120000014:40 - 15:20
Talk
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153182820000013:50 - 14:30
Talk
Dave ThomasKx Systems
curryon-2018-CurryOn-Talks153183120000014:40 - 15:20
Talk
curryon-2018-CurryOn-Talks
13:50 - 15:20: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153182820000013:50 - 14:30
Talk
curryon-2018-CurryOn-Talks153183120000014:40 - 15:20
Talk
issta-2018-Keynotes
14:00 - 15:30: ISSTA Keynotes - Keynote: Visser, Khurshid, and Pasareanu & Awards at Zurich II
Chair(s): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Keynotes153182880000014:00 - 15:00
Talk
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina PasareanuNASA Ames Research Center
issta-2018-Keynotes153183240000015:00 - 15:07
Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Keynotes153183282000015:07 - 15:14
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes153183324000015:14 - 15:21
Talk
Nicolás RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
issta-2018-Keynotes153183366000015:21 - 15:28
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University
ecoop-issta-2018-summer-school
14:00 - 17:30: Summer School - Lecture: Ahmed at Zurich I
Chair(s): Andreas ZellerSaarland University
ecoop-issta-2018-summer-school153182880000014:00 - 17:30
Talk
Amal AhmedNortheastern University
ICOOOLPS-2018-papers
14:00 - 15:30: ICOOOLPS - Session 2 at Hanoi
ICOOOLPS-2018-papers153182880000014:00 - 14:25
Research paper
Alexandros TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London
ICOOOLPS-2018-papers153183060000014:30 - 14:55
Research paper
Eric FritzUniversity of Wisconsin, Milwaukee
ICOOOLPS-2018-papers153183240000015:00 - 15:25
Research paper
Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands
vortex-2018-papers
14:00 - 15:30: VORTEX - Session 2 at Bangkok
Chair(s): Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
vortex-2018-papers153182880000014:00 - 14:30
Talk
Eduardo Geraldo, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa
vortex-2018-papers153183060000014:30 - 15:00
Talk
vortex-2018-papers153183240000015:00 - 15:30
Talk
Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna
issta-2018-catering
15:30 - 16:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153183420000015:30 - 16:00
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 1 at Matterhorn I
curryon-2018-CurryOn-Talks153183570000015:55 - 16:35
Talk
Manuel ChakravartyTweag I/O & IOHK
curryon-2018-CurryOn-Talks153183870000016:45 - 17:25
Talk
Michael ArntzeniusUniversity of Birmingham, UK
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 2 at Matterhorn II
curryon-2018-CurryOn-Talks153183570000015:55 - 16:35
Talk
curryon-2018-CurryOn-Talks153183870000016:45 - 17:25
Talk
Faraz BabarAmerican Express
curryon-2018-CurryOn-Talks
15:55 - 17:25: Curry On Talks - Track 3 at Matterhorn III
curryon-2018-CurryOn-Talks153183570000015:55 - 16:35
Talk
curryon-2018-CurryOn-Talks153183870000016:45 - 17:25
Talk
ICOOOLPS-2018-papers
16:00 - 18:00: ICOOOLPS - Session 3 at Hanoi
ICOOOLPS-2018-papers153183600000016:00 - 17:00
Talk
ICOOOLPS-2018-papers153183990000017:05 - 17:30
Research paper
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHPI, University of Potsdam
Pre-print
vortex-2018-papers
16:00 - 18:00: VORTEX - Session 3 at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
vortex-2018-papers153183600000016:00 - 16:45
Talk
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
vortex-2018-papers153183870000016:45 - 17:15
Talk
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
issta-2018-Technical-Papers
16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at Zurich II
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin
issta-2018-Technical-Papers153183600000016:00 - 16:20
Talk
Filip KrikavaNortheastern University, USA, Jan VitekNortheastern University
issta-2018-Technical-Papers153183720000016:20 - 16:40
Talk
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzèUniversity of Milano-Bicocca, Italy, Sergio Delgado CastellanosIMDEA Software Institute
issta-2018-Technical-Papers153183840000016:40 - 17:00
Talk
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
issta-2018-Technical-Papers153184080000017:20 - 17:30
curryon-2018-papers
17:50 - 18:40: Curry On Keynotes - Keynote at Matterhorn
curryon-2018-papers153184260000017:50 - 18:40
Talk
issta-2018-catering
19:30 - 23:00: Catering - ISSTA Banquet at Zaalverhuur Pakhuis de Zwijger
issta-2018-catering153184860000019:30 - 23:00

Wed 18 Jul

issta-2018-Keynotes
09:00 - 10:30: ISSTA Keynotes - Keynote: Ernst & ISSTA 2019 Preview at Zurich II
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes153189720000009:00 - 10:00
Talk
Michael D. ErnstUniversity of Washington, USA
issta-2018-Keynotes153190080000010:00 - 10:30
Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China
issta-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153190260000010:30 - 11:00
issta-2018-Technical-Papers
11:00 - 12:30: ISSTA Technical Papers - Porting and Repair at Zurich II
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
issta-2018-Technical-Papers153190440000011:00 - 11:20
Talk
Mohammad M. AlmasiUniversity of Manitoba, Hadi HemmatiUniversity of Calgary, Gordon FraserUniversity of Passau, Phil McMinnUniversity of Sheffield, Janis BenefeldsSEB Life and Pensions Holding AB
issta-2018-Technical-Papers153190560000011:20 - 11:40
Talk
Kareem KhazemUniversity College London, Earl BarrUniversity College London, Petr HosekGoogle, Inc.
issta-2018-Technical-Papers153190680000011:40 - 12:00
Talk
René JustUniversity of Massachusetts, USA, Chris ParninNCSU, Ian DrososUniversity of California, San Diego, Michael D. ErnstUniversity of Washington, USA
issta-2018-Technical-Papers153190800000012:00 - 12:20
Talk
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
Pre-print
issta-2018-Technical-Papers153190920000012:20 - 12:30
benchwork-2018-talks
11:00 - 12:30: BenchWork - Real-World Benchmarking at Hanoi
benchwork-2018-talks153190440000011:00 - 11:10
Karim AliUniversity of Alberta, Cristina CifuentesOracle Labs
benchwork-2018-talks153190500000011:10 - 11:40
File Attached
benchwork-2018-talks153190680000011:40 - 12:00
Edd BarrettKing's College London, Sarah MountKing's College London, Laurence TrattKing's College London
File Attached
benchwork-2018-talks153190800000012:00 - 12:30
Kevin AllixUniversity of Luxembourg
ML4PL-2018-papers
11:00 - 12:30: ML4PL - Session #1 at Bangkok
Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague
ML4PL-2018-papers153190440000011:00 - 12:00
Talk
Andreas ZellerSaarland University
ML4PL-2018-papers153190800000012:00 - 12:30
Talk
Hila PelegTechnion, Israel
ecoop-issta-2018-doctoral-symposium
11:00 - 12:30: Doc Symposium - Session 1 at Winterthur
ecoop-issta-2018-doctoral-symposium153190440000011:00 - 11:04
Day opening
ecoop-issta-2018-doctoral-symposium153190464000011:04 - 11:24
Talk
ecoop-issta-2018-doctoral-symposium153190584000011:24 - 11:40
Doctoral symposium paper
Mohammadreza AshouriUniversity of Potsdam, Germany
File Attached
ecoop-issta-2018-doctoral-symposium153190680000011:40 - 11:56
Doctoral symposium paper
Asanka SayakkaraUniversity College Dublin
ecoop-issta-2018-doctoral-symposium153190776000011:56 - 12:26
Talk
Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
File Attached
dpa-2018-papers
11:00 - 12:30: DPA - Session I at Cairo
Chair(s): Max SchaeferSemmle
dpa-2018-papers153190440000011:00 - 11:30
Talk
Magnus MadsenAalborg University
dpa-2018-papers153190620000011:30 - 12:00
Talk
Tamás Szabóitemis AG / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian ErdwegTU Delft, Markus Voelteritemis
File Attached
dpa-2018-papers153190800000012:00 - 12:30
Talk
Rei ThiessenGoogle Inc.
File Attached
wossca-2018-papers
11:00 - 12:30: WoSSCA 2018 - WoSSCA 1 at Hamburg
Chair(s): Eric JulUniversity of Oslo
wossca-2018-papers153190440000011:00 - 11:45
Talk
wossca-2018-papers153190710000011:45 - 12:30
Talk
issta-2018-catering
12:30 - 14:00: Catering - Lunch at Atrium Foyer
issta-2018-catering153190980000012:30 - 14:00
ecoop-issta-2018-doctoral-symposium
13:30 - 15:24: Doc Symposium - Session 2 at Winterthur
ecoop-issta-2018-doctoral-symposium153191520000014:00 - 14:25
Doctoral symposium paper
Olivier FluckigerNortheastern University, USA
ecoop-issta-2018-doctoral-symposium153191670000014:25 - 14:41
Doctoral symposium paper
Tony AntoniadisUniversity of Athens, Greece
ecoop-issta-2018-doctoral-symposium153191766000014:41 - 14:57
Doctoral symposium paper
Goran PiskachevFraunhofer IEM
File Attached
ecoop-issta-2018-doctoral-symposium153191862000014:57 - 15:13
Doctoral symposium paper
Timotej KapusImperial College London
ecoop-issta-2018-doctoral-symposium153191958000015:13 - 15:29
Doctoral symposium paper
Dan IorgaImperial College London, UK
benchwork-2018-talks
14:00 - 15:30: BenchWork - JavaScript & Dynamic Behaviour at Hanoi
benchwork-2018-talks153191520000014:00 - 14:30
File Attached
benchwork-2018-talks153191700000014:30 - 14:50
Petr MajCzech Technical University, Celeste HollenbeckNortheastern University, USA, Shabbir HussainNortheastern University, Jan VitekNortheastern University
benchwork-2018-talks153191820000014:50 - 15:10
Petr MajCzech Technical University, François GauthierOracle Labs, Celeste HollenbeckNortheastern University, USA, Jan VitekNortheastern University, Cristina CifuentesOracle Labs
File Attached
benchwork-2018-talks153191940000015:10 - 15:30
Li SuiMassey University, New Zealand, Jens DietrichMassey University, Michael EmeryMassey University, Amjed TahirMassey University, Shawn RasheedMassey University
ecoop-issta-2018-summer-school
14:00 - 17:30: Summer School - Lecture: Møller at Zurich I
Chair(s): Jan VitekNortheastern University
ecoop-issta-2018-summer-school153191520000014:00 - 17:30
Talk
Anders MøllerAarhus University
issta-2018-Technical-Papers
14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at Zurich II
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Technical-Papers153191520000014:00 - 14:20
Talk
Yingjun LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California
issta-2018-Technical-Papers153191640000014:20 - 14:40
Talk
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina PasareanuNASA Ames Research Center
issta-2018-Technical-Papers153191760000014:40 - 15:00
Talk
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis
issta-2018-Technical-Papers153191880000015:00 - 15:20
Talk
Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin
issta-2018-Technical-Papers153192000000015:20 - 15:30
ML4PL-2018-papers
14:00 - 15:30: ML4PL - Session #2 at Bangkok
Chair(s): Artem PelenitsynCzech Technical University in Prague
ML4PL-2018-papers153191520000014:00 - 14:30
Talk
Cristina CifuentesOracle Labs, Yang ZhaoOracle Labs, Xingzhong DuOracle Labs, Paddy Krishnan
ML4PL-2018-papers153191700000014:30 - 15:00
Talk
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
ML4PL-2018-papers153191880000015:00 - 15:30
Talk
Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains
dpa-2018-papers
14:00 - 15:30: DPA - Session II at Cairo
Chair(s): Magnus MadsenAalborg University
dpa-2018-papers153191520000014:00 - 14:30
Talk
Neville GrechUniversity of Athens
Link to publication Pre-print Media Attached File Attached
dpa-2018-papers153191700000014:30 - 15:00
Talk
Yannis SmaragdakisUniversity of Athens
dpa-2018-papers153191880000015:00 - 15:30
Talk
Pavle SuboticUniversity College London
wossca-2018-papers
14:00 - 15:30: WoSSCA 2018 - WoSSCA 2 at Hamburg
Chair(s): Eric JulUniversity of Oslo
wossca-2018-papers153191520000014:00 - 14:30
Talk
wossca-2018-papers153191700000014:30 - 15:00
Talk
wossca-2018-papers153191880000015:00 - 15:30
Talk
issta-2018-catering
15:30 - 16:00: Catering - Coffee Break at Atrium Foyer
issta-2018-catering153192060000015:30 - 16:00
ML4PL-2018-papers
16:00 - 18:00: ML4PL - Session #3 at Bangkok
Chair(s): Hila PelegTechnion, Israel
ML4PL-2018-papers153192240000016:00 - 16:30
Talk
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
ML4PL-2018-papers153192420000016:30 - 17:00
Talk
Artem PelenitsynCzech Technical University in Prague
ML4PL-2018-papers153192600000017:00 - 17:30
Meeting
ecoop-issta-2018-doctoral-symposium
16:00 - 17:43: Doc Symposium - Session 3 at Winterthur
ecoop-issta-2018-doctoral-symposium153192240000016:00 - 16:25
Doctoral symposium paper
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
Pre-print
ecoop-issta-2018-doctoral-symposium153192390000016:25 - 16:41
Doctoral symposium paper
ecoop-issta-2018-doctoral-symposium153192486000016:41 - 16:57
Doctoral symposium paper
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy
ecoop-issta-2018-doctoral-symposium153192582000016:57 - 17:27
Talk
Cindy Rubio-GonzalezUniversity of California, Davis
dpa-2018-papers
16:00 - 17:30: DPA - Session III at Cairo
Chair(s): Neville GrechUniversity of Athens
dpa-2018-papers153192240000016:00 - 16:30
Talk
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
dpa-2018-papers153192420000016:30 - 17:00
Talk
File Attached
benchwork-2018-talks
16:00 - 17:40: BenchWork - Software Engineering & Compilers at Hanoi
benchwork-2018-talks153192240000016:00 - 16:30
benchwork-2018-talks153192420000016:30 - 16:50
Ben HermannUniversity of Paderborn, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
benchwork-2018-talks153192540000016:50 - 17:10
Beau JohnstonAustralian National University
File Attached
benchwork-2018-talks153192660000017:10 - 17:40
issta-2018-demos
16:00 - 17:00: ISSTA Tool Demonstrations - Tool Demos at Zurich II
Chair(s): Saba AlimadadiNortheastern University
issta-2018-demos153192240000016:00 - 16:10
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology
issta-2018-demos153192300000016:10 - 16:20
Jiwei YanInstitute of Software, Chinese Academy of Sciences, Linjie PanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
issta-2018-demos153192360000016:20 - 16:30
Jian GaoSchool of Software, Tsinghua University, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting SunBeijing University of Posts and Telecommunications, Ming Gu
issta-2018-demos153192420000016:30 - 16:40
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
issta-2018-demos153192480000016:40 - 16:50
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
issta-2018-demos153192540000016:50 - 17:00
Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University
wossca-2018-papers
16:00 - 17:30: WoSSCA 2018 - WoSSCA 3 at Hamburg
Chair(s): Jan VitekNortheastern University
wossca-2018-papers153192240000016:00 - 16:45
Talk
Stefan BrunthalerBundeswehr University Munich
wossca-2018-papers153192510000016:45 - 17:30
Talk
Asanka SayakkaraUniversity College Dublin
ecoop-issta-2018-posters
17:00 - 20:00: Posters - Poster session at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Luc BläserHochschule für Technik Rapperswil
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Goran PiskachevFraunhofer IEM
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina PasareanuNASA Ames Research Center
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina PasareanuNASA Ames Research Center
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Filip KrikavaNortheastern University, USA, Jan VitekNortheastern University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
ecoop-issta-2018-posters153192600000017:00 - 20:00
Demonstration
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
ecoop-issta-2018-posters153192600000017:00 - 20:00
Poster
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
ecoop-issta-2018-catering
18:00 - 20:00: Catering - Poster Reception at Matterhorn
ecoop-issta-2018-catering153192960000018:00 - 20:00
Poster

Thu 19 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Welcome & Keynote: De Moor at Zurich II
Chair(s): Frank TipNortheastern University
ecoop-2018-Keynotes153198360000009:00 - 09:15
Tijs van der StormCWI & University of Groningen, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles
ecoop-2018-Keynotes153198450000009:15 - 10:15
Talk
ecoop-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
ecoop-2018-catering153198900000010:30 - 11:00
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles
ecoop-2018-papers153199080000011:00 - 11:25
Research paper
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
DOI
ecoop-2018-papers153199230000011:25 - 11:50
Research paper
Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
DOI
ecoop-2018-papers153199380000011:50 - 12:15
Research paper
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
DOI
ecoop-2018-papers153199530000012:15 - 12:40
Research paper
Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London
DOI
ecoop-issta-2018-summer-school
11:00 - 13:00: Summer School - Lecture: Orso at Zurich I
Chair(s): Jan VitekNortheastern University
ecoop-issta-2018-summer-school153199080000011:00 - 13:00
Talk
Alex OrsoGeorgia Institute of Technology
salad-2018-papers
11:00 - 12:30: SALAD - SALAD 1 at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
salad-2018-papers153199080000011:00 - 11:15
Talk
salad-2018-papers153199170000011:15 - 11:55
Talk
Nick MitchellIBM TJ Watson Research Center
salad-2018-papers153199410000011:55 - 12:30
Talk
Frank TipNortheastern University, Chris LaffraUber Technologies
intuitestbeds-2018-papers
11:00 - 12:30: INTUITESTBEDS - Session 1 at Hanoi
intuitestbeds-2018-papers153199080000011:00 - 11:10
intuitestbeds-2018-papers153199140000011:10 - 12:00
Emil AlégrothBlekinge Institute of Technology, Domenico AmalfitanoUniversity of Naples Federico II, Tanja E. J. VosUniversitat Politècnica de València and Open Universiteit, Pekka AhoOpen University of the Netherlands
intuitestbeds-2018-papers153199440000012:00 - 12:30
Talk
Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele ZuddasUniversità della Svizzera italiana (USI), Paolo Rondena
panathon-2018
11:00 - 12:30: Panathon - Session 1 at Hamburg
panathon-2018153199080000011:00 - 11:05
panathon-2018153199110000011:05 - 11:30
panathon-2018153199260000011:30 - 12:30
tavcpsiot-2018-papers
11:00 - 12:30: TAV-CPS/IoT - Welcome and Keynote at Bangkok
tavcpsiot-2018-papers153199080000011:00 - 12:00
Talk
Archan MisraSingapore Management University, Singapore
tavcpsiot-2018-papers153199440000012:00 - 12:30
Research paper
Heron YangCarnegie Mellon University, Robert MorrisMIT, Corina PasareanuNASA Ames Research Center
ecoop-2018-catering
12:40 - 14:00: Catering - Lunch at Atrium Foyer
ecoop-2018-catering153199680000012:40 - 14:00
salad-2018-papers
13:30 - 15:30: SALAD - SALAD 2 at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
salad-2018-papers153199980000013:30 - 14:00
Talk
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
salad-2018-papers153200160000014:00 - 14:30
Talk
Bjorn De SutterGhent University, Belgium
salad-2018-papers153200340000014:30 - 15:00
Talk
Jens PalsbergUniversity of California, Los Angeles
salad-2018-papers153200520000015:00 - 15:30
Talk
Linhai SongPennsylvania State University, USA, Xinyu Xing
ecoop-2018-papers
13:50 - 15:30: ECOOP Research Papers - Testing at Zurich II
Chair(s): Alastair DonaldsonImperial College London
ecoop-2018-papers153200100000013:50 - 14:15
Research paper
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research
DOI
ecoop-2018-papers153200250000014:15 - 14:40
Research paper
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
DOI
ecoop-2018-papers153200400000014:40 - 15:05
Research paper
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
ecoop-2018-papers153200550000015:05 - 15:30
Research paper
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
DOI
intuitestbeds-2018-papers
14:00 - 15:30: INTUITESTBEDS - Session 2 at Hanoi
intuitestbeds-2018-papers153200160000014:00 - 14:30
Riccardo CoppolaPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology, Luca Ardito, Marco Torchiano
intuitestbeds-2018-papers153200340000014:30 - 15:00
Talk
Domenico AmalfitanoUniversity of Naples Federico II, Anna Rita FasolinoFederico II University of Naples, Vincenzo RiccioUniversity of Naples Federico II
intuitestbeds-2018-papers153200520000015:00 - 15:30
Talk
Rudolf RamlerSoftware Competence Center Hagenberg, Thomas Wetzlmaier, Robert Hoschek
panathon-2018
14:00 - 15:30: Panathon - Session 2 at Hamburg
panathon-2018153200160000014:00 - 15:30
tavcpsiot-2018-papers
14:00 - 15:30: TAV-CPS/IoT - Talks at Bangkok
tavcpsiot-2018-papers153200160000014:00 - 15:00
Talk
Mohammad MousaviUniversity of Leicester, UK
tavcpsiot-2018-papers153200520000015:00 - 15:30
Research paper
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Click at Zurich I
Chair(s): Jan VitekNortheastern University
ecoop-issta-2018-summer-school153200340000014:30 - 17:00
Talk
ecoop-2018-catering
15:30 - 16:00: Catering - Coffee Break at Atrium Foyer
ecoop-2018-catering153200700000015:30 - 16:00
ecoop-2018-papers
16:00 - 17:15: ECOOP Research Papers - Languages at Zurich II
Chair(s): Yu David LiuState University of New York, Binghamton
ecoop-2018-papers153200880000016:00 - 16:25
Research paper
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
ecoop-2018-papers153201030000016:25 - 16:50
Research paper
Stefan KrügerUniversity of Paderborn, Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt
DOI
ecoop-2018-papers153201180000016:50 - 17:15
Research paper
Gowtham KakiPurdue University, G. RamalingamMicrosoft Research
DOI
salad-2018-papers
16:00 - 18:30: SALAD - SALAD 3 at Paris
Chair(s): Jan VitekNortheastern University
salad-2018-papers153200880000016:00 - 16:37
Talk
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
salad-2018-papers153201105000016:37 - 17:15
Talk
Julian DolbyIBM Thomas J. Watson Research Center
salad-2018-papers153201330000017:15 - 17:52
Talk
Omer TrippGoogle Inc.
salad-2018-papers153201555000017:52 - 18:30
Talk
Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida
intuitestbeds-2018-papers
16:00 - 17:30: INTUITESTBEDS - Session 3 at Hanoi
intuitestbeds-2018-papers153200880000016:00 - 16:30
intuitestbeds-2018-papers153201060000016:30 - 17:00
Talk
intuitestbeds-2018-papers153201240000017:00 - 17:30
Talk
panathon-2018
16:00 - 17:30: Panathon - Session 3 at Hamburg
panathon-2018153200880000016:00 - 17:00
panathon-2018153201240000017:00 - 17:25
panathon-2018153201390000017:25 - 17:30

Fri 20 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Awards & Keynote: Xu at Zurich II
Chair(s): Eric JulUniversity of Oslo
ecoop-2018-Keynotes153207000000009:00 - 09:03
Awards
Todd MillsteinUniversity of California, Los Angeles
ecoop-2018-Keynotes153207018000009:03 - 09:06
Awards
Philipp HallerKTH Royal Institute of Technology, Marianna RapoportUniversity of Waterloo, Maria ChristakisMPI-SWS
ecoop-2018-Keynotes153207036000009:06 - 09:09
Awards
Eric JulUniversity of Oslo, Davide AnconaUniversity of Genova
ecoop-2018-Keynotes153207054000009:09 - 09:15
Awards
Eric JulUniversity of Oslo
ecoop-2018-Keynotes153207090000009:15 - 10:15
Talk
Harry XuUniversity of California, Los Angeles
ecoop-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
ecoop-2018-catering153207540000010:30 - 11:00
SOAP-2018-papers
11:00 - 12:30: SOAP - Java at Hamburg
SOAP-2018-papers153207720000011:00 - 11:10
Day opening
Omer TrippGoogle Inc., Ben HermannUniversity of Paderborn
SOAP-2018-papers153207780000011:10 - 12:00
Talk
Jens PalsbergUniversity of California, Los Angeles, Crista Lopes
Pre-print
SOAP-2018-papers153208080000012:00 - 12:15
Talk
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Pre-print Media Attached
SOAP-2018-papers153208170000012:15 - 12:30
Talk
Michael D. ShahNortheastern University, USA, Samuel Guyer
Pre-print
isagt-2018-papers
11:00 - 12:30: ISAGT 2018 - Morning Session at Berlin
Chair(s): Chris LaffraUber Technologies
isagt-2018-papers153207720000011:00 - 11:05
Day opening
Chris LaffraUber Technologies
isagt-2018-papers153207750000011:05 - 11:30
Talk
Chris LaffraUber Technologies
isagt-2018-papers153207900000011:30 - 12:00
Talk
Filip KrikavaNortheastern University, USA
isagt-2018-papers153208080000012:00 - 12:30
Talk
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Types at Zurich II
Chair(s): Philipp HallerKTH Royal Institute of Technology
ecoop-2018-papers153207720000011:00 - 11:25
Research paper
Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
ecoop-2018-papers153207870000011:25 - 11:50
Research paper
Joana CamposUniversity of Lisbon, Portugal, Vasco T. VasconcelosUniversity of Lisbon, Portugal
DOI
ecoop-2018-papers153208020000011:50 - 12:15
Research paper
Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI
ecoop-2018-papers153208170000012:15 - 12:40
Research paper
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin, Italy
DOI
ecoop-2018-catering
12:40 - 14:00: Catering - Lunch at Atrium Foyer
ecoop-2018-catering153208320000012:40 - 14:00
ecoop-2018-papers
13:50 - 15:30: ECOOP Research Papers - Runtime Systems at Zurich II
Chair(s): Christian HammerUniversity of Potsdam
ecoop-2018-papers153208740000013:50 - 14:15
Research paper
Mohaned QunaibitUniversity of California, Irvine, Stefan BrunthalerBundeswehr University Munich, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
DOI
ecoop-2018-papers153208890000014:15 - 14:40
Research paper
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
DOI Pre-print Media Attached
ecoop-2018-papers153209040000014:40 - 15:05
Research paper
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
DOI
ecoop-2018-papers153209190000015:05 - 15:30
Research paper
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
DOI
isagt-2018-papers
14:00 - 15:30: ISAGT 2018 - After Lunch Session at Berlin
Chair(s): Chris LaffraUber Technologies
isagt-2018-papers153208800000014:00 - 14:45
Talk
Luc BläserHochschule für Technik Rapperswil
isagt-2018-papers153209070000014:45 - 15:30
Talk
Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, SnT, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
SOAP-2018-papers
14:00 - 15:30: SOAP - Bug Finding at Hamburg
SOAP-2018-papers153208800000014:00 - 14:50
Talk
Michael PradelTU Darmstadt
Pre-print File Attached
SOAP-2018-papers153209160000015:00 - 15:15
Talk
François GauthierOracle Labs, Behnaz HassanshahiOracle Labs, Australia, Alexander JordanOracle Labs, Australia
File Attached
SOAP-2018-papers153209250000015:15 - 15:30
Talk
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Briand at Zurich I
Chair(s): Andreas ZellerSaarland University
ecoop-issta-2018-summer-school153208980000014:30 - 17:00
Talk
Lionel BriandSnT Centre/University of Luxembourg
ecoop-2018-catering
15:30 - 16:00: Catering - Coffee Break at Atrium Foyer
ecoop-2018-catering153209340000015:30 - 16:00
isagt-2018-papers
16:00 - 17:30: ISAGT 2018 - After Tea Session at Berlin
Chair(s): Chris LaffraUber Technologies
isagt-2018-papers153209520000016:00 - 16:30
Talk
Julia RubinUniversity of British Columbia
isagt-2018-papers153209700000016:30 - 17:00
Talk
Chris CumminsUniversity of Edinburgh
isagt-2018-papers153209880000017:00 - 17:25
Meeting
Chris LaffraUber Technologies
isagt-2018-papers153210030000017:25 - 17:30
Day closing
Chris LaffraUber Technologies
SOAP-2018-papers
16:00 - 17:30: SOAP - Design of Static Analysis at Hamburg
SOAP-2018-papers153209520000016:00 - 16:50
Talk
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
SOAP-2018-papers153209880000017:00 - 17:15
Talk
Elena ShermanBoise State University
File Attached
SOAP-2018-papers153209970000017:15 - 17:30
Talk
Michael EichbergTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Michael ReifTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
Media Attached
ecoop-2018-papers
16:00 - 17:15: ECOOP Research Papers - Formal Calculi at Zurich II
Chair(s): Atsushi IgarashiKyoto University, Japan
ecoop-2018-papers153209520000016:00 - 16:25
Research paper
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
DOI
ecoop-2018-papers153209670000016:25 - 16:50
Research paper
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
DOI
ecoop-2018-papers153209820000016:50 - 17:15
Research paper
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
DOI
ecoop-2018-catering
19:30 - 23:00: Catering - ECOOP Banquet at De Koninklijke Industrieele Groote Club
ecoop-2018-catering153210780000019:30 - 23:00

Sat 21 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Keynote: Zeller & ECOOP 2019 Preview at Zurich II
Chair(s): Frank TipNortheastern University
ecoop-2018-Keynotes153215640000009:00 - 10:00
Talk
Andreas ZellerSaarland University
ecoop-2018-Keynotes153216000000010:00 - 10:15
Jan VitekNortheastern University
ecoop-2018-catering
10:30 - 11:00: Catering - Coffee Break at Atrium Foyer
ecoop-2018-catering153216180000010:30 - 11:00
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Static Analysis at Zurich II
Chair(s): Karim AliUniversity of Alberta
ecoop-2018-papers153216360000011:00 - 11:25
Research paper
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
DOI
ecoop-2018-papers153216510000011:25 - 11:50
Research paper
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
DOI Pre-print
ecoop-2018-papers153216660000011:50 - 12:15
Research paper
Ana MilanovaRensselaer Polytechnic Institute
DOI
ecoop-2018-papers153216810000012:15 - 12:40
Research paper
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI

Sun 15 Jul 2018

Room17:003018:003019:003020:0030
Zurich I

Tue 17 Jul 2018

<