Concepedia

Jérémie Koenig

JK

9

Publications

364

Citations

9

H-Index

2014

Active since

Affiliations

Yale University(Current)

Microsoft (United States)

University of Science and Technology of China

Jérémie Koenig is an author at Yale University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware AnalysisFormal VerificationSystem SoftwareProgram AnalysisAutomated ReasoningComputer Engineering

Publications per year

2014–2021

9

Publications

9

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 149 citations

Engineering, Verification, Software Engineering +21

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 68 citations · Full text

Engineering, Verification, Computer Architecture +19

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · ACM SIGPLAN Notices · 2015 · 33 citations

Engineering, Verification, Computer Architecture +19

Building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Communications of the ACM · 2019 · 30 citations · Full text

Engineering, Verification, Computer Architecture +19

A Compositional Semantics for Verified Separate Compilation and Linking

Tahina Ramananandro, Zhong Shao, Shu-Chun Weng et al. · 2015 · 21 citations

Vertical Composition, Engineering, Program Checking +18

Rows per page

1–5 of 9