pldb: programming languages papers

Skip to main content

2,069 papers · page 49 of 104

Bma: Visual Tool for Modeling and Analyzing Biological Networks

David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor + 1 more

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Diagnosing Abstraction Failure for Separation Logic-Based Analyses

Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Synthesizing Programs with Constraint Solvers

Rastislav Bodík, Emina Torlak

Abstract elided by the publisher.

DOI dblp Copy BibTeX

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx

Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Acacia+, a Tool for LTL Synthesis

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Abstract elided by the publisher.

DOI dblp Copy BibTeX

IC3 and beyond: Incremental, Inductive Verification

Aaron R. Bradley

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Automated Termination Proofs for Java Programs with Cyclic Data

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Euler: A System for Numerical Optimization of Programs

Swarat Chaudhuri, Armando Solar-Lezama

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Learning Boolean Functions Incrementally

Yu-Fang Chen, Bow-Yaw Wang

Abstract elided by the publisher.

DOI dblp Copy BibTeX

MGSyn: Automatic Synthesis for Industrial Automation

Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

A Complete Method for Symmetry Reduction in Safety Verification

Duc-Hiep Chu, Joxan Jaffar

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Software Model Checking via IC3

Alessandro Cimatti, Alberto Griggio

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi

Abstract elided by the publisher.

Full text DOI dblp Copy BibTeX

Model Checking Cell Biology

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

Minimum Satisfying Assignments for SMT

Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken

Abstract elided by the publisher.

PDF DOI dblp Copy BibTeX

OpenNWA: A Nested-Word Automaton Library

Evan Driscoll, Aditya V. Thakur, Thomas W. Reps

Abstract elided by the publisher.

DOI dblp Copy BibTeX

ACTL ∩ LTL Synthesis

Rüdiger Ehlers

Abstract elided by the publisher.

DOI dblp Copy BibTeX

Proving Termination of Probabilistic Programs Using Patterns

Javier Esparza, Andreas Gaiser, Stefan Kiefer

Proving programs terminating is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The analog for probabilistic programs, namely termination with probability one ("almost-sure termination"…

DOI dblp Copy BibTeX