default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th APLAS 2017: Suzhou, China
- Bor-Yuh Evan Chang:
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10695, Springer 2017, ISBN 978-3-319-71236-9
Invited Contributions
- Sumit Gulwani, Prateek Jain:
Programming by Examples: PL Meets ML. 3-20 - Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
Synthesizing SystemC Code from Delay Hybrid CSP. 21-41
Security
- Ximeng Li, Heiko Mantel, Markus Tasch:
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. 45-66 - Ian J. Hayes, Xi Wu, Larissa A. Meinicke
:
Capabilities for Java: Secure Access to Resources. 67-84 - Serdar Erbatur, Martin Hofmann, Eugen Zalinescu:
Enforcing Programming Guidelines with Region Types and Effects. 85-104 - Neline van Ginkel, Raoul Strackx, Frank Piessens:
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. 105-123
Heap and Equivalence Reasoning
- Manjeet Dahiya, Sorav Bansal:
Black-Box Equivalence Checking Across Compiler Optimizations. 127-147 - Yoonseok Ko, Xavier Rival, Sukyoung Ryu:
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. 148-168 - Daisuke Kimura, Makoto Tatsuta:
Decision Procedure for Entailment of Symbolic Heaps with Arrays. 169-189 - Qinxiang Cao, Santiago Cuéllar, Andrew W. Appel:
Bringing Order to the Separation Logic Jungle. 190-211
Concurrency and Verification
- Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan:
Programming and Proving with Classical Types. 215-234 - Adrien Pommellet, Tayssir Touili:
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. 235-254 - Tobias Nipkow:
Verified Root-Balanced Trees. 255-272 - Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao:
Safety and Liveness of MCS Lock - Layer by Layer. 273-297
Domain-Specific Languages
- Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. 301-320 - Bob Reynders, Dominique Devriese:
Efficient Functional Reactive Programming Through Incremental Behaviors. 321-338 - Daan Leijen:
Implementing Algebraic Effects in C - "Monads for Free in C". 339-363 - Oleg Kiselyov, Tatsuya Katsushima:
Sound and Efficient Language-Integrated Query - Maintaining the ORDER. 364-383
Semantics
- Martin Sulzmann, Peter Thiemann:
A Computational Interpretation of Context-Free Expressions. 387-405 - Tarmo Uustalu, Niccolò Veltri:
Partiality and Container Monads. 406-425 - Beniamino Accattoli, Bruno Barras:
The Negligible and Yet Subtle Cost of Pattern Matching. 426-447 - Alejandro Díaz-Caro:
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. 448-467
Numerical Reasoning
- Aziem Chawdhary, Andy King:
Compact Difference Bound Matrices. 471-490 - Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
Sharper and Simpler Nonlinear Interpolants for Program Verification. 491-513 - Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi:
A Nonstandard Functional Programming Language. 514-533 - Shaobo He, Zvonimir Rakamaric:
Counterexample-Guided Bit-Precision Selection. 534-553
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-02 23:28 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:
