58:43

[LOPSTR23] Unification Modulo Equational Theories in Languages with Binding Operators

ACM SIGPLAN

26:26

[LOPSTR23] Towards a Certified Proof Checker for Deep Neural Network Verification

ACM SIGPLAN

38:38

[LOPSTR23] A Reusable Machine-Calculus for Automated Resource Analyses

ACM SIGPLAN

24:49

[LOPSTR23] A Logical Interpretation of Asynchronous Multiparty Compatibility

ACM SIGPLAN

21:58

[LOPSTR23] Relational Solver for Java Generics Type System

ACM SIGPLAN

26:22

[LOPSTR23] A Rule-Based Approach for Designing and Composing Abstract Domains

ACM SIGPLAN

31:01

[LOPSTR23] Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular E...

ACM SIGPLAN

1:06:11

[LOPSTR23] On-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...

ACM SIGPLAN

28:45

[LOPSTR23] A Term Matching Algorithm and Substitution Generality

ACM SIGPLAN

37:04

[LOPSTR23] Predicate Anti-unification in (Constraint) Logic Programming

ACM SIGPLAN

29:43

[LOPSTR23] A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification

ACM SIGPLAN

19:01

[LOPSTR23] From Static to Dynamic Access Control Policies via Attribute-Based Category Min...

ACM SIGPLAN

37:38

[LOPSTR23] Constrained Horn Clauses Satisfiability via Catamorphic Abstractions

ACM SIGPLAN

24:23

[LOPSTR23] Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

ACM SIGPLAN