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

Program analysis tools typically compute either may or must information. By accumulating both kinds of information computed with respect to different portions of a program’s state space, it is possible to collect a comprehensive view of how program inputs relate to some property. This can be done using the framework of an alternating conditional analysis (ACA). In this paper, we present a toolset that instantiates an ACA to analyze C programs. The toolset, dubbed ALPACA (A Large Portfolio-based ACA), computes a sound characterization of all the ways a program either may or must satisfy some property. It does so by alternating between over- and underapproximate analyses, conditioning analyses to ignore portions of the program that have already been analyzed, and combining the results of 14 state-of-the-art analysis tools in a portfolio run in parallel. Download ALPACA at https://bitbucket.org/mgerrard/alpaca. Its video demonstration is at https://youtu.be/-pma00SJc6Y.

Wed 29 May
Times are displayed in time zone: 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