2 papers
cs.LO2018
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
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…