Concepedia

Simon Peyton-Jones

SP

11

Publications

1.4K

Citations

10

H-Index

1987

Active since

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

Cornell University

University of Cambridge

Portland State University

Simon Peyton-Jones is an author at Microsoft Research (United Kingdom) specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsAutomated ReasoningFormal VerificationSoftware AnalysisData ScienceVerificationSystem Software

Publications per year

1987–2017

11

Publications

11

Composable memory transactions

Tim Harris, Simon Marlow, Simon Peyton-Jones et al. · 2005 · 710 citations

Engineering, Computer Architecture, Transaction Processing +19

Refinement types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala et al. · 2014 · 239 citations

Refinement Types, Engineering, Automated Reasoning +12

Towards Haskell in the cloud

Jeff Epstein, Andrew P. Black, Simon Peyton-Jones · 2011 · 116 citations

Engineering, Computer Architecture, Formal Verification +19

Understanding functional dependencies via constraint handling rules

Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones et al. · Journal of Functional Programming · 2006 · 75 citations · Full text

Engineering, Type Theory, Constraints +20

Roadmap for enhanced languages and methods to aid verification

Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations

Software Maintenance, Engineering, Verification +24

Rows per page

1–5 of 11