“What it wants me to say”: Bridging the abstraction gap between end-user programmers and code-generating large language models

…, C Negreanu, B Zorn, J Williams, N Toronto… - Proceedings of the …, 2023 - dl.acm.org
Code-generating large language models map natural language to code. However, only a
small portion of the infinite space of naturalistic utterances is effective at guiding code …

[BOOK][B] Changing Toronto: governing urban neoliberalism

JA Boudreau, R Keil, D Young - 2009 - books.google.com
Neil Brenner, David Harvey, Doreen Massey, Neil Smith, and Edward Soja). After much
neglect in the traditional non-geographic disciplines, space has now become a general point of …

“Common–sense” neoliberalism: Progressive conservative urbanism in Toronto, Canada

R Keil - Antipode, 2002 - Wiley Online Library
… The paper looks specifically at Toronto, Ontario, as a case … a wide variety of people in
Toronto and elsewhere. Much of this … However, the paper also argues that Toronto’s elites have …

Calculation view: multiple-representation editing in spreadsheets

…, AD Gordon, SP Jones, N Toronto - 2018 IEEE Symposium …, 2018 - ieeexplore.ieee.org
Spreadsheet errors are ubiquitous and costly, an unfortunate combination that is well-reported.
A large class of these errors can be attributed to the inability to clearly see the underlying …

Running probabilistic programs backwards

N Toronto, J McCarthy, D Van Horn - … , ESOP 2015, Held as Part of the …, 2015 - Springer
Many probabilistic programming languages allow programs to be run under constraints in
order to carry out Bayesian inference. Running programs under constraints could enable other …

Comparing metropolitan governance: The cases of Montreal and Toronto

JA Boudreau, P Hamel, B Jouve, R Keil - Progress in Planning, 2006 - Elsevier
… work on new regional dynamics in Montreal and Toronto is developed below. We begin with
… We then look at the consequences of these transformations in Montreal and Toronto, before …

New state spaces in Canada: Metropolitanization in Montreal and Toronto compared

JA Boudreau, P Hamel, B Jouve, R Keil - Urban Geography, 2007 - Taylor & Francis
… in two Canadian city-regions (Toronto and Montreal). Taking Neil Brenner’s argument about
… how governance restructuring in recently consolidated Toronto and Montreal has been part …

Experience report: applying random testing to a base type environment

V St-Amour, N Toronto - Proceedings of the 18th ACM SIGPLAN …, 2013 - dl.acm.org
As programmers, programming in typed languages increases our confidence in the correctness
of our programs. As type system designers, soundness proofs increase our confidence …

[BOOK][B] Nature and the city: making environmental policy in Toronto and Los Angeles

G Desfor, R Keil - 2004 - books.google.com
… In addition, we thank Neil Brenner and an anonymous referee for their insightful and
constructive comments. We also would like to acknowledge the support and encouragement of …

The Hough transform's implicit Bayesian foundation

N Toronto, BS Morse, D Ventura… - 2007 IEEE International …, 2007 - ieeexplore.ieee.org
This paper shows that the basic Hough transform is implicitly a Bayesian process-that it
computes an unnormalized posterior distribution over the parameters of a single shape given …