APLAS 2020 (series) /
APLAS 2020 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 30 NovDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 30 Nov
Displayed time zone: Osaka, Sapporo, Tokyo change
14:00 - 15:00 | |||
14:00 60mKeynote | 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 30mTalk | 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 30mTalk | 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 30mTalk | P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper) Research Papers | ||
17:30 - 19:30 | |||
17:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 DecDisplayed time zone: Osaka, Sapporo, Tokyo change
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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Stack-Driven Program Generation of WebAssembly Research Papers | ||
18:00 - 19:00 | |||
18:00 60mKeynote | Object Support for GPU Programming: Why and How Keynote Talks Hidehiko Masuhara Tokyo Institute of Technology Link to publication | ||
Wed 2 DecDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 2 Dec
Displayed time zone: Osaka, Sapporo, Tokyo change
14:00 - 15:00 | |||
14:00 60mKeynote | 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 30mTalk | Relational Synthesis for Pattern Matching Research Papers | ||
16:00 30mTalk | 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 30mTalk | REFINITY to Model and Prove Program Transformation Rules Research Papers Dominic Steinhöfel Technical University of Darmstadt | ||
17:30 - 19:00 | |||
17:30 30mTalk | 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 30mTalk | 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 30mTalk | Algebraic and coalgebraic perspectives on interaction laws Research Papers | ||