ASIAN Symposium on Programming Languages and Systems
APLAS
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
613
2000–2025
Papers per year
200031 peak2025
Most published authors
APLAS papers
613 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2022 | Characterizing Functions Mappable over GADTs. | Patricia Johann, Pierre Cagne |
| 2022 | Novice Type Error Diagnosis with Natural Language Models. | Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si |
| 2022 | An Algebraic Theory for Shared-State Concurrency. | Yotam Dvir, Ohad Kammar, Ori Lahav |
| 2022 | RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties. | Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware |
| 2022 | Model-Based Fault Classification for Automotive Software. | Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sren van der Wall, Sebastian Wolff |
| 2022 | Decoupling the Ascending and Descending Phases in Abstract Interpretation. | Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
| 2021 | Scalable and Modular Robustness Analysis of Deep Neural Networks. | Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo |
| 2021 | Simplifying Alternating Automata for Emptiness Testing. | Pavol Vargovck, Luks Holk |
| 2021 | A Dictionary-Passing Translation of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2021 | Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination. | Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada |
| 2021 | A Compilation Method for Dynamic Typing in ML. | Atsushi Ohori, Katsuhiro Ueno |
| 2021 | Proving LTL Properties of Bitvector Programs and Decompiled Binaries. | Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu |
| 2021 | Function Pointer Eliminator for C Programs. | Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa |
| 2021 | Server-Side Computation of Package Dependencies in Package-Management Systems. | Nobuhiro Kasai, Isao Sasano |
| 2021 | The Choice Construct in the Souffl Language. | Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz |
| 2021 | A Typed Programmatic Interface to Contracts on the Blockchain. | Thi Thu Ha Doan, Peter Thiemann |
| 2021 | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. | Wonhyuk Choi, Michel Vazirani, Mark Santolucito |
| 2021 | PyCT: A Python Concolic Tester. | Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu |
| 2021 | Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. | Agustn Borgna, Simon Perdrix, Benot Valiron |
| 2021 | Latent Effects for Reusable Language Components. | Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu |
| 2021 | Adaptable Traces for Program Explanations. | Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay |
| 2021 | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. | Carmine Abate, Matteo Busi, Stelios Tsampas |
| 2020 | Algebraic and Coalgebraic Perspectives on Interaction Laws. | Tarmo Uustalu, Niels F. W. Voorneveld |
| 2020 | A Counterexample-Guided Debugger for Non-recursive Datalog. | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
51–75 of 613← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems