Concepedia

Nick Benton

NB

Statistics

Publications

37

Citations

2.1K

H-Index

26

Active since

1992

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

University of Cambridge

Ludwig-Maximilians-Universität München

Nick Benton is an author at Microsoft Research (United Kingdom) specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationAutomated ReasoningSoftware AnalysisSemanticsLinguisticsSoftware Engineering

Publications per year

1992–2016

37

Publications

37

Simple relational correctness proofs for static analyses and program transformations

Nick Benton · 2004 · 352 citations

Engineering, Verification, Static Analyses +19

Modern concurrency abstractions for C#

Nick Benton, Luca Cardelli, Cédric Fournet · ACM Transactions on Programming Languages and Systems · 2004 · 226 citations · Full text

Engineering, Concurrent System, Polyphonic C ♯ +16

Compiling standard ML to Java bytecodes

Nick Benton, Andrew Kennedy, George Russell · 1998 · 137 citations

Engineering, Dynamic Compilation, Program Analysis +15

Biorthogonality, step-indexing and compiler correctness

Nick Benton, Chung-Kil Hur · 2009 · 119 citations

Engineering, Compiler Technology, Verification +19

Linear logic, monads and the lambda calculus

Nick Benton, Philip Wadler · 2002 · 99 citations

Engineering, Associated Adjoint Calculus, Operational Semantics +10

1–5 of 37