Tue 10 Nov 2020 01:41 - 02:00 at Virtual room 2 - Analysis 2
Tue 10 Nov Times are displayed in time zone: (UTC) Coordinated Universal Time change
Tue 10 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change
01:30 - 02:00: Analysis 2Paper Presentations / Industry Papers / Research Papers / Journal First / Tool Demos at Virtual room 2 | |||
01:30 - 01:35 Talk | A Study of Call Graph Construction for JVM-Hosted Languages Journal First Karim AliUniversity of Alberta, Xiaoni LaiGoogle, Zhaoyi LuoMicrosoft, Ondřej LhotákUniversity of Waterloo, Julian DolbyIBM Research, USA, Frank TipNortheastern University Pre-print Media Attached | ||
01:33 - 01:34 Talk | Change Impact Analysis in Simulink Designs of Embedded Systems Industry Papers Bennett MackenzieMcMaster University, Canada, Vera PantelicMcMaster University, Canada, Gordon MarksMcMaster University, Canada, Stephen Wynn-WilliamsMcMaster University, Canada, Gehan SelimMcMaster University, Canada, Mark LawfordMcMaster, Alan WassyngMcMaster University, Canada, Moustapha DiabFCA, USA, Feisel WeslatiFCA, USA DOI | ||
01:35 - 01:36 Talk | Dads: Dynamic Slicing Continuously-Running Distributed Programs with Budget Constraints Tool Demos Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Li LiMonash University, Australia DOI | ||
01:37 - 01:38 Talk | JShrink: In-Depth Investigation into Debloating Modern Java Applications Research Papers Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Jaspreet AroraUniversity of California at Los Angeles, USA, Guoqing Harry XuUniversity of California at Los Angeles, Miryung KimUniversity of California at Los Angeles, USA DOI | ||
01:39 - 01:40 Talk | Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy Research Papers DOI | ||
01:41 - 02:00 Talk | Conversations on Analysis 2 Research Papers Karim AliUniversity of Alberta, Pengyu NieUniversity of Texas at Austin, USA, SooYoung Chae, Xiaoqin FuWashington State University, Hoda KhalilCarleton University, M: Shin Hwei TanSouthern University of Science and Technology |