Kevin Millikin

According to our database, Kevin Millikin authored at least 11 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Faster sorting algorithms discovered using deep reinforcement learning.

Daniel J. Mankowitz, Andrea Michi, Anton Zhernov, Marco Gelmi, Marco Selvi, Cosmin Paduraru, Edouard Leurent, Shariq Iqbal, Jean-Baptiste Lespiau, Alex Ahern, Thomas Köppe, Kevin Millikin, Stephen Gaffney, Sophie Elster, Jackson Broshear, Chris Gamble, Kieran Milan, Robert Tung, Minjae Hwang, A. Taylan Cemgil, Mohammadamin Barekatain, Yujia Li, Amol Mandhane, Thomas Hubert, Julian Schrittwieser, Demis Hassabis, Pushmeet Kohli, Martin A. Riedmiller, Oriol Vinyals, David Silver

Nat., 2023

2015

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.

Dariusz Biernacki, Olivier Danvy, Kevin Millikin

ACM Trans. Program. Lang. Syst., 2015

Spicing Up Dart with Side Effects.

Erik Meijer, Kevin Millikin, Gilad Bracha

ACM Queue, 2015

2012

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny

Theor. Comput. Sci., 2012

2010

Defunctionalized Interpreters for Call-by-Need Evaluation.

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Refunctionalization at work.

Olivier Danvy, Kevin Millikin

Sci. Comput. Program., 2009

2008

A Rational Deconstruction of Landin's SECD Machine with the J Operator.

Olivier Danvy, Kevin Millikin

Log. Methods Comput. Sci., 2008

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

Olivier Danvy, Kevin Millikin

Inf. Process. Lett., 2008

2007

On one-pass CPS transformations.

Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

J. Funct. Program., 2007

2005

A new approach to one-pass transformations.

Kevin Millikin

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

A Rational Deconstruction of Landin's J Operator.

Olivier Danvy, Kevin Millikin

Proceedings of the Implementation and Application of Functional Languages, 2005