Mon 5 Nov 2018 11:00 - 11:30 at Spring Lake - JPF Workshop

Empirical evaluation of verification tools by benchmarking is a common method in software verification research. The Competition on Software Verification (SV-COMP) aims at standardization and reproducibility of benchmarking within the software verification community in an annual basis, through comparative evaluation of fully-automatic software verifiers for C programs. Building upon this success, we describe here how to re-use the ecosystem developed around SV-COMP for benchmarking Java verification tools. We provide a detailed description of the rules for benchmark verification tasks, the integration of new tools into SV-COMP’s benchmarking framework and also give experimental results of a benchmarking run on three state-of-the-art Java verification tools, JPF-SE, JayHorn and JBMC.

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 17:00: JPF WorkshopJPF at Spring Lake
09:00 - 09:10
Day opening
JPF
09:10 - 10:00
Talk
JPF
Tevfik BultanUniversity of California, Santa Barbara
10:00 - 10:30
Coffee break
JPF
10:30 - 11:00
Research paper
JPF
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00 - 11:30
Research paper
JPF
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30 - 12:00
Research paper
JPF
Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara
12:00 - 13:30
Lunch
JPF
13:30 - 14:00
Talk
JPF
Quoc-Sang PhanFujitsu Laboratories of America
14:00 - 14:30
Research paper
JPF
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
14:30 - 15:00
Research paper
JPF
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
15:00 - 15:30
Coffee break
JPF
15:30 - 16:00
Research paper
JPF
Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:00 - 16:50
Meeting
JPF
16:50 - 17:00
Day closing
JPF