Follow
Kevin Millikin
Kevin Millikin
Verified email at google.com
Title
Cited by
Cited by
Year
Defunctionalization at work
O Danvy, LR Nielsen
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
2142001
Protecting networks from access link flooding attacks
RS Ramanujan, MN Kaddoura, X Wu, KS Millikin
US Patent 7,356,596, 2008
852008
On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
O Danvy, K Millikin
Information Processing Letters 106 (3), 100-109, 2008
432008
Defunctionalized interpreters for call-by-need evaluation
O Danvy, K Millikin, J Munk, I Zerny
International Symposium on Functional and Logic Programming, 240-256, 2010
362010
A rational deconstruction of Landin's SECD machine with the J operator
O Danvy, K Millikin
arXiv preprint arXiv:0811.3231, 2008
332008
On one-pass CPS transformations
O Danvy, K Millikin, LR Nielsen
Journal of Functional Programming 17 (6), 793-812, 2007
292007
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
BRICS, Department of Computer Science, Univ., 2005
292005
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation
O Danvy, K Millikin, J Munk, I Zerny
Theoretical Computer Science 435, 21-42, 2012
232012
Aliasing to prevent attacks on messaging services
C Marceau, KS Millikin, RS Ramanujan
US Patent 7,272,854, 2007
232007
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (1), 1-25, 2015
142015
A structured approach to the transformation, normalization and execution of computer programs
K Millikin
PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2007
122007
VPNshield: protecting VPN services from denial-of-service (DoS) attacks
R Ramanujan, M Kaddoura, J Wu, C Sanders, K Millikin
Proceedings DARPA Information Survivability Conference and Exposition 2, 138-139, 2003
92003
Spicing Up Dart with Side Effects: A set of extensions to the Dart programming language, designed to support asynchrony and generator functions
E Meijer, K Millikin, G Bracha
Queue 13 (3), 40-59, 2015
82015
A rational deconstruction of Landin’s J operator
O Danvy, K Millikin
Symposium on Implementation and Application of Functional Languages, 55-73, 2005
82005
A correspondence between full normalization by reduction and full normalization by evaluation
O Danvy, K Millikin, J Munk
A scientific meeting in honor of Pierre-Louis Curien, 2013
62013
A new approach to one-pass transformations
K Millikin
Proceedings of the Sixth Symposium on Trends in Functional Programming (TFP …, 2007
62007
Organic techniques for protecting virtual private network (vpn) services from access link flooding attacks
RS Ramanujan, M Kaddoura, J Wu, K Millikin, D Harper, D Baca
Networks, 214-227, 2002
62002
Space network architecture technologies
JR Budenske, KS Millikin, JC Bonney, RS Ramanujan, OS Sands
2002 IEEE Aerospace Conference Proceedings- 3, 3-1061, 2002
42002
A simple application of lightweight fusion to proving the equivalence of abstract machines
O Danvy, K Millikin
BRICS Report Series 14 (8), 2007
22007
A Rational Deconstruction of Landin's SECD Machine with the J Operator
K Millikin, O Danvy
Logical Methods in Computer Science 4, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20