This page will soon grow in content and contain information about the scope of this research track.

Accepted Papers

Title
A Progress Bar for the JPF Search Using Program Executions
JPF
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
JPF
Attack Synthesis for Strings using Meta-Heuristics
JPF
Automatic Data Structure Repair using Separation Logic
JPF
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
JPF
Invited talk: Test input generation using separation logic
JPF
JPF Banquet
JPF
Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
JPF
Memory safety in C by abstract interpretation
JPF

Call for Papers

We solicit regular paper submissions on existing research and applications related to JPF or its extensions. If the underlying research idea has been published in another venue, the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit extended abstracts and position paper submissions on recent work or work in progress. We welcome comparative analysis papers that evaluate algorithms in JPF or its extensions with other relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF and Java/Android program analysis in general.

Topics of interest include the following:

  • JPF extensions or tools
  • JPF case studies
  • Position papers on JPF, such as future directions
  • Java program analysis or verification
  • Android program analysis or verification
  • General software verification and symbolic execution techniques or tools

Submission formats

We solicit two types of submissions to be uploaded on EasyChair/JPF2018:

  • Regular papers: At most 5-page long papers in the ACM SEN Proceedings format will be reviewed by the organizing committee. Accepted regular papers will be presented at the workshop and published in the ACM SIGSOFT Software Engineering Notes and the ACM Digital Library, as in previous years.
  • Extended abstracts: At most 2-page long abstracts will be selected by the organizing committee. Accepted abstracts will be presented at the workshop but NOT published.

Registration

Please refer to the ESEC/FSE 2018 website

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

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
10m
Day opening
Opening
JPF
09:10
50m
Talk
Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting
JPF
Tevfik BultanUniversity of California, Santa Barbara
10:00
30m
Coffee break
Coffee break
JPF
10:30
30m
Research paper
Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
JPF
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00
30m
Research paper
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
JPF
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30
30m
Research paper
Attack Synthesis for Strings using Meta-Heuristics
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
90m
Lunch
Lunch @Lakeview Restaurant West
JPF
13:30
30m
Talk
Invited talk: Test input generation using separation logic
JPF
Quoc-Sang PhanFujitsu Laboratories of America
14:00
30m
Research paper
Memory safety in C by abstract interpretation
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
30m
Research paper
Automatic Data Structure Repair using Separation Logic
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
30m
Coffee break
Coffee break
JPF
15:30
30m
Research paper
A Progress Bar for the JPF Search Using Program Executions
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
50m
Meeting
JPF Open Discussion
JPF
16:50
10m
Day closing
Closing
JPF

Not scheduled yet

Not scheduled yet
Dinner
JPF Banquet
JPF