Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
VenueOnline
Room nameonline
Capacity300
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

13:45 - 14:00: OpeningReports at online
14:00 - 15:00: Keynote-1Keynote Talks at online
14:00 - 15:00
Keynote
Integrated Scientific Modeling and Lab Automation
Keynote Talks
Luca CardelliMicrosoft 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 TerauchiWaseda University
15:30 - 16:00
Talk
A Counterexample-Guided Debugger for Non-Recursive Datalog
Research Papers
Van-Dang TranNational Institute of Informatics, Japan, Hiroyuki KatoNational Institute of Informatics, Japan, Zhenjiang HuPeking University
16:00 - 16:30
Talk
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Research Papers
Yu-Fang ChenAcademia Sinica, Taiwan, Vojtěch HavlenaBrno University of Technology, Ondřej LengálBrno University of Technology, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
16:30 - 17:00
Talk
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper)
Research Papers
Andrea RosàUniversity of Lugano, Switzerland, Walter BinderUniversity of Lugano, Switzerland
17:30 - 19:30: TypesResearch Papers at online
Chair(s): Marco ServettoVictoria University Wellington, New Zealand
17:30 - 18:00
Talk
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Research Papers
Julian MackayVictoria University of Wellington, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington
18:00 - 18:30
Talk
A New Refinement Type System for Automated nu-HFLZ Validity Checking
Research Papers
Hiroyuki KatsuraThe University of Tokyo, Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Takeshi TsukadaChiba University, Japan
18:30 - 19:00
Talk
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Research Papers
Mario BravettiUniversità di Bologna, Adrian FrancalanzaUniversity of Malta, Iaroslav GolovanovDepartment of Computer Science, Aalborg University, Hans HüttelDepartment of Computer Science, Aalborg University, Mathias Steen JakobsenDepartment of Computer Science, Aalborg University, Denmark, Mikkel Klinke KettunenDepartment of Computer Science, Aalborg University, Denmark, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
19:00 - 19:30
Talk
Neural Networks, Secure by Construction: An Exploration of Refinement Types
Research Papers
Wen KokkeUniversity of Edinburgh, Ekaterina KomendantskayaHeriot-Watt University, UK, Daniel KienitzHeriot-Watt University, David AspinallUniversity of Edinburgh, Robert AtkeyUniversity of Strathclyde

Tue 1 Dec
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

10:30 - 12:00: Program Analysis and VerificationResearch Papers at online
Chair(s): Benjamin DelawarePurdue University
10:30 - 11:00
Talk
Declarative Stream Runtime Verification (hLola)
Research Papers
Martin CeresaUNR - CIFASIS - CONICET, Felipe GorostiagaIMDEA Software Institute, César SánchezIMDEA Software Institute
11:00 - 11:30
Talk
A Set-Based Context Model for Program Analysis
Research Papers
Zachary PalmerSwarthmore College, Scott F. SmithThe Johns Hopkins University, Leandro FacchinettiThe Johns Hopkins University, Ayaka YorihiroCornell University, Ke WuJohns Hopkins University
11:30 - 12:00
Talk
Formal Verification of Atomicity Requirements for Smart Contracts
Research Papers
Ning HanCapital Normal University, Ximeng LiCapital Normal University, Guohui WangCapital Normal University, Beijing, China, Zhiping ShiCapital Normal University, Yong GuanCapital Normal University, Beijing, China
16:00 - 17:30: Program Generation, Transactions and AutomationResearch Papers at online
Chair(s): Shigeru ChibaThe University of Tokyo
16:00 - 16:30
Talk
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Research Papers
Xiaotong LiuSchool of Software and Microelectronics, Peking University, Beijing, China, Tong JiaSchool of Software and Microelectronics, Peking University, Beijing, China, Ying LiSchool of Software and Microelectronics, Peking University, Beijing, China, Hao YuPeking University, Yang YueUniversity of California, Irvine, Chuanjia HouSchool of Software and Microelectronics, Peking University, Beijing, China
16:30 - 17:00
Talk
Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
Research Papers
Shashank Shekhar DubeyIIT Madras, KC SivaramakrishnanIIT Madras, Thomas GazagnaireTarides, Anil MadhavapeddyUniversity of Cambridge
17:00 - 17:30
Talk
Stack-Driven Program Generation of WebAssembly
Research Papers
Árpád PerényiUniversity of Southern Denmark, Jan MidtgaardUniversity of Southern Denmark
18:00 - 19:00: Keynote-2Keynote Talks at online
18:00 - 19:00
Keynote
Object Support for GPU Programming: Why and How
Keynote Talks
Hidehiko MasuharaTokyo Institute of Technology
Link to publication
21:00 - 22:00: Poster sessionPosters at online

Wed 2 Dec
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

14:00 - 15:00: Keynote-3Keynote Talks at online
14:00 - 15:00
Keynote
Generating Programs from Types
Keynote Talks
Nadia PolikarpovaUniversity of California at San Diego
Link to publication
15:30 - 17:00: Synthesis and Program TransformationResearch Papers at online
Chair(s): Cristina DavidUniversity of Oxford
15:30 - 16:00
Talk
Relational Synthesis for Pattern Matching
Research Papers
Dmitrii Kosarev, Dmitri BoulytchevSaint Petersburg State University / JetBrains Research
16:00 - 16:30
Talk
Parameterized Synthesis with Safety Properties
Research Papers
Oliver MarkgrafTechnische Universität Kaiserslautern, Anthony Widjaja LinTechnische Universität Kaiserslautern, Daniel NeiderMax Planck Institute for Software Systems, Muhammad NajibTechnische Universität Kaiserslautern, Chih-Duo HongUniversity of Oxford
16:30 - 17:00
Talk
REFINITY to Model and Prove Program Transformation Rules
Research Papers
Dominic SteinhöfelTechnical University of Darmstadt
17:30 - 19:00: SemanticsResearch Papers at online
Chair(s): Florian Rabe University of Erlangen
17:30 - 18:00
Talk
Certified Semantics for Relational Programming
Research Papers
Dmitry RozplokhasHigher School of Economics and JetBrains Research, Russia, Andrey VyatkinSaint Petersburg State University, Russia, Dmitri BoulytchevSaint Petersburg State University / JetBrains Research
18:00 - 18:30
Talk
An Abstract Machine for Strong Call by Value
Research Papers
Malgorzata BiernackaUniversity of Wroclaw, Dariusz BiernackiUniversity of Wrocław, Witold CharatonikInstitute of Computer Science, University of Wroclaw, Tomasz DrabInstitute of Computer Science, University of Wroclaw
18:30 - 19:00
Talk
Algebraic and coalgebraic perspectives on interaction laws
Research Papers
Tarmo UustaluReykjavik University, Niels VoorneveldTallinn University of Technology
19:00 - 19:05: ClosingReports at online

Mon 30 Nov
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Tue 1 Dec
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Wed 2 Dec
Times are displayed in time zone: Osaka, Sapporo, Tokyo change