default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2021, Chicago, IL, USA
- 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
Analysis and Synthesis
- Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo:
Scalable and Modular Robustness Analysis of Deep Neural Networks. 3-22 - Daisuke Kimura, Mahmudul Faisal Al Ameen
, Makoto Tatsuta, Koji Nakazawa:
Function Pointer Eliminator for C Programs. 23-37 - Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu:
PyCT: A Python Concolic Tester. 38-46 - Wonhyuk Choi, Michel Vazirani, Mark Santolucito:
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. 47-61 - Nobuhiro Kasai, Isao Sasano:
Server-Side Computation of Package Dependencies in Package-Management Systems. 62-79
Compilation and Transformation
- Carmine Abate, Matteo Busi, Stelios Tsampas:
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. 83-101 - Martin Sulzmann, Stefan Wehr:
A Dictionary-Passing Translation of Featherweight Go. 102-120 - Agustín Borgna, Simon Perdrix, Benoît Valiron:
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. 121-139 - Atsushi Ohori, Katsuhiro Ueno:
A Compilation Method for Dynamic Typing in ML. 140-159
Language Design
- Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz:
The Choice Construct in the Soufflé Language. 163-181 - Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu:
Latent Effects for Reusable Language Components. 182-201 - Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay:
Adaptable Traces for Program Explanations. 202-221 - Thi Thu Ha Doan, Peter Thiemann:
A Typed Programmatic Interface to Contracts on the Blockchain. 222-240
Verification
- Pavol Vargovcík, Lukás Holík:
Simplifying Alternating Automata for Emptiness Testing. 243-264 - Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada:
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. 265-284 - 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. 285-304 - 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. 305-320
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.
last updated on 2025-03-01 15:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
