default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th APLAS 2019: Nusa Dua, Bali, Indonesia
- Anthony Widjaja Lin
:
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. Lecture Notes in Computer Science 11893, Springer 2019, ISBN 978-3-030-34174-9
Invited Papers
- Annabelle McIver, Carroll Morgan:
Proving that Programs Are Differentially Private. 3-18 - Hossein Hojjat, Philipp Rümmer, Ali Shamakhi:
On Strings in Software Model Checking. 19-30
Types
- Yuki Nishida, Atsushi Igarashi:
Manifest Contracts with Intersection Types. 33-52 - Akira Kawata, Atsushi Igarashi:
A Dependently Typed Multi-stage Calculus. 53-72 - Raimil Cruz, Éric Tanter:
Existential Types for Relaxed Noninterference. 73-92
Program Analysis
- Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. 95-114 - Tukaram Muske, Rohith Talluri, Alexander Serebrenik:
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies. 115-135 - Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada:
A Type-Based HFL Model Checking Algorithm. 136-155
Semantics
- Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorization and Normalization, Essentially. 159-180 - Masayuki Mizuno, Eijiro Sumii:
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. 181-201 - Kosuke Murata, Kento Emoto:
Recursion Schemes in Coq. 202-221
Language Design and Implementation
- Nada Amin, William E. Byrd, Tiark Rompf:
Lightweight Functional Logic Meta-Programming. 225-243 - Daan Leijen, Benjamin Zorn, Leonardo de Moura:
Mimalloc: Free List Sharding in Action. 244-265 - Yutaka Nagashima:
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. 266-287
Concurrency
- Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan:
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. 291-312 - Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy:
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. 313-331 - Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. 332-354
Verification
- Yu-Fang Chen, 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. 357-366 - Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura:
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. 367-387 - Wenbo Zhang, Huan Long, Xian Xu:
Uniform Random Process Model Revisited. 388-404 - Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. 405-424
Logic and Automata
- Aquinas Hobor, Elaine Li, Frank Stephan:
Pumping, with or Without Choice. 427-446 - Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál:
Simulations in Rank-Based Büchi Automata Complementation. 447-467 - Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction. 468-489
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-12-09 23:25 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:
