Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
VenueOnline
Room nameonline
Capacity300
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

Mon 30 Nov

Displayed time zone: Osaka, Sapporo, Tokyo change

13:45 - 14:00
OpeningReports at online
14:00 - 15:00
Keynote-1Keynote 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 SolvingResearch 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
TypesResearch 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, Antonio 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 VerificationResearch 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 AutomationResearch 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-2Keynote 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 sessionPosters at online

Wed 2 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 15:00
Keynote-3Keynote 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 TransformationResearch 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
SemanticsResearch 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
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
ClosingReports at online

Mon 30 Nov

Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 1 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 2 Dec

Displayed time zone: Osaka, Sapporo, Tokyo change