pldb: programming languages papers

Skip to main content

1,553 papers · page 44 of 78

Ramsey vs. Lexicographic Termination Proving

Byron Cook, Abigail See, Florian Zuleger

Abstract elided by the publisher.

DOI dblp Copy BibTeX

An Overview of the mCRL2 Toolset and Its Recent Advances

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution)

Kamil Dudka, Petr Müller, Petr Peringer, Tomás Vojnar

Abstract elided by the publisher.

DOI dblp Copy BibTeX

The Quest for Minimal Quotients for Probabilistic Automata

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)

Stephan Falke, Florian Merz, Carsten Sinz

Abstract elided by the publisher.

DOI dblp Copy BibTeX

eVolCheck: Incremental Upgrade Checker for C

Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Policy Analysis for Self-administrated Role-Based Access Control

Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Unbounded Model-Checking with Interpolation for Regular Language Constraints

Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Underapproximation of Procedure Summaries for Integer Programs

Pierre Ganty, Radu Iosif, Filip Konecný

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Model Checking Database Applications

Milos Gligoric, Rupak Majumdar

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Analysis of Boolean Programs

Patrice Godefroid, Mihalis Yannakakis

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Runtime Verification Based on Register Automata

Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos

We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dynamically generate an unbounded number of fresh object identities during their execution. Our formal…

DOI dblp Copy BibTeX

Ultimate Automizer with SMTInterpol - (Competition Contribution)

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling + 1 more

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Model-Checking Iterated Games

Chung-Hao Huang, Sven Schewe, Farn Wang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors

Ajith K. John, Supratik Chakraborty

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Integer Parameter Synthesis for Timed Automata

Aleksandra Jovanovic, Didier Lime, Olivier H. Roux

Abstract elided by the publisher.

DOI dblp Copy BibTeX

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty

Jean-Francois Kempf, Marius Bozga, Oded Maler

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

Model Checking Agent Knowledge in Dynamic Access Control Policies

Masoud Koleini, Eike Ritter, Mark Ryan

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Synthesis of Circular Compositional Program Proofs via Abduction

Boyang Li, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems

Alexander Linden, Pierre Wolper

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX