COP 2023
Dates to be announced Seattle (University of Washington campus), Washington, United States
co-located with ECOOP and ISSTA 2023
ECOOP and ISSTA 2023 (series) / COP 2023 (series) / Seattle /

Room information: Anderson Seminar Room (Gates 271)

VenueSeattle
Room nameAnderson Seminar Room (Gates 271)
Floor2
Room numberGates 271
Capacity40
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 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:00
KeynoteFTfJP at Anderson Seminar Room (Gates 271)
09:00
60m
Keynote
State of state in Dafny
FTfJP
K. Rustan M. Leino Amazon
10:30 - 12:00
VerificationFTfJP at Anderson Seminar Room (Gates 271)
10:30
25m
Talk
Verifying C++ dynamic binding
FTfJP
Niels Mommen KU Leuven, Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven
Link to publication DOI Pre-print
10:55
15m
Talk
Correctness-by-Construction meets Refinement Types
FTfJP
Baber Rehman The University of Hong Kong
11:10
25m
Talk
Towards Verified Scalable Parallel Computing with Coq and Spark
FTfJP
Frederic Loulergue Université d'Orléans, Jolan Philippe IMT Atlantique
DOI
11:35
25m
Talk
Constructing Structured SSA from FJ
FTfJP
Kenny Zhuo Ming Lu ISTD, Singapore University of Technology and Design, Daniel Yu Hian Low Singapore University of Technology and Design
13:30 - 15:00
Runtime checking and static analysisFTfJP at Anderson Seminar Room (Gates 271)
13:30
25m
Talk
Gradual Guarantee for FJ with lambda-expressions
FTfJP
Pedro Ângelo University of Porto, Viviana Bono University of Torino, Mariangiola Dezani Università di Torino, Mário Florido Universidade do Porto
13:55
25m
Talk
Points-to Analysis for Context-Oriented JavaScript Programs
FTfJP
Sergio Cardenas Universidad de los Andes, Paul Leger Universidad Católica del Norte, Chile, Hiroaki Fukuda Shibaura Institute of Technology, Nicolás Cardozo Universidad de los Andes
DOI Media Attached
14:20
25m
Talk
Dependency-free Capture Tracking
FTfJP
Edward Lee University of Waterloo, Kavin Satheeskumar University of Waterloo, Ondřej Lhoták University of Waterloo
15:30 - 17:00
Other topicsFTfJP at Anderson Seminar Room (Gates 271)
15:30
25m
Talk
Runtime verification of hash code in mutable classes
FTfJP
Davide Ancona DIBRIS, University of Genova, Italy, Angelo Ferrando DIBRIS, Università di Genova, Viviana Mascardi DIBRIS, University of Genova, Italy
15:55
25m
Talk
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
FTfJP
Luka Miljak Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Flip van Spaendonck TU Eindhoven
DOI
16:25
20m
Talk
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
FTfJP
Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt
Pre-print

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Anderson Seminar Room (Gates 271)

FTfJP

Keynote

FTfJP

Verification

FTfJP

Runtime checking and static analysis

FTfJP

Other topics

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Anderson Seminar Room (Gates 271)
FTfJP
State of state in Dafny
09:00 - 10:00
FTfJP
Verifying C++ dynamic binding
10:30 - 10:55
FTfJP
Correctness-by-Construction meets Refinement Types
10:55 - 11:10
FTfJP
Towards Verified Scalable Parallel Computing with Coq and Spark
11:10 - 11:35
FTfJP
Constructing Structured SSA from FJ
11:35 - 12:00
FTfJP
Gradual Guarantee for FJ with lambda-expressions
13:30 - 13:55
FTfJP
Points-to Analysis for Context-Oriented JavaScript Programs
13:55 - 14:20
FTfJP
Dependency-free Capture Tracking
14:20 - 14:45
FTfJP
Runtime verification of hash code in mutable classes
15:30 - 15:55
FTfJP
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
15:55 - 16:20
FTfJP
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
16:25 - 16:45