JPF Workshop 2017 Program

Program

09:00:10:15 Session I; chair: Nastaran Shafiei

• 09:00-09:10 Opening
• 09:10-09:30 Talks preview (10 talks - about 2 mins overview of each)
• 09:30-10:15 20 Years of JPF; Willem Visser (Invited talk)

10:15-10:40 Break

10:40-12:00 Session II; chair: Darko Marinov

• 10:40-11:10 Toward Understanding Anatomy of Test Cases; Amin Alipour (Invited Talk)
• 11:10-11:35 JPR: Replaying JPF Traces Using Standard JVM; Kaiyuan Wang, Sarfraz Khurshid, and Milos Gligoric
• 11:35-12:00 Scalable Parallel Model Checking via Monte-Carlo Tree Search; Reed Milewicz and Simon Poulding

12:00-13:15 Lunch

13:15-14:35 Session III: chair: Cyrille Artho

• 13:15-13:45 Revisiting Dynamic Slicing to Improve Statistical Fault Localization; Marcelo d’Amorim (Invited Talk)
• 13:45-14:10 Veritesting Challenges in Symb olic Execution of Java; Vaibhav Sharma, Michael Whalen, Stephen McCamant, and Willem Visser
• 14:10-14:35 Shadow Symbolic Execution with Java PathFinder; Yannic Noller, Hoang Lam Nguyen, Minxing Tang, and Timo Kehrer

14:35-15:00 Break

15:00-16:05 Session IV; chair: Milos Gligoric

• 15:00-15:25 Consistency-Aware Scheduling for Weakly Consistent Programs; Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Külahçıoğlu Özkan, Erdal Mutlu, and Serdar Tasiran
• 15:25-15:45 JPF Visual; Cyrille Valentin Artho and Qiyi Tang (Extended Abstract)
• 15:45-16:05 DEEPSEA: Dynamic Symbolic Execution for Java; Jaco Geldenhuys and Willem Visser (Extended Abstract)

** Note: finishing at 16:05 gives enough time to catch flights from CMI at 17:29 (United to ORD) and 18:07 (American to ORD)

16:05-16:30 JPF Open Discussion

16:30-16:40 Closing

17:30-la:te Workshop Dinner