Simon Peyton Jones

58 papers A* 6A 5B 2C 5Journal 31Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Triemaps that Match. Languages, Compilers, Analysis Simon Peyton Jones, Sebastian Graf
2025	J	`jnl`	Dual-Numbers Reverse AD for Functional Array Languages. CoRR Tom Smeding, Mikolaj Konarski, Simon Peyton Jones, Andrew W. Fitzgibbon
2025	C	`conf`	Join Points in Practice (Keynote). Haskell Simon Peyton Jones
2024	J	`jnl`	Abstracting Denotational Interpreters. CoRR Sebastian Graf, Simon Peyton Jones, Sven Keidel
2023	J	`jnl`	The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
2023	J	`jnl`	Triemaps that match. CoRR Simon Peyton Jones, Sebastian Graf
2022	A*	`conf`	CoRGi: Content-Rich Graph Neural Networks with Attention. KDD Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zhang, Miltiadis Allamanis
2022	J	`jnl`	Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. CoRR Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
2022	J	`jnl`	Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation. Proc. ACM Program. Lang. Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
2022	A*	`conf`	Simultaneous Missing Value Imputation and Structure Learning with Groups. NeurIPS Pablo Morales-Alvarez, Wenbo Gong, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Nick Pawlowski, Miltiadis Allamanis, Cheng Zhang
2021	J	`jnl`	CoRGi: Content-Rich Graph Neural Networks with Attention. CoRR Jooyeon Kim, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Cheng Zheng, Miltiadis Allamanis
2021	A*	`conf`	Educational Question Mining At Scale: Prediction, Analysis and Personalization. AAAI Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Richard G. Baraniuk, Cheng Zhang
2021	J	`jnl`	Hashing Modulo Alpha-Equivalence. CoRR Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones
2021	A*	`conf`	Hashing modulo alpha-equivalence. PLDI Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones
2021	J	`jnl`	Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge. CoRR Zichao Wang, Angus Lamb, Evgeny Saveliev, Pashmina Cameron, Yordan Zaykov, José Miguel Hernández-Lobato, Richard E. Turner, Richard G. Baraniuk, Craig Barton, Simon Peyton Jones, Simon Woodhead, Cheng Zhang
2021	J	`jnl`	VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups. CoRR Pablo Morales-Alvarez, Angus Lamb, Simon Woodhead, Simon Peyton Jones, Miltiadis Allamanis, Cheng Zhang
2020	J	`jnl`	A quick look at impredicativity. Proc. ACM Program. Lang. Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
2020	J	`jnl`	Build systems à la carte: Theory and practice. J. Funct. Program. Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
2020	J	`jnl`	Diagnostic Questions: The NeurIPS 2020 Education Challenge. CoRR Zichao Wang, Angus Lamb, Evgeny Saveliev, Pashmina Cameron, Yordan Zaykov, José Miguel Hernández-Lobato, Richard E. Turner, Richard G. Baraniuk, Craig Barton, Simon Peyton Jones, Simon Woodhead, Cheng Zhang
2020	J	`jnl`	Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. J. Funct. Program. Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
2020	J	`jnl`	Kinds are calling conventions. Proc. ACM Program. Lang. Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
2020	J	`jnl`	Large-Scale Educational Question Analysis with Partial Variational Auto-encoders. CoRR Zichao Wang, Sebastian Tschiatschek, Simon Woodhead, José Miguel Hernández-Lobato, Simon Peyton Jones, Cheng Zhang
2020	J	`jnl`	Lower your guards: a compositional pattern-match coverage checker. Proc. ACM Program. Lang. Sebastian Graf, Simon Peyton Jones, Ryan G. Scott
2020	—	`conf`	Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge. NeurIPS (Competition and Demos) Zichao Wang, Angus Lamb, Evgeny Saveliev, Pashmina Cameron, Yordan Zaykov, José Miguel Hernández-Lobato, Richard E. Turner, Richard G. Baraniuk, Craig Barton, Simon Peyton Jones, Simon Woodhead, Cheng Zhang
2019	A	`conf`	Codata in Action. ESOP Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
2019	J	`jnl`	Efficient differentiable programming in a functional array-processing language. Proc. ACM Program. Lang. Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones
2019	J	`jnl`	Higher-order type-level programming in Haskell. Proc. ACM Program. Lang. Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones
2019	—	`conf`	Making a faster Curry with extensional types. Haskell@ICFP Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
2019	J	`jnl`	Selective Lambda Lifting. CoRR Sebastian Graf, Simon Peyton Jones
2018	J	`jnl`	Build systems à la carte. Proc. ACM Program. Lang. Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
2018	B	`conf`	Calculation View: multiple-representation editing in spreadsheets. VL/HCC Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto
2018	J	`jnl`	Efficient Differentiable Programming in a Functional Array-Processing Language. CoRR Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
2018	A*	`conf`	Guarded impredicative polymorphism. PLDI Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
2018	J	`jnl`	Linear Haskell: practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang. Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2018	—	`conf`	Type variables in patterns. Haskell@ICFP Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2018	J	`jnl`	Type variables in patterns. CoRR Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2017	—	`conf`	Destination-passing style for efficient memory management. FHPC@ICFP Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
2017	J	`jnl`	Exploiting vector instructions with generalized stream fusion. Commun. ACM Geoffrey Mainland, Roman Leshchinskiy, Simon Peyton Jones
2017	—	`conf`	How to Write a Great Research Paper. ICCSW Simon Peyton Jones
2017	A*	`conf`	Levity polymorphism. PLDI Richard A. Eisenberg, Simon Peyton Jones
2017	J	`jnl`	Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2017	J	`jnl`	Trees that Grow. J. Univers. Comput. Sci. Shayan Najd, Simon Peyton Jones
2016	—	`conf`	A Reflection on Types. A List of Successes That Can Change the World Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
2016	J	`jnl`	Composable scheduler activations for Haskell. J. Funct. Program. K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
2016	C	`conf`	Desugaring Haskell's do-notation into applicative operations. Haskell Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov
2016	C	`conf`	Non-recursive make considered harmful: build systems at scale. Haskell Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow
2016	C	`conf`	Pattern synonyms. Haskell Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg
2016	J	`jnl`	Safe zero-cost coercions for Haskell. J. Funct. Program. Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
2016	A	`conf`	Sequent calculus as a compiler intermediate language. ICFP Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones
2016	J	`jnl`	Trees That Grow. CoRR Shayan Najd, Simon Peyton Jones
2015	—	`conf`	The dream of a lifetime: an opportunity to shape how our children learn computing. PPIG Simon Peyton Jones
2010	—	`ch.`	Fun with Type Functions. Reflections on the Work of C. A. R. Hoare Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan
2002	C	`conf`	Template meta-programming for Haskell. Haskell Tim Sheard, Simon Peyton Jones
1998	B	`conf`	Scripting COM components in Haskell. ICSR Simon Peyton Jones, Erik Meijer, Daan Leijen
1994	A	`conf`	Compilation by Transformation in the Glasgow Haskell Compiler. Functional Programming Simon Peyton Jones, André L. M. Santos
1994	A	`conf`	Programming Reactive Systems in Haskell. Functional Programming Sigbjørn Finne, Simon Peyton Jones
1993	A	`conf`	Measuring the effectiveness of a simple strictness analyser. Functional Programming Simon Peyton Jones, Will Partain
1986	J	`jnl`	Using Futurebus in a fifth-generation computer. Microprocess. Microsystems Simon Peyton Jones