Global Talk Author Index

GLOBAL TALK AUTHOR INDEX

Shortcuts: A B C D E F G H J K L M N P R S T U V W Y Z

A
Agarwal, Palak	(LPAR-22) Parse Condition: A Symbolic Encoding for LL(1) Parsing
Aparicio-Sánchez, Damián	(LPAR-22) Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Apt, Krzysztof	(LPAR-22) When Are Two Gossips the Same?
Asadi, Sepideh	(LPAR-22) Function Summarization Modulo Theories
B
Baader, Franz	(LPAR-22) Matching in the Description Logic FL0 with respect to General TBoxes
Baaz, Matthias	(LPAR-22) Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic
Bardin, Sébastien	(LPAR-22) Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Bash, Tamar	(LPAR-22) Towards Efficient Metaquery Generator
Bauer, Sabine	(LPAR-22) Linear Tree Constraints
Ben-Eliyahu-Zohary, Rachel	(LPAR-22) Towards Efficient Metaquery Generator (IWIL-2018) Splitting a Logic Program Efficiently
Bendík, Jaroslav	(LPAR-22) Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Benhamou, Belaid	(LPAR-22) Symmetry breaking in a new stable model search method
Bickford, Mark	(LPAR-22) A Verified Theorem Prover Backend Supported by a Monotonic Library
Blicha, Martin	(LPAR-22) Function Summarization Modulo Theories
Boker, Udi	(LPAR-22) Why These Automata Types?
Bottesch, Ralph	(LPAR-22) A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
C
Cerna, Ivana	(LPAR-22) Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
Charatonik, Witold	(LPAR-22) Two-variable First-Order Logic with Counting in Forests
Chatterjee, Krishnendu	(LPAR-22) Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Chockler, Hana	(LPAR-22) Lookahead-Based SMT Solving (LPAR-22) Function Summarization Modulo Theories
Ciaffaglione, Alberto	(LPAR-22) The Involutions-as-Principal Types/Application-as-Unification Analogy
Ciardo, Gianfranco	(LPAR-22) Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
Ciesielski, Maciej	(LPAR-22) Rewriting Environment for Arithmetic Circuit Verification
Cohen, Liron	(LPAR-22) A Verified Theorem Prover Backend Supported by a Monotonic Library
D
Das, Anupam	(LPAR-22) Completeness of Left Handed Kleene algebra via Cyclic Proofs
David, Robin	(LPAR-22) Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Davy, Guillaume	(LPAR-22) Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Dershowitz, Nachum	(LPAR-22) Graphs Path Orderings
Dietz Saldanha, Emmanuelle-Anna	(LPAR-22) The Weak Completion Semantics and Equality
Doumane, Amina	(LPAR-22) Completeness of Left Handed Kleene algebra via Cyclic Proofs
Dvořák, Wolfgang	(LPAR-22) Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
E
Erascu, Madalina	(IWIL-2018) Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Escobar, Santiago	(LPAR-22) Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Even-Mendoza, Karine	(LPAR-22) Function Summarization Modulo Theories
F
Faran, Rachel	(LPAR-22) LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
Farinier, Benjamin	(LPAR-22) Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Fedyukovich, Grigory	(LPAR-22) Function Summarization Modulo Theories
Fernandez Gil, Oliver	(LPAR-22) Matching in the Description Logic FL0 with respect to General TBoxes
Feron, Eric	(LPAR-22) Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
G
Garoche, Pierre-Loic	(LPAR-22) Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Gleiss, Bernhard	(LPAR-22) Loop Analysis by Quantification over Iterations
Goertzel, Ben	(LPAR-22) Commonsense Reasoning for Robotics and Bioscience via Probabilistic Logic and Meta-learning
Goertzel, Zarathustra	(IWIL-2018) ProofWatch Meets ENIGMA: First Experiments
González-Burgueño, Antonio	(LPAR-22) Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Grossi, Davide	(LPAR-22) When Are Two Gossips the Same?
Gupta, Rahul	(LPAR-22) Knowledge Compilation meets Uniform Sampling
Guskov, Yegor	(LPAR-22) Two-variable First-Order Logic with Counting in Forests
H
Haslbeck, Max W.	(LPAR-22) A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
Henrion, Didier	(LPAR-22) Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Henzinger, Monika	(LPAR-22) Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Hermanns, Holger	(LPAR-22) Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
Hoffmann, Jan	(LPAR-22) Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Hofmann, Martin	(LPAR-22) Linear Tree Constraints
Honsell, Furio	(LPAR-22) The Involutions-as-Principal Types/Application-as-Unification Analogy
Hyvärinen, Antti	(LPAR-22) Lookahead-Based SMT Solving (LPAR-22) Function Summarization Modulo Theories (LPAR-22) SMTS: Distributed, Visualized Constraint Solving
Hölldobler, Steffen	(LPAR-22) The Weak Completion Semantics and Equality
J
Jakubův, Jan	(IWIL-2018) ProofWatch Meets ENIGMA: First Experiments
Janota, Mikolas	(LPAR-22) Towards Smarter MACE-style Model Finders
Jhunjhunwala, Saket	(LPAR-22) Parse Condition: A Symbolic Encoding for LL(1) Parsing
Jiang, Chuan	(LPAR-22) Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
Jonáš, Martin	(LPAR-22) Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
Jost, Steffen	(LPAR-22) Linear Tree Constraints (LPAR-22) In Memory of Martin Hofmann
Jouannaud, Jean-Pierre	(LPAR-22) Graphs Path Orderings
K
Katelaan, Jens	(IWIL-2018) Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Khaled, Tarek	(LPAR-22) Symmetry breaking in a new stable model search method
Kovacs, Laura	(LPAR-22) Loop Analysis by Quantification over Iterations
Kupferman, Orna	(LPAR-22) LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems (LPAR-22) Alternating Reachability Games with Behavioral and Revenue Objectives (LPAR-22) Variations on the Classical Maximum-Flow Problem
L
Lemerre, Matthieu	(LPAR-22) Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Lenisa, Marina	(LPAR-22) The Involutions-as-Principal Types/Application-as-Unification Analogy
Lolic, Anela	(LPAR-22) Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic
López-Fraguas, Francisco J.	(LPAR-22) Polymorphic success types for Erlang
M
Marantidis, Pavlos	(LPAR-22) Matching in the Description Logic FL0 with respect to General TBoxes
Marescotti, Matteo	(LPAR-22) Lookahead-Based SMT Solving (LPAR-22) SMTS: Distributed, Visualized Constraint Solving
Matheja, Christoph	(IWIL-2018) Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Meadows, Catherine	(LPAR-22) Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Meel, Kuldeep S.	(LPAR-22) Knowledge Compilation meets Uniform Sampling
Meseguer, José	(LPAR-22) Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA
Mishchenko, Alan	(LPAR-22) Rewriting Environment for Arithmetic Circuit Verification
Montenegro, Manuel	(LPAR-22) Polymorphic success types for Erlang
N
Niu, Yue	(LPAR-22) Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Noll, Thomas	(IWIL-2018) Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
P
Pous, Damien	(LPAR-22) Completeness of Left Handed Kleene algebra via Cyclic Proofs
Pratt-Hartmann, Ian	(LPAR-22) Two-variable First-Order Logic with Counting in Forests
R
Rahli, Vincent	(LPAR-22) A Verified Theorem Prover Backend Supported by a Monotonic Library
Rebola Pardo, Adrian	(LPAR-22) A Theory of Satisfiability-Preserving Proofs in SAT Solving
Robillard, Simon	(LPAR-22) Loop Analysis by Quantification over Iterations
Roy, Subhajit	(LPAR-22) Parse Condition: A Symbolic Encoding for LL(1) Parsing (LPAR-22) Knowledge Compilation meets Uniform Sampling
Rudolph, Sebastian	(LPAR-22) The Triguarded Fragment of First-order Logic
S
Sadigova, Parvin	(LPAR-22) Lookahead-Based SMT Solving
Scagnetto, Ivan	(LPAR-22) The Involutions-as-Principal Types/Application-as-Unification Analogy
Schwarz, Sibylle	(LPAR-22) The Weak Completion Semantics and Equality
Sharma, Shubham	(LPAR-22) Knowledge Compilation meets Uniform Sampling
Sharygina, Natasha	(LPAR-22) Lookahead-Based SMT Solving (LPAR-22) Function Summarization Modulo Theories (LPAR-22) SMTS: Distributed, Visualized Constraint Solving
Simkus, Mantas	(LPAR-22) The Triguarded Fragment of First-order Logic
Singal, Dhruv	(LPAR-22) Parse Condition: A Symbolic Encoding for LL(1) Parsing
Stefanus, Lim Yohanes	(LPAR-22) The Weak Completion Semantics and Equality
Strejček, Jan	(LPAR-22) Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
Su, Tiankai	(LPAR-22) Rewriting Environment for Arithmetic Circuit Verification
Suda, Martin	(LPAR-22) Towards Smarter MACE-style Model Finders (LPAR-22) A Theory of Satisfiability-Preserving Proofs in SAT Solving
Suárez-García, Gorka	(LPAR-22) Polymorphic success types for Erlang
Svozil, Alexander	(LPAR-22) Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
T
Tamir, Tami	(LPAR-22) Alternating Reachability Games with Behavioral and Revenue Objectives
Thiemann, René	(LPAR-22) A Verified Efficient Implementation of the LLL Basis Reduction Algorithm (IWIL-2018) Extending a Verified Simplex Algorithm
U
Urban, Josef	(IWIL-2018) ProofWatch Meets ENIGMA: First Experiments
V
Van-Der-Hoek, Wiebe	(LPAR-22) When Are Two Gossips the Same?
Veanes, Margus	(IWIL-2018) Research in RiSE at MSR
Vivekanandan, Paventhan	(LPAR-22) HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
W
Wałęga, Przemysław Andrzej	(LPAR-22) On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Witkowski, Piotr	(LPAR-22) Two-variable First-Order Logic with Counting in Forests
Y
Yasin, Atif	(LPAR-22) Rewriting Environment for Arithmetic Circuit Verification
Yu, Cunxi	(LPAR-22) Rewriting Environment for Arithmetic Circuit Verification
Z
Zaharie, Daniela	(IWIL-2018) Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Zamfirache, Flavia	(IWIL-2018) Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Zuleger, Florian	(IWIL-2018) Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic