research
∙
08/30/2023
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
Active Logic Documents (ALD) are web pages which incorporate embedded Pr...
share
research
∙
08/04/2022
Proceedings 38th International Conference on Logic Programming
ICLP is the premier international event for presenting research in logic...
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
09/10/2021
Regular Path Clauses and Their Application in Solving Loops
A well-established approach to reasoning about loops during program anal...
research
∙
06/13/2021
VeriFly: On-the-fly Assertion Checking via Incrementality
Assertion checking is an invaluable programmer's tool for finding many c...
research
∙
07/31/2019
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
The estimation and control of resource usage is now an important challen...
research
∙
07/30/2019
Computing Abstract Distances in Logic Programs
Abstract interpretation is a well-established technique for performing s...
research
∙
12/20/2018
SPECTECTOR: Principled Detection of Speculative Information Flows
Since the advent of SPECTRE, a number of countermeasures have been propo...
research
∙
08/15/2018
Multivariant Assertion-based Guidance in Abstract Interpretation
Approximations during program analysis are a necessary evil, as they ens...
research
∙
04/06/2018
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Instrumenting programs for performing run-time checking of properties, s...
research
∙
04/05/2018
An Approach to Incremental and Modular Context-sensitive Analysis
Context-sensitive global analysis of large code bases can be expensive, ...
research
∙
04/05/2018
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs
Context-sensitive global analysis of large code bases can be expensive, ...
research
∙
05/18/2017