88 citations · 92 across the 5 of their papers we have counts for
5 papers
Algebraic Reasoning About Timeliness
Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy +5
Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e.…
Metaheuristics "In the Large"
Jerry Swan, Steven Adriaensen, Alexander E. I. Brownlee +13
Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid…
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
František Farka, Ekaterina Komendantskya, Kevin Hammond
First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a…
Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems
Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory
Motivated by the need for adaptive, secure and responsive scheduling in a great range of computing applications, including human-centered and time-critical applications, this paper…
Coinductive Soundness of Corecursive Type Class Resolution
František Farka, Ekaterina Komendantskaya, Kevin Hammond
Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed,…