Skip to content

Tim Disney

  • PhD Student
  • University of California Santa Cruz
  • 0ReadersNumber of instances of Tim's publications in Mendeley libraries. Updated daily.
  • 9PublicationsNumber of items in Tim's My Publications folder on Mendeley.

Research interests

contractsmacrosjavascriptsecuritytypes systemsdynamic languages

Followers (4)

Following (4)

Publications (5)

  • Sweeten Your JavaScript: Hygienic Macros for ES5

    • Disney T
    • Faubion N
    • Herman D
    N/AReaders
    N/ACitations
    Get full text
  • Traces for Type Soundness

    • Disney T
    • Flanagan C
    N/AReaders
    N/ACitations
  • Temporal Higher-Order Contracts

    • Tim Disney
    • Cormac Flanagan
    • Jay McCarthy
    N/AReaders
    N/ACitations
  • Types for Precise Thread Interference

    • Yi J
    • Disney T
    • Freund S
    • et al.
    N/AReaders
    N/ACitations
  • Virtual Values for Language Extension

    • Thomas A. Austin
    • Tim Disney
    • Cormac Flanagan
    N/AReaders
    N/ACitations

Professional experience

PhD Student

University of California - Santa Cruz

September 2009 - Present

Software Engineer

Blue Nile

July 2007 - August 2009(2 years)

Education history

B.S. Computer Science

Seattle Pacific University

September 2003 - June 2007(4 years)