Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert Dockins, Andrew Tolmach |
Suppl: A Flexible Language for Policies. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aziem Chawdhary, Edward Robbins 0001, Andy King |
Simple and Efficient Algorithms for Octagons. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi, Takafumi Sakurai |
A Translation of Intersection and Union Types for the λμ-Calculus. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith 0001 |
Types for Flexible Objects. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |
Logic Programming and Logarithmic Space. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop, Naoki Nishida 0001 |
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori |
The Essence of Ruby. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue (eds.) |
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan |
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen |
NetKAT - A Formal System for the Verification of Networks. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Flores-Montoya, Reiner Hähnle |
Resource Analysis of Complex Programs with Cost Equations. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Se-Won Kim, Wooyoung Chin, Jimin Park, Jeongmin Kim, Sukyoung Ryu |
Inferring Grammatical Summaries of String Values. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Ting-Wei Chen |
Functional Pearl: Nearest Shelters in Manhattan. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeyuki Sato 0001, Akimasa Morihata |
Syntax-Directed Divide-and-Conquer Data-Flow Analysis. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Andrea Vezzosi |
A Formalized Proof of Strong Normalization for Guarded Recursive Types. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao, Naoki Kobayashi 0001 |
A ZDD-Based Efficient Higher-Order Model Checking Algorithm. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Besson, Sandrine Blazy, Pierre Wilke |
A Precise and Abstract Memory Model for C Using Symbolic Values. |
APLAS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Patrignani, Dave Clarke 0001, Frank Piessens |
Secure Compilation of Object-Oriented Components to Protected Module Architectures. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julian Kranz, Alexander Sepp, Axel Simon |
GDSL: A Universal Toolkit for Giving Semantics to Machine Language. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
Generalized Quantitative Analysis of Metric Transition Systems. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li |
Temporal Specification Mining for Anomaly Analysis. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kensuke Kojima, Atsushi Igarashi |
A Hoare Logic for SIMT Programs. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Fujima, Sohei Ito, Naoki Kobayashi 0001 |
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fu Song, Tayssir Touili |
Model Checking Dynamic Pushdown Networks. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot, Colin Riba |
On Bar Recursion and Choice in a Classical Setting. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Separation Logic Modulo Theories. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton |
The Proof Assistant as an Integrated Development Environment. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Sylvie Putot |
Robustness Analysis of Finite Precision Implementations. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Cifuentes, Nathan Keynes |
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin |
Bi-Abduction with Pure Properties for Specification Inference. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet |
Environmental Bisimulations for Delimited-Control Operators. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanny Lucero, David A. Naumann, Augusto Sampaio |
Laws of Programming for References. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva 0001 |
Brzozowski's and Up-To Algorithms for Must Testing. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Herbert Wiklicky |
Semantics of Probabilistic Programs: A Weak Limit Approach. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chung-chieh Shan (eds.) |
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue, Didier Rémy |
Ambivalent Types for Principal Type Inference with GADTs. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Haiyan Zhu, Thomas Dillig, Isil Dillig |
Automated Inference of Library Specifications for Source-Sink Property Verification. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Holger Siegel, Bogdan Mihaila, Axel Simon |
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Puech |
Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Broberg, Bart van Delft, David Sands 0001 |
Paragon for Practical Programming with Information-Flow Control. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hyunik Na, Sukyoung Ryu |
ThisJava: An Extension of Java with Exact Types. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Janina Voigt, Alan Mycroft |
Dynamic Alias Protection with Aliasing Contracts. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Ralf Hinze |
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. |
APLAS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yi Lu 0003, John Potter, Jingling Xue |
Ownership Types for Object Synchronisation. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma 0001, Zhengwei Qi |
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
Types and Access Controls for Cross-Domain Security in Flash. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xuan Bach Le, Cristian Gherghina, Aquinas Hobor |
Decision Procedures over Sophisticated Fractional Permissions. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Mechanized Semantics for Compiler Verification. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vitek |
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Greg Morrisett |
Scalable Formal Machine Models. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer |
End-to-end Multilevel Hybrid Information Flow Control. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov |
Vinter: A Vampire-Based Tool for Interpolation. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aloïs Brunel, Antoine Madet |
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
Lazy v. Yield: Incremental, Linear Pretty-Printing. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Costanzo, Zhong Shao |
A Case for Behavior-Preserving Actions in Separation Logic. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Costantini, Pietro Ferrara 0001, Agostino Cortesi |
Linear Approximation of Continuous Systems with Trapezoid Step Functions. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Siliang Li, Yu David Liu, Gang Tan |
JATO: Native Code Atomicity for Java. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabrielle Anderson, Julian Rathke |
Dynamic Software Update for Message Passing Programs. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas H. Austin, Cormac Flanagan, Martín Abadi |
A Functional View of Imperative Information Flow. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich |
Inference of Necessary Field Conditions with Abstract Interpretation. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Sotin, Xavier Rival |
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Succour to the Confused Deputy - Types for Capabilities. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, Atsushi Igarashi (eds.) |
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marek Materzok, Dariusz Biernacki |
A Dynamic Interpretation of the CPS Hierarchy. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu Guo, Xinyu Feng 0001, Zhong Shao, Peizhi Shi |
Modular Verification of Concurrent Thread Management. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Naohi Eguchi, Georg Moser |
A New Order-Theoretic Characterisation of the Polytime Computable Functions. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta |
Concurrent Test Generation Using Concolic Multi-trace Analysis. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
A Generic Cyclic Theorem Prover. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti |
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. |
APLAS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello |
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Solving Recursion-Free Horn Clauses over LI+UIF. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hongseok Yang (eds.) |
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Malkis, Laurent Mauborgne |
On the Strength of Owicki-Gries for Resources. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Fronc, Franck Pommereau |
Towards a Certified Petri Net Model-Checker. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Keiko Nakata 0001, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
Soundness of Data Flow Analyses for Weak Memory Models. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner |
Engineering Theories with Z3. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Computation-by-Interaction with Effects. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Cao, Yuan Dong, Shengyuan Wang |
Compiler Backend Generation for Application Specific Instruction Set Processors. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yun-Yan Chi, Shin-Cheng Mu |
Constructing List Homomorphisms from Proofs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez, Rafael Caballero 0001, Yolanda García-Ruiz |
A Deductive Database with Datalog and SQL Query Languages. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala |
Software Verification with Liquid Types. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
A Semantics for Context-Sensitive Reduction Semantics. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Monniaux, Martin Bodin |
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
Decentralized Delimited Release. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew |
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Baillot |
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Thomas Martin Gawlitza |
Template-Based Unbounded Time Verification of Affine Hybrid Automata. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana L. Milanova, Wei Huang 0001 |
Static Object Race Detection. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hakjoo Oh, Kwangkeun Yi |
Access-Based Localization with Bypassing. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
Algebra, Logic, Locality, Concurrency. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yuichiro Kokaji, Yukiyoshi Kameyama |
Polymorphic Multi-stage Language with Control Effects. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
Towards a General Theory of Barbs, Contexts and Labels. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Nori, Sriram K. Rajamani |
Program Analysis and Machine Learning: A Win-Win Deal. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata |
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|