@book(appel,
 author       = "Andrew Appel",
 year         = "1992",
 title        = "Compiling with Continuations",
 publisher    = "Cambridge University Press",
)
@article(LinUCHOSC,
 author       = "Josh Berdine and Peter W. O'Hearn and Uday Reddy and Hayo Thielecke",
 year         = "2002",
 title        = "Linear Continuation Passing",
 journal      = "Higher-order and Symbolic Computation",
 volume       = "15",
 number       = "2/3",
 pages        = "181--208",
 doi          = "10.1023/A:1020891112409",
)
@misc(cudaintro,
 author       = "NVIDIA Corporation",
 year         = "2011",
 title        = "What is CUDA?",
 howpublished = "Available at \burl {http://www.nvidia.com/object/what\_is\_cuda\_new.html}",
)
@misc(coxregexpone,
 author       = "Russ Cox",
 year         = "2007",
 title        = "Regular Expression Matching Can Be Simple And Fast (but is slow in Java, Perl, PHP, Python, Ruby, ...)",
 howpublished = "Available at \burl {http://swtch.com/\textasciitilde rsc/regexp/regexp1.html}",
)
@misc(coxregexptwo,
 author       = "Russ Cox",
 year         = "2009",
 title        = "Regular Expression Matching: the Virtual Machine Approach",
 howpublished = "Available at \burl {http://swtch.com/\textasciitilde rsc/regexp/regexp2.html}",
)
@inproceedings(felleisensecd,
 author       = "Matthias Felleisen and Daniel P. Friedman",
 year         = "1986",
 title        = "Control operators, the {SECD}-machine, and the $\lambda $-calculus",
 editor       = "M. Wirsing",
 booktitle    = "Formal Description of Programming Concepts",
 publisher    = "North-Holland",
 pages        = "193--217",
)
@article(landinmechanical,
 author       = "Peter J. Landin",
 year         = "1964",
 title        = "The Mechanical Evaluation of Expressions",
 journal      = "The Computer Journal",
 volume       = "6",
 number       = "4",
 pages        = "308--320",
)
@book(milnerccs,
 author       = "Robin Milner",
 year         = "1980",
 title        = "A Calculus of Communicating Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "92",
 doi          = "10.1007/3-540-10235-3",
 publisher    = "Springer",
)
@article(milnersynchrony,
 author       = "Robin Milner",
 year         = "1983",
 title        = "Calculi for Synchrony and Asynchrony",
 journal      = "Theoretical Computer Science",
 volume       = "25",
 pages        = "267--310",
)
@book(milnerpibook,
 author       = "Robin Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: The Pi Calculus",
 publisher    = "Cambridge University Press",
)
@inproceedings(reynoldslicssep,
 author       = "John C. Reynolds",
 year         = "2002",
 title        = "Separation Logic: A Logic for Shared Mutable Data Structures",
 booktitle    = "Logic in Computer Science (LICS)",
 publisher    = "IEEE",
 pages        = "55--74",
 doi          = "10.1109/LICS.2002.1029817",
)
@inproceedings(btree,
 author       = "Alan P. Sexton and Hayo Thielecke",
 year         = "2008",
 title        = "Reasoning about {B+} Trees with Operational Semantics and Separation Logic",
 booktitle    = "Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS24)",
 series       = "Electronic Notes in Theoretical Computer Science",
 pages        = "355--369",
 doi          = "10.1016/j.entcs.2008.10.021",
)
@article(thompson1968,
 author       = "Ken Thompson",
 year         = "1968",
 title        = "Programming Techniques: Regular expression search algorithm",
 journal      = "Communications of the ACM",
 volume       = "11",
 number       = "6",
 pages        = "419--422",
 doi          = "10.1145/363347.363387",
)
@inproceedings(gpuirregular,
 author       = "Stanley Tzeng and Anjul Patney and John D. Owens",
 year         = "2010",
 title        = "Task Management for Irregular-Parallel Workloads on the GPU",
 booktitle    = "High Performance Graphics",
 publisher    = "Eurographics Association",
 pages        = "29--37",
)