default search action

combined dblp search
author search
venue search
publication search

ask others

17th APLAS 2019: Nusa Dua, Bali, Indonesia

> Home > Conferences and Workshops > APLAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/2019
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

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/McIverM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/McIverM19
Annabelle McIver, Carroll Morgan:
Proving that Programs Are Differentially Private. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HojjatRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HojjatRS19
Hossein Hojjat, Philipp Rümmer, Ali Shamakhi:
On Strings in Software Model Checking. 19-30

Types

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/NishidaI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/NishidaI19
Yuki Nishida, Atsushi Igarashi:
Manifest Contracts with Intersection Types. 33-52
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/KawataI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/KawataI19
Akira Kawata, Atsushi Igarashi:
A Dependently Typed Multi-stage Calculus. 53-72
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/CruzT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/CruzT19
Raimil Cruz, Éric Tanter:
Existential Types for Relaxed Noninterference. 73-92

Program Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/GangeNSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/GangeNSSS19
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. 95-114
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MuskeTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MuskeTS19
Tukaram Muske, Rohith Talluri, Alexander Serebrenik:
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies. 115-135
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Hosoi0T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Hosoi0T19
Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada:
A Type-Based HFL Model Checking Algorithm. 136-155

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AccattoliFG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AccattoliFG19
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorization and Normalization, Essentially. 159-180
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MizunoS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MizunoS19
Masayuki Mizuno, Eijiro Sumii:
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. 181-201
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/MurataE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/MurataE19
Kosuke Murata, Kento Emoto:
Recursion Schemes in Coq. 202-221

Language Design and Implementation

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AminBR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AminBR19
Nada Amin, William E. Byrd, Tiark Rompf:
Lightweight Functional Logic Meta-Programming. 225-243
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/LeijenZM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/LeijenZM19
Daan Leijen, Benjamin Zorn, Leonardo de Moura:
Mimalloc: Free List Sharding in Action. 244-265
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Nagashima19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Nagashima19
Yutaka Nagashima:
LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL. 266-287

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HeCWWY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HeCWWY19
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan:
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. 291-312
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DickersonKGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DickersonKGH19
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy:
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. 313-331
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/DiLorenzoMFF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/DiLorenzoMFF19
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. 332-354

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenCHKLVWW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenCHKLVWW19
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
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/TatsutaNK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/TatsutaNK19
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura:
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. 367-387
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ZhangL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ZhangL019
Wenbo Zhang, Huan Long, Xian Xu:
Uniform Random Process Model Revisited. 388-404
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Pham0L19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Pham0L19
Long H. Pham, Jun Sun, Quang Loc Le:
Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. 405-424

Logic and Automata

- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HoborL019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HoborL019
Aquinas Hobor, Elaine Li, Frank Stephan:
Pumping, with or Without Choice. 427-446
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenHL19
Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál:
Simulations in Rank-Based Büchi Automata Complementation. 447-467
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HolikLSTVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HolikLSTVV19
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.