This page will soon grow in content and contain information about the scope of this research track.
Accepted Papers
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
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 17:00 | |||
09:00 10mDay opening | Opening JPF | ||
09:10 50mTalk | Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting JPF Tevfik Bultan University of California, Santa Barbara | ||
10:00 30mCoffee break | Coffee break JPF | ||
10:30 30mResearch paper | Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations JPF Maria Paquin Boise State University, Elena Sherman Boise State University, Amit Jain Boise State University | ||
11:00 30mResearch paper | Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) JPF Lucas C. Cordeiro University of Manchester, UK, Daniel Kroening University of Oxford, Peter Schrammel University of Sussex | ||
11:30 30mResearch paper | Attack Synthesis for Strings using Meta-Heuristics JPF Seemanta Saha University of California Santa Barbara, Ismet Burak Kadron University of California at Santa Barbara, USA, William Eiers University of California at Santa Barbara, USA, Lucas Bang , Tevfik Bultan University of California, Santa Barbara | ||
12:00 90mLunch | Lunch @Lakeview Restaurant West JPF | ||
13:30 30mTalk | Invited talk: Test input generation using separation logic JPF Quoc-Sang Phan Fujitsu Laboratories of America | ||
14:00 30mResearch paper | Memory safety in C by abstract interpretation JPF joseph Jones Brigham Young University, James Wasson Brigham Young University, Sean Brown Brigham Young University, Seth Poulsen Brigham Young University, Peter Aldous Brigham Young University, Eric Mercer Brigham Young University | ||
14:30 30mResearch paper | Automatic Data Structure Repair using Separation Logic JPF Guolong Zheng University of Nebraska Lincoln, Quang Loc Le School of Computing, Teesside University, UK, ThanhVu Nguyen University of Nebraska-Lincoln, Quoc-Sang Phan Fujitsu Laboratories of America | ||
15:00 30mCoffee break | Coffee break JPF | ||
15:30 30mResearch paper | A Progress Bar for the JPF Search Using Program Executions JPF Kaiyuan Wang , Hayes Converse The University of Texas at Austin, Milos Gligoric University of Texas at Austin, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin | ||
16:00 50mMeeting | JPF Open Discussion JPF | ||
16:50 10mDay closing | Closing JPF | ||
Unscheduled Events
| Not scheduled Dinner | JPF Banquet JPF |
Important Dates AoE (UTC-12h)
| Mon 5 Nov 2018 Workshop date |
| Sat 15 Sep 2018 Camera-ready submission |
| Fri 24 Aug 2018 Notification |
| Sun 29 Jul 2018 Submission deadline |
Submission Link
Cyrille Artho
KTH Royal Institute of Technology, Sweden
Milos Gligoric
University of Texas at Austin
United States
Falk Howar
Clausthal University of Technology
Sarfraz Khurshid
University of Texas at Austin
United States
Kasper Luckow
Carnegie Mellon University
United States
Darko Marinov
University of Illinois at Urbana-Champaign
United States
Pavel Parizek
Charles University
Corina S. Păsăreanu
NASA Ames Research Center
Elena Sherman
Boise State University
United States
Willem Visser
Stellenbosch University
South Africa
Guowei Yang
Texas State University
Marcelo d'Amorim
Federal University of Pernambuco
Brazil
Franck van Breugel
York University, Canada