research
∙
04/13/2023
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models
Code-generating large language models translate natural language into co...
share
research
∙
08/12/2022
What is it like to program with artificial intelligence?
Large language models, such as OpenAI's codex and Deepmind's AlphaCode, ...
research
∙
10/22/2020
Conditional independence by typing
A central goal of probabilistic programming languages (PPLs) is to separ...
research
∙
04/01/2020
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints
We present a new approach to the type inference problem for dynamic lang...
research
∙
05/30/2019
Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty
Spreadsheet users regularly deal with uncertainty in their data, for exa...
research
∙
11/02/2018
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
Stan is a probabilistic programming language that has been increasingly ...
research
∙
04/04/2017
Deriving Probability Density Functions from Probabilistic Functional Programs
The probability density function of a probability distribution is a fund...
research
∙
08/03/2013