Publications & Presentations

Austin, Thomas

Publications & Presentations

  • Thomas H. Austin, Jean Yang, Cormac Flanagan, Armando Solar-Lezama. "Faceted Execution of Policy-Agnostic Programs" Workshop paper. (2013).
  • Thomas H. Austin, Eric Filiol, Sébastien Josse, and Mark Stamp. "Exploring Hidden Markov Models for Virus Analysis: a Semantic Approach" Conference paper. (2013).
  • Thomas H. Austin and Cormac Flanagan. "Multiple Facets for Dynamic Information Flow" ACM SIGPLAN. Conference paper. Philadelphia, Pennsylvania: ACM SIGPLAN, (January 2012). pp.165-178.
  • Thomas H. Austin, Cormac Flanagan, and Martín Abadi. "A Functional View of Imperative Information Flow" Conference paper. (2012).
  • Thomas H. Austin, Tim Disney, and Cormac Flanagan. "Virtual Values for Language Extension" ACM SIGPLAN. Conference paper. Portland, Oregon: ACM SIGPLAN, (October 2011). pp.921-938.
  • Thomas H. Austin. "Designing a Secure Programming Language" Springer-Verlag. Book chapter (chp. 35). Berlin, Heidelberg: Springer-Verlag, (2010). pp.771-785.
  • Thomas H. Austin and Cormac Flanagan. "Permissive Dynamic Information Flow Analysis" ACM SIGPLAN. Workshop paper. New York, NY: ACM SIGPLAN, (2010).
  • Thomas H. Austin and Cormac Flanagan. "Efficient Purely-Dynamic Information Flow Analysis" ACM SIGPLAN. Workshop paper. New York, NY: ACM SIGPLAN, (2009). pp.113-124.
  • Thomas H. Austin, Tim Disney, Cormac Flanagan, Alan Jeffrey. "Dynamic Information Flow Analysis for Featherweight JavaScript" The University of California, Santa Cruz. Technical Report (UCSC-SOE-11-19). Santa Cruz, CA: The University of California, Santa Cruz, (2009).
  • Thomas H. Austin. "Rails vs. Grails vs. Helma: The JVM web framework smackdown" Trade publication. Vol. 4. (2009).
  • Thomas H. Austin. "Expanding JavaScript's Metaobject Protocol" San Jose State University. Master's thesis. San Jose, CA: San Jose State University, (2008).