Simon Peyton-Jones - Concepedia

Concepedia

Author

Simon Peyton-Jones

Microsoft Research (United Kingdom)

Also Known As

SIMON PEYTON-JONES, Simon Peyton-Jones

23

Publications

1.4K

Citations

12

H-Index

39

Concepts

All Affiliations

Microsoft Research (United Kingdom)Microsoft (United States)Cornell University University of Cambridge Portland State University

SP

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	1.3K
2	Computer Science	10	10	1.3K
3	Data Science	4	4	192
4	Language Studies	2	2	144
5	Computer Engineering	1	1	18

Simon Peyton-Jones

×

11

Publications

1.4K

Citations

10

H-Index

	Year	Citations
Composable memory transactions Tim Harris, Simon Marlow, Simon Peyton-Jones, EngineeringComputer ArchitectureTransaction ProcessingConcurrent SystemNew Concurrency Model	2005	710
Refinement types for Haskell Niki Vazou, Eric L. Seidel, Ranjit Jhala, Refinement TypesEngineeringAutomated ReasoningProgram AnalysisType Theory	2014	239
Towards Haskell in the cloud Jeff Epstein, Andrew P. Black, Simon Peyton-Jones EngineeringComputer ArchitectureFormal VerificationShallow EmbeddingData Science	2011	116
Understanding functional dependencies via constraint handling rules Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, Journal of Functional Programming EngineeringType TheoryConstraintsNew ApplicationsSemantics	2006	75
Roadmap for enhanced languages and methods to aid verification Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2006	69
Refinement types for Haskell Niki Vazou, Eric L. Seidel, Ranjit Jhala, ACM SIGPLAN Notices Refinement TypesEngineeringAutomated ReasoningProgram AnalysisType Theory	2014	37
Diagnosing type errors with class Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Type ErrorsError AnalysisRicher Type SystemEngineeringData Science	2015	30
Towards Haskell in the cloud Jeff Epstein, Andrew P. Black, Simon Peyton-Jones ACM SIGPLAN Notices EngineeringComputer ArchitectureFormal VerificationShallow EmbeddingData Science	2011	30
GRIP: A parallel graph reduction machine Simon Peyton-Jones, Christopher D. Clack, Jon Salkild UCL Discovery (University College London) EngineeringGraph ReductionComputer ArchitectureNetwork AnalysisParallel Implementation	1987	18
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference Derek M. McAuley, Simon Peyton-Jones Programming Language TheoryEngineeringData ScienceProgram AnalysisAutomated Reasoning	2010	16

Page 1