Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 17:40 - 17:50 at Laurier - Analysis and Verification Chair(s): Domenico Bianculli

Wed 29 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 18:00: Analysis and VerificationPapers / Demonstrations / Technical Track / Journal-First Papers at Laurier
Chair(s): Domenico BianculliUniversity of Luxembourg
16:00 - 16:20
Talk
Technical Track
Minxue PanNanjing University, Shouyu ChenNanjing University, Yu PeiThe Hong Kong Polytechnic University, Tian ZhangNanjing University, Xuandong LiNanjing University
16:20 - 16:40
Talk
Technical Track
Sora BaeOracle Labs, Australia, Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
16:40 - 17:00
Talk
Demonstrations
Mitchell GerrardUniversity of Virginia, Matthew DwyerUniversity of Virginia
17:00 - 17:20
Talk
Demonstrations
Derrick LockwoodIowa State University, Benjamin Holland, Suresh KothariIowa State University, USA
17:20 - 17:40
Talk
Technical Track
Richard RutledgeGeorgia Institute of Technology, Sunjae ParkGeorgia Institute of Technology, Haider KhanGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech, Milos PrvulovicGeorgia Institute of Technology, Alenka ZajicGeorgia Institute of Technology
17:40 - 17:50
Talk
Journal-First Papers
Rezwana KarimSamsung Research America, Frank TipNortheastern University, Alena SochurkovaAvast, Koushik SenUniversity of California, Berkeley
17:50 - 18:00
Talk
Papers