LPAR 2024:Author IndexAuthor  Papers 

A  Akshay, S.  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Aleksandrova, Kristina  Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery  B  Baaz, Matthias  On Translations of Epsilon Proofs to LK  Barenbaum, Pablo  Hybrid Intersection Types for PCF  Barrett, Clark  Verifying SQL queries using theories of tables and relations  Baumgartner, Peter  Automated Theorem Provers Help Improve Large Language Model Reasoning  Biere, Armin  Certifying Incremental SAT Solving  Blanqui, Frédéric  Translating HOLLight proofs to Coq  Bonichon, Richard  A Generic Deskolemization Strategy  Bromberger, Martin  Automatic Bit and MemoryPrecise Verification of eBPF Code  Brown, Chad  Experiments with Choice in DependentlyTyped HigherOrder Logic  Brugger, Lea Salome  Scaling CheckMate for GameTheoretic Security  C  Cailler, Julie  A Generic Deskolemization Strategy  Chakraborty, Supratik  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Chimes, Mark  TreeVerifiable Graph Grammars  CruzFilipe, Luís  Minimizing Sorting Networks at the SubComparator Level  F  Fazekas, Katalin  Certifying Incremental SAT Solving  Fermüller, Christian  Reasoning About Group Polarization: From Semantic Games to Sequent Systems A Simple Token Game and its Logic  Fleury, Mathias  Certifying Incremental SAT Solving  Freiman, Robert  Reasoning About Group Polarization: From Semantic Games to Sequent Systems A Simple Token Game and its Logic  G  Georgiou, Pamina  Saturating Sorting without Sorts  Gottlob, Georg  Fuzzy Datalog∃ over Arbitrary tNorms  Govind, R.  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Guerrieri, Giulio  Confluence for ProofNets via Parallel Cut Elimination  Gurfinkel, Arie  Efficient Simulation for Hardware Model Checking  H  Hajdu, Márton  Saturating Sorting without Sorts Rewriting and Inductive Reasoning  Hennicker, Rolf  Symbolic Realisation of Epistemic Processes  Hermant, Olivier  A Generic Deskolemization Strategy  Hunter, Aaron  A Tool for Reasoning about Trust and Belief  I  Iglesias, Alberto  A Tool for Reasoning about Trust and Belief  Iosif, Radu  TreeVerifiable Graph Grammars  J  Jakubuv, Jan  First Experiments with Neural cvc5 Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery  Janota, Mikolas  First Experiments with Neural cvc5  K  Kafshdar Goharshady, Amir  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Kahramanogullari, Ozan  Deep Inference in Proof Search: The Need for Shallow Inference  Kaliszyk, Cezary  Experiments with Choice in DependentlyTyped HigherOrder Logic Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery  Kesner, Delia  Hybrid Intersection Types for PCF  Knapp, Alexander  Symbolic Realisation of Epistemic Processes  Korovin, Konstantin  VIRAS: ConflictDriven Quantifier Elimination for IntegerReal Arithmetic  Kovács, Laura  Saturating Sorting without Sorts VIRAS: ConflictDriven Quantifier Elimination for IntegerReal Arithmetic Scaling CheckMate for GameTheoretic Security Rewriting and Inductive Reasoning  L  Lang, Timo  A Simple Token Game and its Logic  Lanzinger, Matthias  Fuzzy Datalog∃ over Arbitrary tNorms  Leitsch, Alexander  Herbrand's Theorem in Inductive Proofs  Lolic, Anela  On Translations of Epsilon Proofs to LK Herbrand's Theorem in Inductive Proofs  M  Manara, Giulia  Confluence for ProofNets via Parallel Cut Elimination  McGinness, Lachlan  Automated Theorem Provers Help Improve Large Language Model Reasoning  Milicich, Mariana  Hybrid Intersection Types for PCF  Miné, Antoine  Automatic Detection of Vulnerable Variables for CTL Properties of Programs  Mohamed, Mudathir Mahgoub Yahia  Verifying SQL queries using theories of tables and relations  Motwani, Harshit Jitendra  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Moussaoui Remil, Naïm  Automatic Detection of Vulnerable Variables for CTL Properties of Programs  O  Olarte, Carlos  Reasoning About Group Polarization: From Semantic Games to Sequent Systems  P  Petković Komel, Anja  Scaling CheckMate for GameTheoretic Security  Piepenbrock, Jelle  First Experiments with Neural cvc5  Pimentel, Elaine  Reasoning About Group Polarization: From Semantic Games to Sequent Systems  Pollitt, Florian  Certifying Incremental SAT Solving  R  Rain, Sophie  Scaling CheckMate for GameTheoretic Security  Ranalter, Daniel  Experiments with Choice in DependentlyTyped HigherOrder Logic  Rawson, Michael  Scaling CheckMate for GameTheoretic Security Rewriting and Inductive Reasoning  Reynolds, Andrew  Verifying SQL queries using theories of tables and relations  Rosain, Johann  A Generic Deskolemization Strategy  S  SchneiderKamp, Peter  Minimizing Sorting Networks at the SubComparator Level  Schoisswohl, Johannes  VIRAS: ConflictDriven Quantifier Elimination for IntegerReal Arithmetic  Schwarz, Simon  Automatic Bit and MemoryPrecise Verification of eBPF Code  Sferrazza, Stefano  Fuzzy Datalog∃ over Arbitrary tNorms  Subercaseaux, Bernardo  Sometimes Hoarding is Harder than Cleaning: NPhardness of Maximum BlockedClause Addition  T  Tafese, Joseph  Efficient Simulation for Hardware Model Checking  Tammet, Tanel  Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper)  Tinelli, Cesare  Verifying SQL queries using theories of tables and relations  Toledo, Guilherme  Combining Combination Properties: Minimal Models  Tortora de Falco, Lorenzo  Confluence for ProofNets via Parallel Cut Elimination  U  Urban, Caterina  Automatic Detection of Vulnerable Variables for CTL Properties of Programs  Urban, Josef  First Experiments with Neural cvc5  V  Varanasi, Sai Teja  Automated Synthesis of Decision Lists for Polynomial Specifications over Integers  Vaux Auclair, Lionel  Confluence for ProofNets via Parallel Cut Elimination  W  Wałęga, Przemysław Andrzej  Fuzzy Datalog∃ over Arbitrary tNorms  Weidenbach, Christoph  Automatic Bit and MemoryPrecise Verification of eBPF Code  Wirsing, Martin  Symbolic Realisation of Epistemic Processes  Z  Zohar, Yoni  Combining Combination Properties: Minimal Models  Zuleger, Florian  TreeVerifiable Graph Grammars 

