VORTEX 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
Program
VORTEX Program
Your Program
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
VORTEX 2021
VORTEX
ECOOP and ISSTA 2021
Workshops
Organization
VORTEX 2021 Committees
Track Committees
VORTEX
Organizing Committee
VORTEX
Program Committee
ECOOP and ISSTA
Workshops
Contributors
People Index
Search
Series
Series
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
VORTEX 2021 (
series
) /
online
/
Room information: ECOOP 1
Venue
online
Room name
ECOOP 1
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
Wed 14 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
18:30 - 19:30
Types (time band 1)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Sam Tobin-Hochstadt
Indiana University
18:30
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish Tondwalkar
University of California, San Diego
,
Matthew Kolosick
University of California, San Diego
,
Ranjit Jhala
University of California at San Diego
DOI
18:50
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van Antwerpen
Delft University of Technology
,
Eelco Visser
Delft University of Technology
DOI
File Attached
19:10
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin Brady
University of St Andrews, UK
DOI
Media Attached
19:40 - 20:40
Modular Programming / Types (time band 1)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Alexander J. Summers
University of British Columbia (UBC)
19:40
20m
Talk
Compositional Programming
TOPLAS Journal-First
ECOOP Technical Papers
Weixin Zhang
University of Bristol, UK
,
Yaozhu Sun
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
Pre-print
Media Attached
File Attached
20:00
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan Bessai
Technical University Dortmund
,
George Heineman
WPI
,
Boris Düdder
University of Copenhagen
DOI
20:20
20m
Talk
A Dependently Typed Calculus with Polymorphic Subtyping
SCICO Journal-First
ECOOP Technical Papers
Mingqi Xue
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
00:20 - 01:20
Language Design (time band 2)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Jens Dietrich
Victoria University of Wellington
00:20
20m
Talk
Lambda-based object-oriented programming
Pearl
ECOOP Technical Papers
Marco Servetto
Victoria University Wellington, New Zealand
,
Elena Zucca
University of Genova
DOI
Media Attached
00:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse
Uber ATCP
,
Remi Delmas
Uber ATCP
,
Youssef Hamadi
Uber Elevate
DOI
01:00
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Mamezou Co.,Ltd.
,
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
01:40 - 02:20
Types (time band 2)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Werner Dietl
University of Waterloo
01:40
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia Ye
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Xuejing Huang
The University of Hong Kong
DOI
Media Attached
File Attached
02:00
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish Tondwalkar
University of California, San Diego
,
Matthew Kolosick
University of California, San Diego
,
Ranjit Jhala
University of California at San Diego
DOI
09:10 - 10:10
Potpourri (time band 3)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Viktor Kunčak
EPFL, Switzerland
09:10
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia Ye
The University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
,
Xuejing Huang
The University of Hong Kong
DOI
Media Attached
File Attached
09:30
20m
Talk
Lambda-based object-oriented programming
Pearl
ECOOP Technical Papers
Marco Servetto
Victoria University Wellington, New Zealand
,
Elena Zucca
University of Genova
DOI
Media Attached
09:50
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse
Uber ATCP
,
Remi Delmas
Uber ATCP
,
Youssef Hamadi
Uber Elevate
DOI
19:00 - 20:00
Program Analysis (time band 1)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Uday P. Khedker
Indian Institute of Technology (IIT) Bombay
19:00
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Distinguished Paper
ECOOP Technical Papers
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
Ben Hermann
Technical University Dortmund
,
Eric Bodden
University of Paderborn; Fraunhofer IEM
Link to publication
DOI
Pre-print
Media Attached
19:20
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. Dimovski
Mother Teresa University, Skopje
,
Sven Apel
Saarland University
DOI
19:40
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam Estep
Carnegie Mellon University
,
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile
,
Johannes Bader
Jane Street
,
Joshua Sunshine
Carnegie Mellon University
DOI
Pre-print
Media Attached
File Attached
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
02:00 - 03:20
Program Analysis / Runtimes (time band 2)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Werner Dietl
University of Waterloo
02:00
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam Estep
Carnegie Mellon University
,
Jenna DiVincenzo (Wise)
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile
,
Johannes Bader
Jane Street
,
Joshua Sunshine
Carnegie Mellon University
DOI
Pre-print
Media Attached
File Attached
02:20
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang Zhang
North Carolina State University
,
Xipeng Shen
North Carolina State University
DOI
02:40
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. Dimovski
Mother Teresa University, Skopje
,
Sven Apel
Saarland University
DOI
03:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie He
University of New South Wales
,
Jingbo Lu
UNSW Sydney
,
Yaoqing Gao
Huawei Canada
,
Jingling Xue
UNSW
DOI
Pre-print
08:00 - 09:00
Empirical Studies / Parallelism (time band 3)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Hakjoo Oh
Korea University
08:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr Maj
Czech Technical University
,
Konrad Siek
Czech Technical University in Prague
,
Jan Vitek
Northeastern University / Czech Technical University
,
Alexander Kovalenko
Czech Technical University in Prague
DOI
08:20
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen Arteca
Northeastern University
,
Frank Tip
Northeastern University
,
Max Schaefer
GitHub, Inc.
DOI
08:40
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong Gu
Shanghai Jiao Tong University, China
,
Sunghun Kim
Hong Kong University of Science and Technology
,
Yo-Sub Han
Yonsei University
,
Hongyu Zhang
University of Newcastle
DOI
10:00 - 11:20
Types / Program Analysis (time band 3)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
George Fourtounis
University of Athens
10:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie He
University of New South Wales
,
Jingbo Lu
UNSW Sydney
,
Yaoqing Gao
Huawei Canada
,
Jingling Xue
UNSW
DOI
Pre-print
10:20
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Distinguished Paper
ECOOP Technical Papers
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
Ben Hermann
Technical University Dortmund
,
Eric Bodden
University of Paderborn; Fraunhofer IEM
Link to publication
DOI
Pre-print
Media Attached
10:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van Antwerpen
Delft University of Technology
,
Eelco Visser
Delft University of Technology
DOI
File Attached
11:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin Brady
University of St Andrews, UK
DOI
Media Attached
19:00 - 20:00
Potpourri (time band 1)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Omer Tripp
Amazon
19:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr Maj
Czech Technical University
,
Konrad Siek
Czech Technical University in Prague
,
Jan Vitek
Northeastern University / Czech Technical University
,
Alexander Kovalenko
Czech Technical University in Prague
DOI
19:20
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu Hao
Ohio State University
,
Sufian Latif
Ohio State University
,
Hailong Zhang
Fordham University
,
Raef Bassily
Ohio State University
,
Atanas Rountev
Ohio State University
DOI
19:40
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo Bonifácio
Computer Science Department - University of Brasília
,
Stefan Krüger
Independent Researcher
,
Krishna Narasimhan
TU Darmstadt
,
Eric Bodden
University of Paderborn; Fraunhofer IEM
,
Mira Mezini
TU Darmstadt, Germany
DOI
Sat 17 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
01:10 - 02:30
Potpourri (time band 2)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Lingming Zhang
University of Illinois at Urbana-Champaign
01:10
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu Hao
Ohio State University
,
Sufian Latif
Ohio State University
,
Hailong Zhang
Fordham University
,
Raef Bassily
Ohio State University
,
Atanas Rountev
Ohio State University
DOI
01:30
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong Gu
Shanghai Jiao Tong University, China
,
Sunghun Kim
Hong Kong University of Science and Technology
,
Yo-Sub Han
Yonsei University
,
Hongyu Zhang
University of Newcastle
DOI
01:50
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad Rau
Georgia Institute of Technology
,
Caleb Voss
Georgia Institute of Technology
,
Vivek Sarkar
Georgia Institute of Technology
DOI
02:10
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo Bonifácio
Computer Science Department - University of Brasília
,
Stefan Krüger
Independent Researcher
,
Krishna Narasimhan
TU Darmstadt
,
Eric Bodden
University of Paderborn; Fraunhofer IEM
,
Mira Mezini
TU Darmstadt, Germany
DOI
09:30 - 10:50
Multiparty Programming and Session Types (time band 3)
ECOOP Technical Papers
at
ECOOP 1
Chair(s):
Lu Zhang
Peking University
09:30
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo Burlò
Gran Sasso Science Institute
,
Adrian Francalanza
University of Malta
,
Alceste Scalas
Technical University of Denmark
DOI
09:50
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul Harvey
Rakuten Mobile Innovation Studio
,
Simon Fowler
University of Glasgow
,
Ornela Dardha
University of Glasgow
,
Simon J. Gay
University of Glasgow, UK
DOI
Pre-print
Media Attached
10:10
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Mamezou Co.,Ltd.
,
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
10:30
20m
Talk
Multiparty Languages: the Choreographic and Multitier Cases
Distinguished Paper
Pearl
ECOOP Technical Papers
Saverio Giallorenzo
Alma Mater Studiorum - Università di Bologna
,
Fabrizio Montesi
University of Southern Denmark
,
Marco Peressotti
University of Southern Denmark
,
David Richter
Technical University of Darmstadt
,
Guido Salvaneschi
University of St. Gallen
,
Pascal Weisenburger
TU Darmstadt
Link to publication
DOI
Wed 14 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
18:00
30
19:00
30
20:00
30
ECOOP 1
ECOOP Technical Papers
Types (time band 1)
ECOOP Technical Papers
Modular Programming / Types (time band 1)
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
ECOOP 1
ECOOP Technical Papers
Language Design (time band 2)
ECOOP Technical Papers
Types (time band 2)
ECOOP Technical Papers
Potpourri (time band 3)
ECOOP Technical Papers
Program Analysis (time band 1)
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
ECOOP 1
ECOOP Technical Papers
Program Analysis / Runtimes (time band 2)
ECOOP Technical Papers
Empirical Studies / Parallelism (time band 3)
ECOOP Technical Papers
Types / Program Analysis (time band 3)
ECOOP Technical Papers
Potpourri (time band 1)
Sat 17 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
ECOOP 1
ECOOP Technical Papers
Potpourri (time band 2)
ECOOP Technical Papers
Multiparty Programming and Session Types (time band 3)
Wed 14 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
ECOOP 1
ECOOP Technical Papers
Refinements of Futures Past: Higher-Order Specification with Implicit R ...
18:30 - 18:50
ECOOP Technical Papers
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
18:50 - 19:10
ECOOP Technical Papers
Idris 2: Quantitative Type Theory in Practice
19:10 - 19:30
ECOOP Technical Papers
TOPLAS Journal-First
Compositional Programming
19:40 - 20:00
ECOOP Technical Papers
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular So ...
20:00 - 20:20
ECOOP Technical Papers
SCICO Journal-First
A Dependently Typed Calculus with Polymorphic Subtyping
20:20 - 20:40
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
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
ECOOP 1
ECOOP Technical Papers
Pearl
Lambda-based object-oriented programming
00:20 - 00:40
ECOOP Technical Papers
ALPACAS: A Language for Parametric Assessment of Critical Architecture ...
00:40 - 01:00
ECOOP Technical Papers
Signal Classes: A Mechanism for Building Synchronous and Persistent Sig ...
01:00 - 01:20
ECOOP Technical Papers
Type-Directed Operational Semantics for Gradual Typing
01:40 - 02:00
ECOOP Technical Papers
Refinements of Futures Past: Higher-Order Specification with Implicit R ...
02:00 - 02:20
ECOOP Technical Papers
Type-Directed Operational Semantics for Gradual Typing
09:10 - 09:30
ECOOP Technical Papers
Pearl
Lambda-based object-oriented programming
09:30 - 09:50
ECOOP Technical Papers
ALPACAS: A Language for Parametric Assessment of Critical Architecture ...
09:50 - 10:10
ECOOP Technical Papers
Distinguished Paper
Lossless, Persisted Summarization of Static Callgraph, Points-To and Da ...
19:00 - 19:20
ECOOP Technical Papers
Lifted Static Analysis of Dynamic Program Families by Abstract Interpre ...
19:20 - 19:40
ECOOP Technical Papers
Gradual Program Analysis for Null Pointers
19:40 - 20:00
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
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
ECOOP 1
ECOOP Technical Papers
Gradual Program Analysis for Null Pointers
02:00 - 02:20
ECOOP Technical Papers
Best-Effort Lazy Evaluation for Python Software Built On APIs
02:20 - 02:40
ECOOP Technical Papers
Lifted Static Analysis of Dynamic Program Families by Abstract Interpre ...
02:40 - 03:00
ECOOP Technical Papers
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Con ...
03:00 - 03:20
ECOOP Technical Papers
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
08:00 - 08:20
ECOOP Technical Papers
Enabling Additional Parallelism in Asynchronous JavaScript Applications
08:20 - 08:40
ECOOP Technical Papers
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among ...
08:40 - 09:00
ECOOP Technical Papers
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Con ...
10:00 - 10:20
ECOOP Technical Papers
Distinguished Paper
Lossless, Persisted Summarization of Static Callgraph, Points-To and Da ...
10:20 - 10:40
ECOOP Technical Papers
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
10:40 - 11:00
ECOOP Technical Papers
Idris 2: Quantitative Type Theory in Practice
11:00 - 11:20
ECOOP Technical Papers
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
19:00 - 19:20
ECOOP Technical Papers
Differential Privacy for Coverage Analysis of Software Traces
19:20 - 19:40
ECOOP Technical Papers
Dealing with Variability in API Misuse Specification
19:40 - 20:00
Sat 17 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
ECOOP 1
ECOOP Technical Papers
Differential Privacy for Coverage Analysis of Software Traces
01:10 - 01:30
ECOOP Technical Papers
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among ...
01:30 - 01:50
ECOOP Technical Papers
Linear Promises: Towards Safer Concurrent Programming
01:50 - 02:10
ECOOP Technical Papers
Dealing with Variability in API Misuse Specification
02:10 - 02:30
ECOOP Technical Papers
On the Monitorability of Session Types, in Theory and Practice
09:30 - 09:50
ECOOP Technical Papers
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
09:50 - 10:10
ECOOP Technical Papers
Signal Classes: A Mechanism for Building Synchronous and Persistent Sig ...
10:10 - 10:30
ECOOP Technical Papers
Distinguished Paper
Pearl
Multiparty Languages: the Choreographic and Multitier Cases
10:30 - 10:50
x
Sat 23 Nov 14:01