98 citations · 385 across the 33 of their papers we have counts for
7 papers · 1 filter
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan +3
Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements…
A Core Model for Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of programming communications declaratively…
When Six Gates are Not Enough
Michael Codish, Luís Cruz-Filipe, Michael Frank +1
We apply the pigeonhole principle to show that there must exist Boolean functions on 7 inputs with a multiplicative complexity of at least 7, i.e., that cannot be computed with onl…
Sorting Networks: to the End and Back Again
Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers +2
This paper studies new properties of the front and back ends of a sorting network, and illustrates the utility of these in the search for new bounds on optimal sorting networks. Se…
Applying Sorting Networks to Synthesize Optimized Sorting Libraries
Michael Codish, Luís Cruz-Filipe, Markus Nebel +1
This paper shows an application of the theory of sorting networks to facilitate the synthesis of optimized general purpose sorting libraries. Standard sorting libraries are often b…
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker
Luís Cruz-Filipe, Peter Schneider-Kamp
Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal…
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
Luís Cruz-Filipe, Peter Schneider-Kamp
In recent work, we formalized the theory of optimal-size sorting networks with the goal of extracting a verified checker for the large-scale computer-generated proof that 25 compar…