share record
persistent URL:
Birthe van den Berg , Tom Schrijvers , Casper Bach Poulsen , Nicolas Wu : Latent Effects for Reusable Language Components. APLAS 2021 : 182-201 share record
persistent URL:
Agustín Borgna , Simon Perdrix , Benoît Valiron : Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. APLAS 2021 : 121-139 share record
persistent URL:
Yu-Fang Chen , Wei-Lun Tsai , Wei-Cheng Wu , Di-De Yen , Fang Yu : PyCT: A Python Concolic Tester. APLAS 2021 : 38-46 share record
persistent URL:
Wonhyuk Choi , Michel Vazirani , Mark Santolucito : Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. APLAS 2021 : 47-61 share record
persistent URL:
Thi Thu Ha Doan , Peter Thiemann : A Typed Programmatic Interface to Contracts on the Blockchain. APLAS 2021 : 222-240 share record
persistent URL:
Xiaowen Hu , Joshua Karp , David Zhao , Abdul Zreika , Xi Wu , Bernhard Scholz : The Choice Construct in the Soufflé Language. APLAS 2021 : 163-181 share record
persistent URL:
Nobuhiro Kasai , Isao Sasano : Server-Side Computation of Package Dependencies in Package-Management Systems. APLAS 2021 : 62-79 share record
persistent URL:
Daisuke Kimura , Mahmudul Faisal Al Ameen , Makoto Tatsuta , Koji Nakazawa : Function Pointer Eliminator for C Programs. APLAS 2021 : 23-37 share record
persistent URL:
Yuandong Cyrus Liu , Chengbin Pang , Daniel Dietsch , Eric Koskinen , Ton-Chanh Le , Georgios Portokalidis , Jun Xu : Proving LTL Properties of Bitvector Programs and Decompiled Binaries. APLAS 2021 : 285-304 share record
persistent URL:
Atsushi Ohori , Katsuhiro Ueno : A Compilation Method for Dynamic Typing in ML. APLAS 2021 : 140-159 share record
persistent URL:
Tsubasa Shoshi , Takuma Ishikawa , Naoki Kobayashi , Ken Sakayori , Ryosuke Sato , Takeshi Tsukada : Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. APLAS 2021 : 265-284 share record
persistent URL:
Martin Sulzmann , Stefan Wehr : A Dictionary-Passing Translation of Featherweight Go. APLAS 2021 : 102-120 share record
persistent URL:
Pavol Vargovcík , Lukás Holík : Simplifying Alternating Automata for Emptiness Testing. APLAS 2021 : 243-264 share record
persistent URL:
Yuyi Zhong , Quang-Trung Ta , Tianzuo Luo , Fanlong Zhang , Siau-Cheng Khoo : Scalable and Modular Robustness Analysis of Deep Neural Networks. APLAS 2021 : 3-22 share record
persistent URL:
Hakjoo Oh : Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Lecture Notes in Computer Science 13008, Springer 2021 , ISBN 978-3-030-89050-6 [contents] 2020 export record
dblp key:
conf/aplas/BiernackaBCD20 share record
persistent URL:
Malgorzata Biernacka , Dariusz Biernacki , Witold Charatonik , Tomasz Drab : An Abstract Machine for Strong Call by Value. APLAS 2020 : 147-166 export record
dblp key:
conf/aplas/BravettiFGHJKR20 share record
persistent URL:
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. APLAS 2020 : 105-124 share record
persistent URL:
Martín Ceresa , Felipe Gorostiaga , César Sánchez : Declarative Stream Runtime Verification (hLola). APLAS 2020 : 25-43 share record
persistent URL:
Yu-Fang Chen , Vojtech Havlena , Ondrej Lengál , Andrea Turrini : A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. APLAS 2020 : 343-363 share record
persistent URL:
Shashank Shekhar Dubey , K. C. Sivaramakrishnan , Thomas Gazagnaire , Anil Madhavapeddy : Banyan: Coordination-Free Distributed Transactions over Mergeable Types. APLAS 2020 : 231-250 export record
dblp key:
conf/aplas/FachinettiPSWY20 share record
persistent URL:
Leandro Facchinetti , Zachary Palmer , Scott F. Smith , Ke Wu , Ayaka Yorihiro : A Set-Based Context Model for Program Analysis. APLAS 2020 : 3-24 share record
persistent URL:
Ning Han , Ximeng Li , Guohui Wang , Zhiping Shi , Yong Guan : Formal Verification of Atomicity Requirements for Smart Contracts. APLAS 2020 : 44-64 share record
persistent URL:
Hiroyuki Katsura , Naoki Iwayama , Naoki Kobayashi , Takeshi Tsukada : A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. APLAS 2020 : 86-104 share record
persistent URL:
Wen Kokke , Ekaterina Komendantskaya , Daniel Kienitz , Robert Atkey , David Aspinall : Neural Networks, Secure by Construction - An Exploration of Refinement Types. APLAS 2020 : 67-85 share record
persistent URL:
Dmitry Kosarev , Petr Lozov , Dmitry Boulytchev : Relational Synthesis for Pattern Matching. APLAS 2020 : 293-310 share record
persistent URL:
Xiaotong Liu , Tong Jia , Ying Li , Hao Yu , Yang Yue , Chuanjia Hou : Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? APLAS 2020 : 251-269 share record
persistent URL:
Julian Mackay , Alex Potanin , Jonathan Aldrich , Lindsay Groves : Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS 2020 : 125-144 export record
dblp key:
conf/aplas/MarkgrafHLNN20 share record
persistent URL:
Oliver Markgraf , Chih-Duo Hong , Anthony W. Lin , Muhammad Najib , Daniel Neider : Parameterized Synthesis with Safety Properties. APLAS 2020 : 273-292 share record
persistent URL:
Árpád Perényi , Jan Midtgaard : Stack-Driven Program Generation of WebAssembly. APLAS 2020 : 209-230 share record
persistent URL:
Andrea Rosà , Walter Binder : P3 : A Profiler Suite for Parallel Applications on the Java Virtual Machine. APLAS 2020 : 364-372