2023 share record
persistent URL:
Beniamino Accattoli , Pablo Barenbaum : A Diamond Machine for Strong Evaluation. APLAS 2023 : 69-90 share record
persistent URL:
Yannick Forster , Dominik Kirst , Niklas Mück : Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. APLAS 2023 : 155-181 share record
persistent URL:
Kimball Germane : m-CFA Exhibits Perfect Stack Precision. APLAS 2023 : 290-309 share record
persistent URL:
Bas van den Heuvel , Joseph W. N. Paulus , Daniele Nantes-Sobrinho , Jorge A. Pérez : Typed Non-determinism in Functional and Concurrent Calculi. APLAS 2023 : 112-132 share record
persistent URL:
Ryo Ikeda , Ryosuke Sato , Naoki Kobayashi : Argument Reduction of Constrained Horn Clauses Using Equality Constraints. APLAS 2023 : 246-265 share record
persistent URL:
Kevin Kappelmann : Transport via Partial Galois Connections and Equivalences. APLAS 2023 : 225-245 share record
persistent URL:
Clemens Kupke , Fredrik Nordvall Forsberg , Sean Watters : A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. APLAS 2023 : 135-154 share record
persistent URL:
Wenhua Li , Quang Loc Le , Yahui Song , Wei-Ngan Chin : Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS 2023 : 269-289 share record
persistent URL:
Cas van der Rest , Casper Bach Poulsen : Types and Semantics for Extensible Data Types. APLAS 2023 : 46-66 share record
persistent URL:
Ayumu Saito , Reynald Affeldt : Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. APLAS 2023 : 182-202 share record
persistent URL:
Qidong Su , Chuqin Geng , Gennady Pekhimenko , Xujie Si : TorchProbe: Fuzzing Dynamic Deep Learning Compilers. APLAS 2023 : 310-331 share record
persistent URL:
Ke Sun , Sheng Chen , Meng Wang , Dan Hao : What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. APLAS 2023 : 24-45 share record
persistent URL:
Yudai Tanabe , Luthfan Anshar Lubis , Tomoyuki Aotani , Hidehiko Masuhara : Compilation Semantics for a Programming Language with Versions. APLAS 2023 : 3-23 share record
persistent URL:
Jui-Hsuan Wu : Proofs as Terms, Terms as Graphs. APLAS 2023 : 91-111 share record
persistent URL:
Jinhua Wu , Yuting Wang , Meng Sun , Xiangzhe Xu , Yichen Song : Towards a Framework for Developing Verified Assemblers for the ELF Format. APLAS 2023 : 205-224 share record
persistent URL:
Chung-Kil Hur : Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings. Lecture Notes in Computer Science 14405, Springer 2023 , ISBN 978-981-99-8310-0 [contents] 2022 share record
persistent URL:
Vincenzo Arceri , Isabella Mastroeni , Enea Zaffanella : Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS 2022 : 25-44 share record
persistent URL:
Mike Becker , Roland Meyer , Tobias Runge , Ina Schaefer , Sören van der Wall , Sebastian Wolff : Model-Based Fault Classification for Automotive Software. APLAS 2022 : 110-131 export record
dblp key:
conf/aplas/DickersonYZD22 share record
persistent URL:
Robert Dickerson , Qianchuan Ye , Michael K. Zhang , Benjamin Delaware : RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. APLAS 2022 : 67-87 share record
persistent URL:
Yotam Dvir , Ohad Kammar , Ori Lahav : An Algebraic Theory for Shared-State Concurrency. APLAS 2022 : 3-24 share record
persistent URL:
Chuqin Geng , Haolin Ye , Yixuan Li , Tianyu Han , Brigitte Pientka , Xujie Si : Novice Type Error Diagnosis with Natural Language Models. APLAS 2022 : 196-214 share record
persistent URL:
Patricia Johann , Pierre Cagne : Characterizing Functions Mappable over GADTs. APLAS 2022 : 135-154 share record
persistent URL:
Ulrich Schöpp , Chuangjie Xu : Inferring Region Types via an Abstract Notion of Environment Transformation. APLAS 2022 : 45-64 share record
persistent URL:
Yahui Song , Darius Foo , Wei-Ngan Chin : Automated Temporal Verification for Algebraic Effects. APLAS 2022 : 88-109 share record
persistent URL:
Xu Xue , Bruno C. d. S. Oliveira , Ningning Xie : Applicative Intersection Types. APLAS 2022 : 155-174 share record
persistent URL:
Yaoda Zhou , Bruno C. d. S. Oliveira , Andong Fan : A Calculus with Recursive Types, Record Concatenation and Subtyping. APLAS 2022 : 175-195 share record
persistent URL:
Ilya Sergey : Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Lecture Notes in Computer Science 13658, Springer 2022 , ISBN 978-3-031-21036-5 [contents] 2021 share record
persistent URL:
Carmine Abate , Matteo Busi , Stelios Tsampas : Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. APLAS 2021 : 83-101 export record
dblp key:
conf/aplas/AbdullaACDHHTWY21 share record
persistent URL:
Parosh Aziz Abdulla , Mohamed Faouzi Atig , Yu-Fang Chen , Bui Phi Diep , Lukás Holík , Denghang Hu , Wei-Lun Tsai , Zhilin Wu , Di-De Yen : Solving Not-Substring Constraint withFlat Abstraction. APLAS 2021 : 305-320 share record
persistent URL:
Divya Bajaj , Martin Erwig , Danila Fedorin , Kai Gay : Adaptable Traces for Program Explanations. APLAS 2021 : 202-221