default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2015: Pohang, South Korea
- Xinyu Feng, Sungwoo Park:
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Lecture Notes in Computer Science 9458, Springer 2015, ISBN 978-3-319-26528-5
Invited Talk
- Eran Yahav:
Programming with "Big Code". 3-8
Compilers
- Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira:
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. 11-28 - Adriaan Larmuseau, Marco Patrignani
, Dave Clarke:
A Secure Compiler for ML Modules. 29-48 - Rekha R. Pai:
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. 49-65
Separation Logic
- Makoto Tatsuta, Daisuke Kimura:
Separation Logic with Monadic Inductive Definitions and Implicit Existentials. 69-89 - Christoph Matheja, Christina Jansen, Thomas Noll:
Tree-Like Grammars and Separation Logic. 90-108
Static Analysis and Abstract Interpretation
- Tomasz Dudziak:
Randomized Resource-Aware Path-Sensitive Static Analysis. 111-126 - Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey:
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. 127-145 - Jiangchao Liu, Xavier Rival:
Abstraction of Optional Numerical Values. 146-166
Hoare Logic and Types
- Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner:
Fault-Tolerant Resource Reasoning. 169-188 - Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi:
Shifting the Blame - A Blame Calculus with Delimited Control. 189-207 - Marco Servetto, Elena Zucca:
Aliasing Control in an Imperative Pure Calculus. 208-228
Functional Programming and Semantics
- Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza:
A Strong Distillery. 231-250 - Ulrich Schöpp:
From Call-by-Value to Interaction by Typed Closure Conversion. 251-270 - Guilhem Jaber, Nicolas Tabareau:
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. 271-291
Model Checking
- Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno:
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. 295-312 - Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi:
Decision Algorithms for Checking Definability of Order-2 Finitary PCF. 313-331
Program Analysis - I
- Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang:
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. 335-355 - Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder:
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. 356-365
Medley
- Chao Wang, Yi Lv, Gaoang Liu, Peng Wu:
Quasi-Linearizability is Undecidable. 369-386 - Emmanuel Hainry, Romain Péchoux:
Objects in Polynomial Time. 387-404
Programming Models
- Holger Bock Axelsen, Tetsuo Yokoyama:
Programming Techniques for Reversible Comparison Sorts. 407-426 - Deepthi Devaki Akkoorath, Annette Bieniusa:
Transactions on Mergeable Objects. 427-444 - Hiroaki Inoue, Atsushi Igarashi:
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. 445-462
Program Analysis - II
- Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig:
Bottom-Up Context-Sensitive Pointer Analysis for Java. 465-484 - Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer:
More Sound Static Handling of Java Reflection. 485-503
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-12 22:52 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:
