Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Toggle navigation
Attending
Venue: Online
Registration
Program
APLAS Program
Your Program
Mon 30 Nov
Tue 1 Dec
Wed 2 Dec
Tracks
APLAS 2020
Keynote Talks
Posters
Reports
Research Papers
Organization
APLAS 2020 Committees
Organising Committee
Program Committee
Contributors
People Index
Search
Series
Series
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2020
(
series
) /
Online
/
Room information: online
Venue
Online
Room name
online
Capacity
300
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+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Mon 30 Nov
Displayed time zone:
Osaka, Sapporo, Tokyo
change
13:45 - 14:00
Opening
Reports
at
online
14:00 - 15:00
Keynote-1
Keynote Talks
at
online
14:00
60m
Keynote
Integrated Scientific Modeling and Lab Automation
Keynote Talks
Luca Cardelli
Microsoft Research and University of Oxford
Link to publication
Pre-print
15:30 - 17:00
Debugging, Profiling and Constraint Solving
Research Papers
at
online
Chair(s):
Tachio Terauchi
Waseda University
15:30
30m
Talk
A Counterexample-Guided Debugger for Non-Recursive Datalog
Research Papers
Van-Dang Tran
National Institute of Informatics, Japan
,
Hiroyuki Kato
National Institute of Informatics, Japan
,
Zhenjiang Hu
Peking University
16:00
30m
Talk
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Research Papers
Yu-Fang Chen
Academia Sinica, Taiwan
,
Vojtěch Havlena
Brno University of Technology
,
Ondřej Lengál
Brno University of Technology
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
16:30
30m
Talk
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper)
Research Papers
Andrea Rosà
University of Lugano, Switzerland
,
Walter Binder
University of Lugano, Switzerland
17:30 - 19:30
Types
Research Papers
at
online
Chair(s):
Marco Servetto
Victoria University Wellington, New Zealand
17:30
30m
Talk
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Research Papers
Julian Mackay
Victoria University of Wellington
,
Alex Potanin
Victoria University of Wellington
,
Jonathan Aldrich
Carnegie Mellon University
,
Lindsay Groves
Victoria University of Wellington
18:00
30m
Talk
A New Refinement Type System for Automated nu-HFLZ Validity Checking
Research Papers
Hiroyuki Katsura
The University of Tokyo
,
Naoki Iwayama
University of Tokyo, Japan
,
Naoki Kobayashi
University of Tokyo, Japan
,
Takeshi Tsukada
Chiba University, Japan
18:30
30m
Talk
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Research Papers
Mario Bravetti
Università di Bologna
,
Adrian Francalanza
University of Malta
,
Iaroslav Golovanov
Department of Computer Science, Aalborg University
,
Hans Hüttel
Department of Computer Science, Aalborg University
,
Mathias Steen Jakobsen
Department of Computer Science, Aalborg University, Denmark
,
Mikkel Klinke Kettunen
Department of Computer Science, Aalborg University, Denmark
,
António Ravara
Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
19:00
30m
Talk
Neural Networks, Secure by Construction: An Exploration of Refinement Types
Research Papers
Wen Kokke
University of Edinburgh
,
Ekaterina Komendantskaya
Heriot-Watt University, UK
,
Daniel Kienitz
Heriot-Watt University
,
David Aspinall
University of Edinburgh
,
Robert Atkey
University of Strathclyde
Tue 1 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
change
10:30 - 12:00
Program Analysis and Verification
Research Papers
at
online
Chair(s):
Benjamin Delaware
Purdue University
10:30
30m
Talk
Declarative Stream Runtime Verification (hLola)
Research Papers
Martin Ceresa
UNR - CIFASIS - CONICET
,
Felipe Gorostiaga
IMDEA Software Institute
,
César Sánchez
IMDEA Software Institute
11:00
30m
Talk
A Set-Based Context Model for Program Analysis
Research Papers
Zachary Palmer
Swarthmore College
,
Scott F. Smith
The Johns Hopkins University
,
Leandro Facchinetti
The Johns Hopkins University
,
Ayaka Yorihiro
Cornell University
,
Ke Wu
Johns Hopkins University
11:30
30m
Talk
Formal Verification of Atomicity Requirements for Smart Contracts
Research Papers
Ning Han
Capital Normal University
,
Ximeng Li
Capital Normal University
,
Guohui Wang
Capital Normal University, Beijing, China
,
Zhiping Shi
Capital Normal University
,
Yong Guan
Capital Normal University, Beijing, China
16:00 - 17:30
Program Generation, Transactions and Automation
Research Papers
at
online
Chair(s):
Shigeru Chiba
The University of Tokyo
16:00
30m
Talk
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Research Papers
Xiaotong Liu
School of Software and Microelectronics, Peking University, Beijing, China
,
Tong Jia
School of Software and Microelectronics, Peking University, Beijing, China
,
Ying Li
School of Software and Microelectronics, Peking University, Beijing, China
,
Hao Yu
Peking University
,
Yang Yue
University of California, Irvine
,
Chuanjia Hou
School of Software and Microelectronics, Peking University, Beijing, China
16:30
30m
Talk
Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
Research Papers
Shashank Shekhar Dubey
IIT Madras
,
KC Sivaramakrishnan
IIT Madras
,
Thomas Gazagnaire
Tarides
,
Anil Madhavapeddy
University of Cambridge
17:00
30m
Talk
Stack-Driven Program Generation of WebAssembly
Research Papers
Árpád Perényi
University of Southern Denmark
,
Jan Midtgaard
University of Southern Denmark
18:00 - 19:00
Keynote-2
Keynote Talks
at
online
18:00
60m
Keynote
Object Support for GPU Programming: Why and How
Keynote Talks
Hidehiko Masuhara
Tokyo Institute of Technology
Link to publication
21:00 - 22:00
Poster session
Posters
at
online
Wed 2 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
change
14:00 - 15:00
Keynote-3
Keynote Talks
at
online
14:00
60m
Keynote
Generating Programs from Types
Keynote Talks
Nadia Polikarpova
University of California at San Diego
Link to publication
15:30 - 17:00
Synthesis and Program Transformation
Research Papers
at
online
Chair(s):
Cristina David
University of Oxford
15:30
30m
Talk
Relational Synthesis for Pattern Matching
Research Papers
Dmitrii Kosarev
,
Dmitri Boulytchev
Saint Petersburg State University / JetBrains Research
16:00
30m
Talk
Parameterized Synthesis with Safety Properties
Research Papers
Oliver Markgraf
Technische Universität Kaiserslautern
,
Anthony Widjaja Lin
Technische Universität Kaiserslautern
,
Daniel Neider
Max Planck Institute for Software Systems
,
Muhammad Najib
Technische Universität Kaiserslautern
,
Chih-Duo Hong
University of Oxford
16:30
30m
Talk
REFINITY to Model and Prove Program Transformation Rules
Research Papers
Dominic Steinhöfel
Technical University of Darmstadt
17:30 - 19:00
Semantics
Research Papers
at
online
Chair(s):
Florian Rabe
University of Erlangen
17:30
30m
Talk
Certified Semantics for Relational Programming
Research Papers
Dmitry Rozplokhas
Higher School of Economics and JetBrains Research, Russia
,
Andrey Vyatkin
Saint Petersburg State University, Russia
,
Dmitri Boulytchev
Saint Petersburg State University / JetBrains Research
18:00
30m
Talk
An Abstract Machine for Strong Call by Value
Research Papers
Malgorzata Biernacka
University of Wroclaw
,
Dariusz Biernacki
University of Wrocław
,
Witold Charatonik
Institute of Computer Science, University of Wroclaw
,
Tomasz Drab
Institute of Computer Science, University of Wroclaw
Link to publication
18:30
30m
Talk
Algebraic and coalgebraic perspectives on interaction laws
Research Papers
Tarmo Uustalu
Reykjavik University
,
Niels Voorneveld
Tallinn University of Technology
19:00 - 19:05
Closing
Reports
at
online
Mon 30 Nov
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
online
Reports
Opening
Keynote Talks
Keynote-1
Research Papers
Debugging, Profiling and Constraint Solving
Research Papers
Types
Tue 1 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
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
20:00
30
21:00
30
online
Research Papers
Program Analysis and Verification
Research Papers
Program Generation, Transactions and Automation
Keynote Talks
Keynote-2
Posters
Poster session
Wed 2 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
online
Keynote Talks
Keynote-3
Research Papers
Synthesis and Program Transformation
Research Papers
Semantics
Reports
Closing
Mon 30 Nov
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
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
online
APLAS Keynote Talks
Integrated Scientific Modeling and Lab Automation
14:00 - 15:00
APLAS Research Papers
A Counterexample-Guided Debugger for Non-Recursive Datalog
15:30 - 16:00
APLAS Research Papers
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
16:00 - 16:30
APLAS Research Papers
P3: A Profiler Suite for Parallel Applications on the Java Virtual Mach ...
16:30 - 17:00
APLAS Research Papers
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
17:30 - 18:00
APLAS Research Papers
A New Refinement Type System for Automated nu-HFLZ Validity Checking
18:00 - 18:30
APLAS Research Papers
Behavioural Types for Memory and Method Safety in a Core Object-Oriente ...
18:30 - 19:00
APLAS Research Papers
Neural Networks, Secure by Construction: An Exploration of Refinement Types
19:00 - 19:30
Tue 1 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
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
online
APLAS Research Papers
Declarative Stream Runtime Verification (hLola)
10:30 - 11:00
APLAS Research Papers
A Set-Based Context Model for Program Analysis
11:00 - 11:30
APLAS Research Papers
Formal Verification of Atomicity Requirements for Smart Contracts
11:30 - 12:00
APLAS Research Papers
Automatically Generating Descriptive Texts in Logging Statements: How F ...
16:00 - 16:30
APLAS Research Papers
Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
16:30 - 17:00
APLAS Research Papers
Stack-Driven Program Generation of WebAssembly
17:00 - 17:30
APLAS Keynote Talks
Object Support for GPU Programming: Why and How
18:00 - 19:00
Wed 2 Dec
Displayed time zone:
Osaka, Sapporo, Tokyo
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
online
APLAS Keynote Talks
Generating Programs from Types
14:00 - 15:00
APLAS Research Papers
Relational Synthesis for Pattern Matching
15:30 - 16:00
APLAS Research Papers
Parameterized Synthesis with Safety Properties
16:00 - 16:30
APLAS Research Papers
REFINITY to Model and Prove Program Transformation Rules
16:30 - 17:00
APLAS Research Papers
Certified Semantics for Relational Programming
17:30 - 18:00
APLAS Research Papers
An Abstract Machine for Strong Call by Value
18:00 - 18:30
APLAS Research Papers
Algebraic and coalgebraic perspectives on interaction laws
18:30 - 19:00
x
Sat 21 Dec 18:43