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
1932001
Protecting networks from access link flooding attacks
RS Ramanujan, MN Kaddoura, X Wu, KS Millikin
US Patent 7,356,596, 2008
812008
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
442008
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
322008
A dynamic continuation-passing style for dynamic delimited continuations
D Biernacki, O Danvy, K Millikin
BRICS Report Series 13 (15), 2006
292006
On one-pass CPS transformations
O Danvy, K Millikin, LR Nielsen
Journal of Functional Programming 17 (6), 793-812, 2007
252007
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
202012
Aliasing to prevent attacks on messaging services
C Marceau, KS Millikin, RS Ramanujan
US Patent 7,272,854, 2007
182007
A structured approach to the transformation, normalization and execution of computer programs
K Millikin
132007
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
92015
Spicing up dart with side effects
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
72005
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
72003
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
52007
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
52002
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
Special Issue on Mathematics of Program Construction (MPC 2006)
T Uustalu
Elsevier, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20