Concepedia

Paul Govereau

PG

6

Publications

431

Citations

6

H-Index

2005

Active since

Affiliations

Harvard University Press(Current)

Microsoft Research (United Kingdom)

IT University of Copenhagen

Microsoft (United States)

Paul Govereau is an author at Harvard University Press specializing in formal methods, computer science, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationSoftware EngineeringSemantics

Publications per year

2005–2011

6

Publications

6

Ynot

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · ACM SIGPLAN Notices · 2008 · 140 citations · Full text

Coq Proof Assistant, Engineering, Automated Reasoning +13

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar et al. · 2008 · 125 citations

Coq Proof Assistant, Engineering, Automated Reasoning +13

Evaluating value-graph translation validation for LLVM

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett · ACM SIGPLAN Notices · 2011 · 72 citations

Engineering, Compiler Technology, Verification +23

Evaluating value-graph translation validation for LLVM

Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett · 2011 · 65 citations

Engineering, Compiler Technology, Verification +23

An expressive language of signatures

Norman F. Ramsey, Kathleen Fisher, Paul Govereau · 2005 · 18 citations

Engineering, Verification, Software Engineering +22

Rows per page

1–5 of 6