Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021
Online
Toggle navigation
Attending
Venue: online
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Sponsorship
Sponsorship
Sponsors and Supporters
Program
ECOOP and ISSTA Program
Your Program
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
ECOOP
ECOOP
ECOOP
Technical Papers
ECOOP
Artifacts
ECOOP
Keynotes
ISSTA
ISSTA
ISSTA
Technical Papers
ISSTA
Artifact Evaluation
ISSTA
Tool Demonstrations
ISSTA
Keynotes
REBASE
SPIN
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ECOOP and ISSTA 2021 Committees
Organizing Committee
Track Committees
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
ECOOP
Organizing Committee
ECOOP Technical Papers
ECOOP Artifacts
ISSTA
Organizing Comittee
Program Committee
Artifact Evaluation
Tool Demonstrations
REBASE
REBASE
SPIN
Organizing Committee
Programming Committee
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
Search
Series
Series
ISSTA/ECOOP 2024
ECOOP and ISSTA 2023
ECOOP and ISSTA 2021
ECOOP and ISSTA 2018
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
online
/
Room information: FTfJP
Venue
online
Room name
FTfJP
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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-1
FTfJP
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-2
FTfJP
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-3
FTfJP
at
FTfJP
19:20
40m
Live Q&A
Discussion and Conclusion
FTfJP
Tue 13 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
FTfJP
FTfJP
FTfJP Workshop-1
FTfJP
FTfJP Workshop-2
FTfJP
FTfJP Workshop-3
Tue 13 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
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
x
Tue 10 Dec 15:26