More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

18th APLAS 2020: Fukuoka, Japan

> Home > Conferences and Workshops > APLAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/2020
Bruno C. d. S. Oliveira:
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Lecture Notes in Computer Science 12470, Springer 2020, ISBN 978-3-030-64436-9

Program Analysis and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/FachinettiPSWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/FachinettiPSWY20
Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro:
A Set-Based Context Model for Program Analysis. 3-24
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/CeresaGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/CeresaGS20
Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). 25-43
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HanLWSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HanLWSG20
Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan:
Formal Verification of Atomicity Requirements for Smart Contracts. 44-64

Types

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KokkeKKAA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KokkeKKAA20
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall:
Neural Networks, Secure by Construction - An Exploration of Refinement Types. 67-85
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KatsuraIKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KatsuraIKT20
Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada:
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. 86-104
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/BravettiFGHJKR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/BravettiFGHJKR20
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara:
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. 105-124
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MackayPAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MackayPAG20
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves:
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. 125-144

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/BiernackaBCD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/BiernackaBCD20
Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab:
An Abstract Machine for Strong Call by Value. 147-166
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/RozplokhasVB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/RozplokhasVB20
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev:
Certified Semantics for Relational Programming. 167-185
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/UustaluV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/UustaluV20
Tarmo Uustalu, Niels F. W. Voorneveld:
Algebraic and Coalgebraic Perspectives on Interaction Laws. 186-205

Program Generation, Transactions and Automation

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/PerenyiM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/PerenyiM20
Árpád Perényi, Jan Midtgaard:
Stack-Driven Program Generation of WebAssembly. 209-230
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DubeySGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DubeySGM20
Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy:
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. 231-250
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/LiuJLYYH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/LiuJLYYH20
Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou:
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? 251-269

Synthesis and Program Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MarkgrafHLNN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MarkgrafHLNN20
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider:
Parameterized Synthesis with Safety Properties. 273-292
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KosarevLB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KosarevLB20
Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev:
Relational Synthesis for Pattern Matching. 293-310
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Steinhofel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Steinhofel20
Dominic Steinhöfel:
REFINITY to Model and Prove Program Transformation Rules. 311-319

Debugging, Profiling and Constraint Solving

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/TranKH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/TranKH20
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
A Counterexample-Guided Debugger for Non-recursive Datalog. 323-342
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenHLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenHLT20
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini:
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. 343-363
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/RosaB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/RosaB20
Andrea Rosà, Walter Binder:
P³: A Profiler Suite for Parallel Applications on the Java Virtual Machine. 364-372

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.