ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich II
Floor0
Room number
Capacity50
Additional informationThere is no additional information of this room available.
Program

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

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
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
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
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University
issta-2018-Keynotes153183282000015:07 - 15:14
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
issta-2018-Keynotes153183324000015:14 - 15:21
Tevfik BultanUniversity of California, Santa Barbara
issta-2018-Keynotes153183366000015:21 - 15:28
Talk
Nicolás RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
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

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

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

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

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

Mon 16 Jul 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Zurich II

Tue 17 Jul 2018

Wed 18 Jul 2018

Thu 19 Jul 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Zurich II

Fri 20 Jul 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Zurich II

Sat 21 Jul 2018

Tue 17 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zurich II

Wed 18 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zurich II