9 citations · 10 across the 2 of their papers we have counts for
4 papers
Guiding user annotations for units-of-measure verification
Dominic Orchard, Mistral Contrastin, Matthew Danish +1
This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our…
Adaptive Forgetting Curves for Spaced Repetition Language Learning
Ahmed Zaidi, Andrew Caines, Russell Moore +2
The forgetting curve has been extensively explored by psychologists, educationalists and cognitive scientists alike. In the context of Intelligent Tutoring Systems, modelling the f…
Tuneful: An Online Significance-Aware Configuration Tuner for Big Data Analytics
Ayat Fekry, Lucian Carata, Thomas Pasquier +2
Distributed analytics engines such as Spark are a common choice for processing extremely large datasets. However, finding good configurations for these systems remains challenging,…
Learning to Fix Build Errors with Graph2Diff Neural Networks
Daniel Tarlow, Subhodeep Moitra, Andrew Rice +4
Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new…