Concepedia

Kevin Millikin

KM

11

Publications

400

Citations

11

H-Index

2005

Active since

Affiliations

Aarhus University(Current)

Google (United States)

Kevin Millikin is an author at Aarhus University specializing in formal methods, computer science, and engineering.

Top concepts

Publications per year

2005–2023

11

Publications

11

Faster sorting algorithms discovered using deep reinforcement learning

Daniel J. Mankowitz, Andrea Michi, Anton Zhernov et al. · Nature · 2023 · 144 citations · Full text

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

Olivier Danvy, Kevin Millikin · Information Processing Letters · 2007 · 47 citations

, , +9

Refunctionalization at work

Olivier Danvy, Kevin Millikin · Science of Computer Programming · 2009 · 36 citations

, , +3

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

Dariusz Biernacki, Olivier Danvy, Kevin Millikin · ACM Transactions on Programming Languages and Systems · 2015 · 34 citations

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

Dariusz Biernacki, Olivier Danvy, Kevin Millikin · BRICS Report Series · 2006 · 30 citations · Full text

, , +14

Rows per page

1–5 of 11