Kevin Millikin

12 papers Misc 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Faster sorting algorithms discovered using deep reinforcement learning.
Nat.
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
2015 J jnl
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.
ACM Trans. Program. Lang. Syst.
Dariusz Biernacki, Olivier Danvy, Kevin Millikin
2015 J jnl
Spicing Up Dart with Side Effects.
ACM Queue
Erik Meijer, Kevin Millikin, Gilad Bracha
2012 J jnl
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation.
Theor. Comput. Sci.
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
2010 Misc conf
Defunctionalized Interpreters for Call-by-Need Evaluation.
FLOPS
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny
2009 J jnl
Refunctionalization at work.
Sci. Comput. Program.
Olivier Danvy, Kevin Millikin
2008 J jnl
A Rational Deconstruction of Landin's SECD Machine with the J Operator
CoRR
Olivier Danvy, Kevin Millikin
2008 J jnl
A Rational Deconstruction of Landin's SECD Machine with the J Operator.
Log. Methods Comput. Sci.
Olivier Danvy, Kevin Millikin
2008 J jnl
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion.
Inf. Process. Lett.
Olivier Danvy, Kevin Millikin
2007 J jnl
On one-pass CPS transformations.
J. Funct. Program.
Olivier Danvy, Kevin Millikin, Lasse R. Nielsen
2005 — conf
A Rational Deconstruction of Landin's J Operator.
IFL
Olivier Danvy, Kevin Millikin
2005 — conf
A new approach to one-pass transformations.
Trends in Functional Programming
Kevin Millikin