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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Welcome & Keynote: TorlakISSTA Keynotes at Zurich II
Chair(s): Frank TipNortheastern University
09:00 - 09:15
ISSTA Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15 - 10:15
Talk
ISSTA Keynotes
Emina TorlakUniversity of Washington
11:00 - 12:30: Secure and SoundISSTA Technical Papers at Zurich II
Chair(s): Cristian CadarImperial College London
11:00 - 11:20
Talk
ISSTA Technical Papers
Martin KelloggUniversity of Washington, Seattle, Vlastimil DortCharles University, Suzanne MillsteinUniversity of Washington, Michael D. ErnstUniversity of Washington, USA
11:20 - 11:40
Talk
ISSTA Technical Papers
Meng WuVirginia Tech, Shengjian (Daniel) GuoVirginia Tech, Patrick SchaumontVirginia Tech, Chao WangUniversity of Southern California
11:40 - 12:00
Talk
ISSTA Technical Papers
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
ISSTA Technical Papers
Magnus MadsenAalborg University, Ondřej LhotákUniversity of Waterloo, Canada
12:20 - 12:30
ISSTA Technical Papers
14:00 - 15:30: Testing and Fault LocalizationISSTA Technical Papers at Zurich II
Chair(s): Cindy Rubio-GonzálezUniversity of California, Davis
14:00 - 14:20
Talk
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
16:00 - 17:30: Machine LearningISSTA Technical Papers at Zurich II
Chair(s): Alex OrsoGeorgia Institute of Technology
16:00 - 16:20
Talk
ISSTA Technical Papers
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
16:20 - 16:40
Talk
ISSTA Technical Papers
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University
16:40 - 17:00
Talk
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: MobileISSTA Technical Papers at Zurich II
Chair(s): Andreas ZellerSaarland University
09:00 - 09:20
Talk
ISSTA Technical Papers
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
09:20 - 09:40
Talk
ISSTA Technical Papers
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
09:40 - 10:00
Talk
ISSTA Technical Papers
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
10:00 - 10:20
Talk
ISSTA Technical Papers
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
10:20 - 10:30
ISSTA Technical Papers
11:00 - 12:30: Static AnalysisISSTA Technical Papers at Zurich II
Chair(s): Karim AliUniversity of Alberta
11:00 - 11:20
Talk
ISSTA Technical Papers
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
11:20 - 11:40
Talk
ISSTA Technical Papers
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
11:40 - 12:00
Talk
ISSTA Technical Papers
George FourtounisUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
12:00 - 12:20
Talk
ISSTA Technical Papers
Luc BläserHochschule für Technik Rapperswil
12:20 - 12:30
ISSTA Technical Papers
14:00 - 15:30: Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II
Chair(s): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara
14:00 - 15:00
Talk
ISSTA Keynotes
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S PasareanuNASA Ames Research Center
15:00 - 15:07
ISSTA Keynotes
Tevfik BultanUniversity of California, Santa Barbara
15:07 - 15:14
ISSTA Keynotes
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14 - 15:21
Talk
ISSTA Keynotes
Nico RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
15:21 - 15:28
ISSTA Keynotes
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University
16:00 - 17:30: Test and Oracle GenerationISSTA Technical Papers at Zurich II
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin
16:00 - 16:20
Talk
ISSTA Technical Papers
Filip KřikavaCzech Technical University, Jan VitekNortheastern University
16:20 - 16:40
Talk
ISSTA Technical Papers
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
ISSTA Technical Papers
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
17:20 - 17:30
ISSTA Technical Papers

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00 - 10:00
Talk
ISSTA Keynotes
Michael D. ErnstUniversity of Washington, USA
10:00 - 10:30
ISSTA Keynotes
Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China
11:00 - 12:30: Porting and RepairISSTA Technical Papers at Zurich II
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
11:00 - 11:20
Talk
ISSTA Technical Papers
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
ISSTA Technical Papers
Kareem KhazemUniversity College London, Earl T. BarrUniversity College London, Petr HosekGoogle, Inc.
11:40 - 12:00
Talk
ISSTA Technical Papers
René JustUniversity of Massachusetts, USA, Chris ParninNCSU, Ian DrososUniversity of California, San Diego, Michael D. ErnstUniversity of Washington, USA
12:00 - 12:20
Talk
ISSTA Technical Papers
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
Pre-print
12:20 - 12:30
ISSTA Technical Papers
14:00 - 15:30: Optimization and PerformanceISSTA Technical Papers at Zurich II
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
14:00 - 14:20
Talk
ISSTA Technical Papers
Yingjun LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California
14:20 - 14:40
Talk
ISSTA Technical Papers
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
14:40 - 15:00
Talk
ISSTA Technical Papers
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
15:00 - 15:20
Talk
ISSTA Technical Papers
Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin
15:20 - 15:30
ISSTA Technical Papers
16:00 - 17:00: Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba AlimadadiNortheastern University
16:00 - 16:10
ISSTA Tool Demonstrations
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, Tomáš VojnarBrno University of Technology
16:10 - 16:20
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Welcome & Keynote: De MoorECOOP Keynotes at Zurich II
Chair(s): Frank TipNortheastern University
09:00 - 09:15
ECOOP Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles
09:15 - 10:15
Talk
ECOOP Keynotes
11:00 - 12:40: Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles
11:00 - 11:25
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
DOI
11:50 - 12:15
Research paper
ECOOP Research Papers
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
DOI
12:15 - 12:40
Research paper
ECOOP Research Papers
Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London
DOI
13:50 - 15:30: TestingECOOP Research Papers at Zurich II
Chair(s): Alastair DonaldsonImperial College London
13:50 - 14:15
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
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
ECOOP Research Papers
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
15:05 - 15:30
Research paper
ECOOP Research Papers
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
DOI
16:00 - 17:15: LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David LiuState University of New York, Binghamton
16:00 - 16:25
Research paper
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
16:25 - 16:50
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
Gowtham KakiPurdue University, G. RamalingamMicrosoft Research
DOI

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Awards & Keynote: XuECOOP Keynotes at Zurich II
Chair(s): Eric JulUniversity of Oslo
09:00 - 09:03
Awards
ECOOP Keynotes
Todd MillsteinUniversity of California, Los Angeles
09:03 - 09:06
Awards
ECOOP Keynotes
Philipp HallerKTH Royal Institute of Technology, Marianna RapoportUniversity of Waterloo, Maria ChristakisMPI-SWS
09:06 - 09:09
Awards
ECOOP Keynotes
Eric JulUniversity of Oslo, Davide AnconaUniversity of Genova
09:09 - 09:15
Awards
ECOOP Keynotes
Eric JulUniversity of Oslo
09:15 - 10:15
Talk
ECOOP Keynotes
Harry XuUniversity of California, Los Angeles
11:00 - 12:40: TypesECOOP Research Papers at Zurich II
Chair(s): Philipp HallerKTH Royal Institute of Technology
11:00 - 11:25
Research paper
ECOOP Research Papers
Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
11:25 - 11:50
Research paper
ECOOP Research Papers
Joana CamposUniversity of Lisbon, Portugal, Vasco T. VasconcelosUniversity of Lisbon, Portugal
DOI
11:50 - 12:15
Research paper
ECOOP Research Papers
Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI
12:15 - 12:40
Research paper
ECOOP Research Papers
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin, Italy
DOI
13:50 - 15:30: Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian HammerUniversity of Potsdam
13:50 - 14:15
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
DOI Pre-print Media Attached
14:40 - 15:05
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
DOI
16:00 - 17:15: Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi IgarashiKyoto University, Japan
16:00 - 16:25
Research paper
ECOOP Research Papers
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
ECOOP Research Papers
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
DOI
16:50 - 17:15
Research paper
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
DOI

Sat 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Keynote: Zeller & ECOOP 2019 PreviewECOOP Keynotes at Zurich II
Chair(s): Frank TipNortheastern University
09:00 - 10:00
Talk
ECOOP Keynotes
Andreas ZellerSaarland University
10:00 - 10:15
ECOOP Keynotes
Jan VitekNortheastern University
11:00 - 12:40: Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim AliUniversity of Alberta
11:00 - 11:25
Research paper
ECOOP Research Papers
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
DOI
11:25 - 11:50
Research paper
ECOOP Research Papers
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
DOI Pre-print
11:50 - 12:15
Research paper
ECOOP Research Papers
Ana MilanovaRensselaer Polytechnic Institute
DOI
12:15 - 12:40
Research paper
ECOOP Research Papers
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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