Skip to main content

2 Result(s)

within George Stelle Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Cactus Environment Machine

    Existing machines for lazy evaluation use a flat representation of environments, storing the terms associated with free variables in an array. Combined with a heap, this structure supports the shared intermediate...

    George Stelle, Darko Stefanovic, Stephen L. Olivier… in Trends in Functional Programming (2019)

  2. No Access

    Chapter and Conference Paper

    Modeling Internet-Scale Policies for Cleaning up Malware

    An emerging consensus among policy makers is that interventions undertaken by Internet Service Providers are the best way to counter the rising incidence of malware. However, assessing the suitability of count...

    Steven Hofmeyr, Tyler Moore… in Economics of Information Security and Priv… (2013)