Filter
Sun 15 Jul
17:00 - 20:00: Summer School - Welcome: Peyton Jones at Zurich I Chair(s): Jan VitekNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Talk | Simon Peyton JonesMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
Mon 16 Jul
09:00 - 10:30: ISSTA Keynotes - Welcome & Keynote: Torlak at Zurich II Chair(s): Frank TipNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 | Tijs van der StormCWI, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:15 Talk | Emina TorlakUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ISSTA Technical Papers - Secure and Sound at Zurich II Chair(s): Cristian CadarImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Talk | Martin KelloggUniversity of Washington, Seattle, Vlastimil DortCharles University, Suzanne MillsteinUniversity of Washington, Michael D. ErnstUniversity of Washington, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | Meng WuVirginia Tech, Shengjian (Daniel) GuoVirginia Tech, Patrick SchaumontVirginia Tech, Chao WangUniversity of Southern California | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:20 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: COP - Session 1 at Bangkok Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Takuo WatanabeTokyo Institute of Technology Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Full-paper | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 12: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Bas GeerdinkING | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Holden KarauGoogle | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Miles SabinUnderscore LLP | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Deian StefanUniversity of California, San Diego | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Jesse AlamaVicampo | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Ivan ČukićKDE e.V. | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Jennifer Mary JacobsStanford | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | John MummVectrology Solutions | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Fraser TweedaleRed Hat | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | Andrea PeruffoNokia | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: COP - Session 2 at Bangkok Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Nicolás CardozoUniversidad de los Andes | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Sophia DrossopoulouImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Full-paper | David CokCEA, LIST, Software Safety and Security Laboratory Pre-print | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: ISSTA Technical Papers - Testing and Fault Localization at Zurich II Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis | ||||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||
14:30 - 17:00: Summer School - Lecture: Pasareanu at Zurich I Chair(s): Andreas ZellerSaarland University | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 17:00 Talk | Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Simon BelakMetabase | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Chris FordThoughtWorks (UK) Ltd. | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Yulia StartsevMozilla | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Andrea LeopardiWeedmaps | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Alexis KingNorthwestern University | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: ISSTA Technical Papers - Machine Learning at Zurich II Chair(s): Alex OrsoGeorgia Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:30 | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:25 Short-paper | David CokCEA, LIST, Software Safety and Security Laboratory Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:50 Short-paper | Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:15 Short-paper | Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 17:45 Demonstration | Wytse OortwijnUniversity of Twente, The Netherlands Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:50 - 18:40 Talk | Simon Peyton JonesMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
Tue 17 Jul
09:00 - 10:30: ISSTA Technical Papers - Mobile at Zurich II Chair(s): Andreas ZellerSaarland University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:20 Talk | Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:40 Talk | Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT | |||||||||||||||||||||||||||||||||||||||||
| 09:40 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:30 | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 09:30 | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:20 Talk | Felienne HermansTU Delft | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:45 Talk | Martin LeuckerUniversity of Lübeck | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:30 Talk | Wolfgang AhrendtChalmers University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Filip PizloApple | |||||||||||||||||||||||||||||||||||||||||
| 12:05 - 12:30 Research paper | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ISSTA Technical Papers - Static Analysis at Zurich II Chair(s): Karim AliUniversity of Alberta | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Talk | Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | George FourtounisUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:20 Talk | Luc BläserHochschule für Technik Rapperswil | |||||||||||||||||||||||||||||||||||||||||
| 12:20 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Thomas WuerthingerOracle Labs | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Manu SridharanUber | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Chris LaffraUber Technologies | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | Edd BarrettKing's College London | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:40 Talk | Arnout EngelenLightbend | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
12:30 - 14:00: ISSTA Steering Committee Meeting (By Invitation Only) - ISSTA Steering Committee Meeting at ISSTA Steering Committee Meeting Room | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Ben LivshitsImperial College London, UK | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | Cliff ClickSelf | |||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Dave ThomasKx Systems | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:50 - 14:30 Talk | Alexander ThiemannStripe Inc | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:07 | Tevfik BultanUniversity of California, Santa Barbara | |||||||||||||||||||||||||||||||||||||||||
| 15:07 - 15:14 | Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 15:14 - 15:21 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:21 - 15:28 | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 17:30: Summer School - Lecture: Ahmed at Zurich I Chair(s): Andreas ZellerSaarland University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 17:30 Talk | Amal AhmedNortheastern University | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: VORTEX - Session 2 at Bangkok Chair(s): Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Research paper | Alexandros TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:55 Research paper | Eric FritzUniversity of Wisconsin, Milwaukee | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:25 Research paper | Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Manuel ChakravartyTweag I/O & IOHK | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Michael ArntzeniusUniversity of Birmingham, UK | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Tyler McMullenFastly | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Faraz BabarAmerican Express | |||||||||||||||||||||||||||||||||||||||||
| 15:55 - 16:35 Talk | Andreas GarnæsZendesk | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:25 Talk | Sylwia BrodackaLuna | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:45 Talk | Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:05 - 17:30 Research paper | Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHPI, University of Potsdam Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at Zurich II Chair(s): Sarfraz KhurshidUniversity of Texas at Austin | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:00 Talk | Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song | |||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:30 | ||||||||||||||||||||||||||||||||||||||||||
| 17:50 - 18:40 Talk | Steve FranciaGoogle | |||||||||||||||||||||||||||||||||||||||||
Wed 18 Jul
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 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Michael D. ErnstUniversity of Washington, USA | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ISSTA Technical Papers - Porting and Repair at Zurich II Chair(s): Julian DolbyIBM Thomas J. Watson Research Center | ||||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | René JustUniversity of Massachusetts, USA, Chris ParninNCSU, Ian DrososUniversity of California, San Diego, Michael D. ErnstUniversity of Washington, USA | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:20 Talk | Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:20 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:10 | ||||||||||||||||||||||||||||||||||||||||||
| 11:10 - 11:40 | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 | Edd BarrettKing's College London, Sarah MountKing's College London, Laurence TrattKing's College London File Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 | Kevin AllixUniversity of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: ML4PL - Session #1 at Bangkok Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Andreas ZellerSaarland University | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Hila PelegTechnion, Israel | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:04 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 11:04 - 11:24 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:24 - 11:40 Doctoral symposium paper | Mohammadreza AshouriUniversity of Potsdam, Germany File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 11:56 Doctoral symposium paper | Asanka SayakkaraUniversity College Dublin File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:56 - 12:26 Talk | Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Magnus MadsenAalborg University | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Rei ThiessenGoogle Inc. File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:45 Talk | Filip PizloApple | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:30 Talk | Chris PalmerGoogle | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:25 Doctoral symposium paper | Olivier FlückigerNortheastern University, USA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:25 - 14:41 Doctoral symposium paper | Tony AntoniadisUniversity of Athens, Greece File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:41 - 14:57 Doctoral symposium paper | Goran PiskachevFraunhofer IEM File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:57 - 15:13 Doctoral symposium paper | Timotej KapusImperial College London File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:13 - 15:29 Doctoral symposium paper | Dan IorgaImperial College London, UK | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 | Saam BaratiApple File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:50 | Petr MajCzech Technical University, Celeste HollenbeckNortheastern University, USA, Shabbir HussainNortheastern University, Jan VitekNortheastern University | |||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:10 | Petr MajCzech Technical University, François GauthierOracle Labs, Celeste HollenbeckNortheastern University, USA, Jan VitekNortheastern University, Cristina CifuentesOracle Labs File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:10 - 15:30 | Li SuiMassey University, New Zealand, Jens DietrichMassey University, Michael EmeryMassey University, Amjed TahirMassey University, Shawn RasheedMassey University | |||||||||||||||||||||||||||||||||||||||||
14:00 - 17:30: Summer School - Lecture: Møller at Zurich I Chair(s): Jan VitekNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 17:30 Talk | Anders MøllerAarhus University | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at Zurich II Chair(s): Tevfik BultanUniversity of California, Santa Barbara | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Yingjun LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:20 Talk | Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: ML4PL - Session #2 at Bangkok Chair(s): Artem PelenitsynCzech Technical University in Prague | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Neville GrechUniversity of Athens Link to publication Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Pavle SuboticUniversity College London | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Chandler CarruthGoogle | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Aastha MehtaMPI-SWS | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Artem PelenitsynCzech Technical University in Prague | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Meeting | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:25 Doctoral symposium paper | Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:41 Doctoral symposium paper | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:41 - 16:57 Doctoral symposium paper | Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:57 - 17:27 Talk | Cindy Rubio-GonzalezUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM) File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Max SchaeferSemmle File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:50 | Ben HermannUniversity of Paderborn, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:10 | Beau JohnstonAustralian National University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 17:40 | Andrew CraikIBM | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:00: ISSTA Tool Demonstrations - Tool Demos at Zurich II Chair(s): Saba AlimadadiNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:40 | Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 16:50 | Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:00 | Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:45 Talk | Stefan BrunthalerBundeswehr University Munich | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:30 Talk | Asanka SayakkaraUniversity College Dublin | |||||||||||||||||||||||||||||||||||||||||
17:00 - 20:00: Posters - Poster session at Matterhorn Chair(s): Lisa Nguyen Quang DoPaderborn University | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Luc BläserHochschule für Technik Rapperswil | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Goran PiskachevFraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 20:00 Poster | Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology | |||||||||||||||||||||||||||||||||||||||||
Thu 19 Jul
09:00 - 10:30: ECOOP Keynotes - Welcome & Keynote: De Moor at Zurich II Chair(s): Frank TipNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 | Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:15 Talk | Oege de MoorSemmle | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at Zurich II Chair(s): Todd MillsteinUniversity of California, Los Angeles | ||||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:25 - 11:50 Research paper | Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:15 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:40 Research paper | Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 13:00 Talk | Alex OrsoGeorgia Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:55 Talk | Nick MitchellIBM TJ Watson Research Center | |||||||||||||||||||||||||||||||||||||||||
| 11:55 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:10 | ||||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele ZuddasUniversità della Svizzera italiana (USI), Paolo Rondena | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Archan MisraSingapore Management University, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Research paper | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Bjorn De SutterGhent University, Belgium | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Jens PalsbergUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:50 - 15:30: ECOOP Research Papers - Testing at Zurich II Chair(s): Alastair DonaldsonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:05 Research paper | Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:05 - 15:30 Research paper | Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 | Riccardo CoppolaPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology, Luca Ardito, Marco Torchiano | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities Domenico AmalfitanoUniversity of Naples Federico II, Anna Rita FasolinoFederico II University of Naples, Vincenzo RiccioUniversity of Naples Federico II | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Mohammad MousaviUniversity of Leicester, UK | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
14:30 - 17:00: Summer School - Lecture: Click at Zurich I Chair(s): Jan VitekNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 17:00 Talk | Cliff ClickSelf | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:15: ECOOP Research Papers - Languages at Zurich II Chair(s): Yu David LiuState University of New York, Binghamton | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:25 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:15 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:37 Talk | Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:15 Talk | Julian DolbyIBM Thomas J. Watson Research Center | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 17:52 Talk | Omer TrippGoogle Inc. | |||||||||||||||||||||||||||||||||||||||||
| 17: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 | |||||||||||||||||||||||||||||||||||||||||
Fri 20 Jul
09:00 - 10:30: ECOOP Keynotes - Awards & Keynote: Xu at Zurich II Chair(s): Eric JulUniversity of Oslo | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:03 Awards | Todd MillsteinUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 09:03 - 09:06 Awards | Philipp HallerKTH Royal Institute of Technology, Marianna RapoportUniversity of Waterloo, Maria ChristakisMPI-SWS | |||||||||||||||||||||||||||||||||||||||||
| 09:06 - 09:09 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 09:09 - 09:15 Awards | Eric JulUniversity of Oslo | |||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:15 Talk | Harry XuUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 11:10 - 12:00 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:15 Talk | Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Mira MeziniTU Darmstadt Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:30 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:05 Day opening | Chris LaffraUber Technologies | |||||||||||||||||||||||||||||||||||||||||
| 11:05 - 11:30 Talk | Chris LaffraUber Technologies | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Filip KrikavaCzech Technical University | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:40: ECOOP Research Papers - Types at Zurich II Chair(s): Philipp HallerKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:25 Research paper | Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:25 - 11:50 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:15 Research paper | Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:40 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
13:50 - 15:30: ECOOP Research Papers - Runtime Systems at Zurich II Chair(s): Christian HammerUniversity of Potsdam | ||||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:40 Research paper | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 15:05 - 15:30 Research paper | Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University DOI | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:45 Talk | Luc BläserHochschule für Technik Rapperswil | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:30 Talk | Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, SnT, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:50 Talk | Michael PradelTU Darmstadt Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:15 Talk | François GauthierOracle Labs, Behnaz HassanshahiOracle Labs, Australia, Alexander JordanOracle Labs, Australia Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:15 - 15:30 Talk | Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria File Attached | |||||||||||||||||||||||||||||||||||||||||
14:30 - 17:00: Summer School - Lecture: Briand at Zurich I Chair(s): Andreas ZellerSaarland University | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 17:00 Talk | Lionel BriandSnT Centre/University of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Julia RubinUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Chris CumminsUniversity of Edinburgh | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:25 Meeting | Chris LaffraUber Technologies | |||||||||||||||||||||||||||||||||||||||||
| 17:25 - 17:30 Day closing | Chris LaffraUber Technologies | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:50 Talk | Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:15 Talk | Elena ShermanBoise State University Link to publication DOI File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17: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 Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:15: ECOOP Research Papers - Formal Calculi at Zurich II Chair(s): Atsushi IgarashiKyoto University, Japan | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:50 Research paper | Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:15 Research paper | Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven DOI | |||||||||||||||||||||||||||||||||||||||||
Sat 21 Jul
09:00 - 10:30: ECOOP Keynotes - Keynote: Zeller & ECOOP 2019 Preview at Zurich II Chair(s): Frank TipNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Andreas ZellerSaarland University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:15 | Jan VitekNortheastern University | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:40: ECOOP Research Papers - Static Analysis at Zurich II Chair(s): Karim AliUniversity of Alberta | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:25 Research paper | DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:25 - 11:50 Research paper | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:50 - 12:15 Research paper | Ana MilanovaRensselaer Polytechnic Institute DOI | |||||||||||||||||||||||||||||||||||||||||
| 12:15 - 12:40 Research paper | Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens DOI | |||||||||||||||||||||||||||||||||||||||||
Sun 15 Jul 2018
| Room | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 16 Jul 2018
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Atrium Foyer | 10:30 - 11:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Bangkok | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Hanoi | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 18:15 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Lunch Room | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn | 09:15 - 10:20 | 17:50 - 18:40 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn I | 11:00 - 12:30 | 13:50 - 15:20 | 15:55 - 17:25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn II | 11:00 - 12:30 | 13:50 - 15:20 | 15:55 - 17:25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn III | 11:00 - 12:30 | 13:50 - 15:20 | 15:55 - 17:25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tobacco Theater | 19:30 - 23:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Zurich II | 09:00 - 10:30 | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 17:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 17 Jul 2018
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | 23:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Atrium Foyer | 10:30 - 11:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Bangkok | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 18:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Hanoi | 11:00 - 12:30 | 14:00 - 15:30 | 16:00 - 18:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Lunch Room | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn | 09:15 - 10:20 | 17:50 - 18:40 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn I | 11:00 - 12:30 | 13:50 - 15:20 | 15:55 - 17:25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn II | 11:00 - 12:30 | 13:50 - 15:20 | 15:55 - 17:25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Matterhorn III | 11:00 - 12:30 | 13:50 - 15:20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||