| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cas van der Rest, Casper Bach Poulsen |
Types and Semantics for Extensible Data Types.  |
APLAS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Kupke, Fredrik Nordvall Forsberg, Sean Watters |
A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayumu Saito, Reynald Affeldt |
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Sun, Sheng Chen, Meng Wang 0002, Dan Hao 0001 |
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinhua Wu, Yuting Wang 0001, Meng Sun, Xiangzhe Xu, Yichen Song |
Towards a Framework for Developing Verified Assemblers for the ELF Format. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Pablo Barenbaum |
A Diamond Machine for Strong Evaluation. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimball Germane |
m-CFA Exhibits Perfect Stack Precision. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur (eds.) |
Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Kappelmann |
Transport via Partial Galois Connections and Equivalences. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin |
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Typed Non-determinism in Functional and Concurrent Calculi. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Forster 0002, Dominik Kirst, Niklas Mück |
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara |
Compilation Semantics for a Programming Language with Versions. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jui-Hsuan Wu |
Proofs as Terms, Terms as Graphs. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Ikeda, Ryosuke Sato 0001, Naoki Kobayashi 0001 |
Argument Reduction of Constrained Horn Clauses Using Equality Constraints. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si |
TorchProbe: Fuzzing Dynamic Deep Learning Compilers. |
APLAS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan |
A Calculus with Recursive Types, Record Concatenation and Subtyping. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie |
Applicative Intersection Types. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware |
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si |
Novice Type Error Diagnosis with Natural Language Models. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahui Song, Darius Foo, Wei-Ngan Chin |
Automated Temporal Verification for Algebraic Effects. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
Decoupling the Ascending and Descending Phases in Abstract Interpretation. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yotam Dvir, Ohad Kammar, Ori Lahav 0001 |
An Algebraic Theory for Shared-State Concurrency. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Becker, Roland Meyer 0001, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff 0001 |
Model-Based Fault Classification for Automotive Software. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey (eds.) |
Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Johann, Pierre Cagne |
Characterizing Functions Mappable over GADTs. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Schöpp, Chuangjie Xu |
Inferring Region Types via an Abstract Notion of Environment Transformation. |
APLAS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo |
Scalable and Modular Robustness Analysis of Deep Neural Networks. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu 0024 |
Proving LTL Properties of Bitvector Programs and Decompiled Binaries. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa |
Function Pointer Eliminator for C Programs. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustín Borgna, Simon Perdrix, Benoît Valiron |
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Thu Ha Doan, Peter Thiemann 0001 |
A Typed Programmatic Interface to Contracts on the Blockchain. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Stefan Wehr |
A Dictionary-Passing Translation of Featherweight Go. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonhyuk Choi, Michel Vazirani, Mark Santolucito |
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001, Takeshi Tsukada |
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Abate, Matteo Busi 0001, Stelios Tsampas 0001 |
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay |
Adaptable Traces for Program Explanations. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu |
Latent Effects for Reusable Language Components. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Ohori, Katsuhiro Ueno |
A Compilation Method for Dynamic Typing in ML. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu 0001 |
PyCT: A Python Concolic Tester. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuhiro Kasai, Isao Sasano |
Server-Side Computation of Package Dependencies in Package-Management Systems. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hakjoo Oh (eds.) |
Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowen Hu, Joshua Karp, David Zhao 0001, Abdul Zreika, Xi Wu 0005, Bernhard Scholz |
The Choice Construct in the Soufflé Language. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Vargovcík, Lukás Holík |
Simplifying Alternating Automata for Emptiness Testing. |
APLAS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Steinhöfel |
REFINITY to Model and Prove Program Transformation Rules. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
Parameterized Synthesis with Safety Properties. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu, Niels F. W. Voorneveld |
Algebraic and Coalgebraic Perspectives on Interaction Laws. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Árpád Perényi, Jan Midtgaard |
Stack-Driven Program Generation of WebAssembly. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
A Counterexample-Guided Debugger for Non-recursive Datalog. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi 0001, Takeshi Tsukada |
A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál, Andrea Turrini |
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaotong Liu, Tong Jia, Ying Li 0012, Hao Yu, Yang Yue, Chuanjia Hou |
Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Ceresa, Felipe Gorostiaga, César Sánchez 0001 |
Declarative Stream Runtime Verification (hLola). |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab |
An Abstract Machine for Strong Call by Value. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira (eds.) |
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev |
Certified Semantics for Relational Programming. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Facchinetti, Zachary Palmer, Scott F. Smith 0001, Ke Wu, Ayaka Yorihiro |
A Set-Based Context Model for Program Analysis. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Rosà, Walter Binder |
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ning Han, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan |
Formal Verification of Atomicity Requirements for Smart Contracts. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall 0001 |
Neural Networks, Secure by Construction - An Exploration of Refinement Types. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy |
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev |
Relational Synthesis for Pattern Matching. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves |
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. |
APLAS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál |
Simulations in Rank-Based Büchi Automata Complementation. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Mizuno, Eijiro Sumii |
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Dissecting Widening: Separating Termination from Information. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Widjaja Lin (eds.) |
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Elaine Li, Frank Stephan 0001 |
Pumping, with or Without Choice. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura |
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbo Zhang 0004, Huan Long, Xian Xu 0001 |
Uniform Random Process Model Revisited. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan |
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Carroll Morgan |
Proving that Programs Are Differentially Private. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Long H. Pham, Jun Sun 0001, Quang Loc Le |
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
J-ReCoVer: Java Reducer Commutativity Verifier. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Philipp Rümmer, Ali Shamakhi |
On Strings in Software Model Checking. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuki Nishida 0001, Atsushi Igarashi |
Manifest Contracts with Intersection Types. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Youkichi Hosoi, Naoki Kobayashi 0001, Takeshi Tsukada |
A Type-Based HFL Model Checking Algorithm. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen, Benjamin Zorn 0001, Leonardo de Moura 0001 |
Mimalloc: Free List Sharding in Action. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
Factorization and Normalization, Essentially. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Nagashima |
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimil Cruz, Éric Tanter |
Existential Types for Relaxed Noninterference. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
TxForest: A DSL for Concurrent Filestores. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar |
Succinct Determinisation of Counting Automata via Sphere Construction. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Akira Kawata, Atsushi Igarashi |
A Dependently Typed Multi-stage Calculus. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosuke Murata, Kento Emoto |
Recursion Schemes in Coq. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Amin, William E. Byrd, Tiark Rompf |
Lightweight Functional Logic Meta-Programming. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tukaram Muske, Rohith Talluri, Alexander Serebrenik |
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies. |
APLAS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shingo Eguchi, Naoki Kobayashi 0001, Takeshi Tsukada |
Automated Synthesis of Functional Programs with Auxiliary Functions. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Urara Yamada, Kenichi Asai |
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Sui, Jens Dietrich 0001, Michael Emery, Shawn Rasheed, Amjed Tahir |
On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun |
Automated Modular Verification for Relaxed Communication Protocols. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Suzanne, Antoine Miné |
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
Complexity Analysis of Tree Share Structure. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Kunze, Gert Smolka, Yannick Forster 0002 |
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brotherston, Max I. Kanovich |
On the Complexity of Pointer Arithmetic in Separation Logic. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Schöpp |
Particle-Style Geometry of Interaction as a Module System. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hillerström, Sam Lindley |
Shallow Effect Handlers. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license