WPTE — PROGRAM
Days: Sunday, 19 July 2026
Sunday, 19 July 2026
09:00-10:00
Session 1
WPTE
Location:
C5.05
| 09:00-10:00 |
Staging for Synthesis and Analysis (abstract) 60 min
1 Harvard University
|
10:00-10:30
Coffee Break
WPTE
Location:
C5.05
10:30-12:30
Session 2
WPTE
Location:
C5.05
| 10:30-11:00 |
An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations (abstract) 30 min
1 Alexandru Ioan Cuza University, Iasi, Romania
2 Amazon Web Services Seattle, WA, US
|
| 11:00-11:30 |
Improvement Theory for Probabilistic Call-by-Need (abstract) 30 min
1 Hochschule RheinMain - University of Applied Sciences and Arts
2 Goethe-University Frankfurt
|
| 11:30-12:00 |
A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints (abstract) 30 min
1 Nagoya University
|
| 12:00-12:30 |
Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics (abstract) 30 min
1 Independent Researcher
2 Microsoft
3 Centro de Informatica, Universidade Federal de Pernambuco
|
12:30-14:30
Lunch
WPTE
Location:
C5.05
14:30-15:30
Session 3
WPTE
Location:
C5.05
| 14:30-15:30 |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF (abstract) 60 min
1 Queen Mary University of London
|
15:30-16:00
Coffee Break
WPTE
Location:
C5.05
16:00-17:30
Session 4
WPTE
Location:
C5.05
| 16:00-16:30 |
On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises (abstract) 30 min
1 Nagoya University
|
| 16:30-17:00 |
Tactic-driven code fusion (abstract) 30 min
1 EPFL
|
| 17:00-17:30 |
Business meeting (abstract) 30 min
1 Nagoya University
|