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

Static program analysis is a powerful technique that reasons about a program’s behavior without actually executing the program. To balance between the precision and the efficiency of an analyzer, developers often manually tune-up analyzer’s parameters for a specific program. However, this task can be tedious and time-consuming. To automate the search for the optimal parameters for a program, researchers employ machine learning (ML) techniques, that from the existing data learn the relationship between the program and the optimal parameters, which it encodes in an ML model.

The existing, or training, data set, plays an important role in the correctness of an ML model. In this work we investigate whether automatically generated programs are adequate for training an ML model, which determines SPF’s configurations for a given Java method. To do this, we compare the performance of a model trained on real programs with that of a model trained on synthetic programs. Our results indicate that while synthetic programs are inadequate for training a model alone, adding them to the training set of real programs improves the classification power of the resulting model.

PACLab Requirements Gathering website.

Mon 5 Nov

jpf-2018-papers
08:30 - 17:00: JPF - JPF Workshop at Spring Lake
jpf-2018-papers09:00 - 09:10
Day opening
jpf-2018-papers09:10 - 10:00
Talk
Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers10:00 - 10:30
Coffee break
jpf-2018-papers10:30 - 11:00
Research paper
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
jpf-2018-papers11:00 - 11:30
Research paper
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
jpf-2018-papers11:30 - 12:00
Research paper
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
jpf-2018-papers12:00 - 13:30
Lunch
jpf-2018-papers13:30 - 14:00
Talk
Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers14:00 - 14:30
Research paper
joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University
jpf-2018-papers14:30 - 15:00
Research paper
Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers15:00 - 15:30
Coffee break
jpf-2018-papers15:30 - 16:00
Research paper
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
jpf-2018-papers16:00 - 16:50
Meeting
jpf-2018-papers16:50 - 17:00
Day closing