88 citations · 92 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 2 cited
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…
cs.DC2018★ 2 cited
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…