ECOOP and ISSTA 2021 (series) / FTfJP 2021 (series) /
FTfJP 2021 Program
This is the FTfJP 2021 program - see the full program for ECOOP and ISSTA 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 13 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 16:35 | |||
14:00 5mTalk | Welcome FTfJP | ||
14:05 30mTalk | Refactoring traces to identify concurrency improvements FTfJP | ||
14:35 30mTalk | A Generic Type System for Featherweight Java FTfJP | ||
15:05 30mTalk | Source code patches from dynamic analysis FTfJP | ||
15:35 30mTalk | Reconstructing Z3 Proofs in KeY: There and Back Again FTfJP P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology File Attached | ||
16:05 30mTalk | Using Dafny to Solve the VerifyThis 2021 Challenges FTfJP P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University |
16:50 - 18:50 | |||
16:50 30mTalk | IntelliJML: A JML plugin for IntelliJ IDEA FTfJP P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente File Attached | ||
17:20 30mTalk | Ensuring correct cryptographic algorithm and provider usage at compile time FTfJP P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo Media Attached | ||
17:50 30mTalk | Behavioural Separation with Parallel Usages FTfJP Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark | ||
18:20 30mTalk | Combining Formal and Machine Learning Techniques for the Generation of JML Specifications FTfJP DOI File Attached | ||
18:50 30mTalk | JML and OpenJML for Java 16 FTfJP File Attached |
19:20 - 20:00 | |||
19:20 40mLive Q&A | Discussion and Conclusion FTfJP |