Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka |
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mingzhang Huang, Hongfei Fu 0001, Krishnendu Chatterjee |
New Approaches for Almost-Sure Termination of Probabilistic Programs. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Jones 0002, Michael Homer |
The Practice of a Compositional Functional Programming Language. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Youssef El Bakouny, Dani Mezher |
Scallina: Translating Verified Programs from Coq to Scala. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Kohei Suenaga |
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Model Checking Differentially Private Properties. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sukyoung Ryu (eds.) |
Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quang Loc Le, Mengda He |
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junpeng Zha, Xinyu Feng 0001, Lei Qiao |
Modular Verification of SPARCv8 Code. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barenbaum, Gonzalo Ciruelos |
Factoring Derivation Spaces via Intersection Types. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Giulio Guerrieri |
Types of Fireballs. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Egi, Yuichi Nishiwaki |
Non-linear Pattern Matching with Backtracking for Non-free Data Types. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Champion, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
HoIce: An ICE-Based Non-linear Horn Clause Solver. |
APLAS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Peter Thiemann 0001 |
A Computational Interpretation of Context-Free Expressions. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Díaz-Caro |
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serdar Erbatur, Martin Hofmann 0001, Eugen Zalinescu |
Enforcing Programming Guidelines with Region Types and Effects. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, Xi Wu 0005, Larissa A. Meinicke |
Capabilities for Java: Secure Access to Resources. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Bruno Barras |
The Negligible and Yet Subtle Cost of Pattern Matching. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu, Niccolò Veltri |
Partiality and Container Monads. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu |
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yoonseok Ko, Xavier Rival, Sukyoung Ryu |
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kimura, Makoto Tatsuta |
Decision Procedure for Entailment of Symbolic Heaps with Arrays. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Tatsuya Katsushima |
Sound and Efficient Language-Integrated Query - Maintaining the ORDER. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Pommellet, Tayssir Touili |
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qinxiang Cao, Santiago Cuellar, Andrew W. Appel |
Bringing Order to the Separation Logic Jungle. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bor-Yuh Evan Chang (eds.) |
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daan Leijen |
Implementing Algebraic Effects in C - "Monads for Free in C". |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Prateek Jain 0002 |
Programming by Examples: PL Meets ML. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi |
A Nonstandard Functional Programming Language. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bob Reynders, Dominique Devriese |
Efficient Functional Reactive Programming Through Incremental Behaviors. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |
Programming and Proving with Classical Types. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aziem Chawdhary, Andy King |
Compact Difference Bound Matrices. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takamasa Okudono, Yuki Nishida 0001, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
Sharper and Simpler Nonlinear Interpolants for Program Verification. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao |
Safety and Liveness of MCS Lock - Layer by Layer. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neline van Ginkel, Raoul Strackx, Frank Piessens |
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Verified Root-Balanced Trees. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan |
Synthesizing SystemC Code from Delay Hybrid CSP. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shaobo He, Zvonimir Rakamaric |
Counterexample-Guided Bit-Precision Selection. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manjeet Dahiya, Sorav Bansal |
Black-Box Equivalence Checking Across Compiler Optimizations. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ximeng Li 0001, Heiko Mantel, Markus Tasch |
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira |
Unified Syntax with Iso-types. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Giulio Guerrieri |
Open Call-by-Value. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alwen Tiu, Nam Nguyen, Ross Horne |
SPEC: An Equivalence Checker for Security Protocols. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kai Stadtmüller, Martin Sulzmann, Peter Thiemann 0001 |
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Taichi Yachi, Eijiro Sumii |
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao, Takeshi Tsukada, Naoki Kobayashi 0001 |
Higher-Order Model Checking in Direct Style. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Abe 0001, Toshiyuki Maeda |
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi 0001 |
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
Implementing Cantor's Paradise. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sooyoung Cha, Sehun Jeong, Hakjoo Oh |
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Rosà, Lydia Y. Chen, Walter Binder |
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Hou, Alwen Tiu |
Completeness for a First-Order Abstract Separation Logic. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henry DeYoung, Frank Pfenning |
Substructural Proofs as Automata. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryoya Arai, Shigeyuki Sato 0001, Hideya Iwasaki |
A Debugger-Cooperative Higher-Order Contract System in Python. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Radanne, Jérôme Vouillon, Vincent Balat |
Eliom: A Core ML Language for Tierless Web Programming. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan |
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
A Realizability Interpretation for Intersection and Union Types. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Probabilistic Programming Language and its Incremental Evaluation. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel |
Binary Session Types for Psi-Calculi. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, José Fragoso Santos, Philippa Gardner |
DOM: Specification and Client Reasoning. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi (eds.) |
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin |
Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner |
Verifying Concurrent Graph Algorithms. |
APLAS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Daisuke Kimura |
Separation Logic with Monadic Inductive Definitions and Implicit Existentials. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner |
Fault-Tolerant Resource Reasoning. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
From Call-by-Value to Interaction by Typed Closure Conversion. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rekha R. Pai |
Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Servetto, Elena Zucca |
Aliasing Control in an Imperative Pure Calculus. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer |
More Sound Static Handling of Java Reflection. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Nicolas Tabareau |
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuma Matsumoto, Naoki Kobayashi 0001, Hiroshi Unno 0001 |
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiangchao Liu, Xavier Rival |
Abstraction of Optional Numerical Values. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0069, Yi Lv, Gaoang Liu, Peng Wu 0002 |
Quasi-Linearizability is Undecidable. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yu Feng 0001, Xinyu Wang 0006, Isil Dillig, Thomas Dillig |
Bottom-Up Context-Sensitive Pointer Analysis for Java. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Matheja, Christina Jansen, Thomas Noll 0001 |
Tree-Like Grammars and Separation Logic. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adriaan Larmuseau, Marco Patrignani, Dave Clarke 0001 |
A Secure Compiler for ML Modules. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder |
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey |
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Romain Péchoux |
Objects in Polynomial Time. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eran Yahav |
Programming with "Big Code". |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xinyu Feng 0001, Sungwoo Park (eds.) |
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deepthi Devaki Akkoorath, Annette Bieniusa |
Transactions on Mergeable Objects. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Inoue, Atsushi Igarashi |
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi |
Shifting the Blame - A Blame Calculus with Delimited Control. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001 |
Decision Algorithms for Checking Definability of Order-2 Finitary PCF. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Xiao 0003, Shi Han, Charles Zhang 0001, Dongmei Zhang 0001 |
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Tetsuo Yokoyama |
Programming Techniques for Reversible Comparison Sorts. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Dudziak |
Randomized Resource-Aware Path-Sensitive Static Analysis. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
A Strong Distillery. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi |
Automatic Memory Management Based on Program Transformation Using Ownership. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Afshin Amighi, Stefan Blom, Marieke Huisman |
Resource Protection Using Atomics - Patterns and Verification. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaohua Shi, Junru Xie, Hengyang Yu |
Address Chain: Profiling Java Objects without Overhead in Java Heaps. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Nassim Seghir, Peter Schrammel |
Necessary and Sufficient Preconditions via Eager Abstraction. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model-Checking for Android Malware Detection. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar |
Compositional Entailment Checking for a Fragment of Separation Logic. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Silvia Crafa |
Hereditary History-Preserving Bisimilarity: Logics and Automata. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edmund Soon Lee Lam, Iliano Cervesato |
Optimized Compilation of Multiset Rewriting with Comprehensions. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Call-by-Value in a Basic Logic for Interaction. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|