Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / SPIN 2021 (series) / online /

Room information: FTfJP

Venueonline
Room nameFTfJP
Room InformationNo extra information available
Program

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

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 16:35
FTfJP Workshop-1FTfJP at FTfJP
14:00
5m
Talk
Welcome
FTfJP

14:05
30m
Talk
Refactoring traces to identify concurrency improvements
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
14:35
30m
Talk
A Generic Type System for Featherweight Java
FTfJP
Ulrich Schöpp fortiss GmbH, P: Chuangjie Xu fortiss GmbH
15:05
30m
Talk
Source code patches from dynamic analysis
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
15:35
30m
Talk
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
30m
Talk
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
FTfJP Workshop-2FTfJP at FTfJP
16:50
30m
Talk
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
30m
Talk
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
30m
Talk
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
30m
Talk
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
FTfJP
P: Armand Puccetti , Gaël de Chalendar , Pierre-Yves Gibello
DOI File Attached
18:50
30m
Talk
JML and OpenJML for Java 16
FTfJP
P: David Cok Safer Software Consulting, LLC
File Attached
19:20 - 20:00
FTfJP Workshop-3FTfJP at FTfJP
19:20
40m
Live Q&A
Discussion and Conclusion
FTfJP

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room14:003015:003016:003017:003018:003019:0030
FTfJP

FTfJP

FTfJP Workshop-1

FTfJP

FTfJP Workshop-2

FTfJP

FTfJP Workshop-3

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room14:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
FTfJP
FTfJP
Welcome
14:00 - 14:05
FTfJP
Refactoring traces to identify concurrency improvements
14:05 - 14:35
FTfJP
A Generic Type System for Featherweight Java
14:35 - 15:05
FTfJP
Source code patches from dynamic analysis
15:05 - 15:35
FTfJP
Reconstructing Z3 Proofs in KeY: There and Back Again
15:35 - 16:05
FTfJP
Using Dafny to Solve the VerifyThis 2021 Challenges
16:05 - 16:35
FTfJP
IntelliJML: A JML plugin for IntelliJ IDEA
16:50 - 17:20
FTfJP
Ensuring correct cryptographic algorithm and provider usage at compile time
17:20 - 17:50
FTfJP
Behavioural Separation with Parallel Usages
17:50 - 18:20
FTfJP
Combining Formal and Machine Learning Techniques for the Generation of ...
18:20 - 18:50
FTfJP
JML and OpenJML for Java 16
18:50 - 19:20
FTfJP
Discussion and Conclusion
19:20 - 20:00