Skip to content

Tim Disney

  • PhD Student
  • University of California Santa Cruz
  • 9PublicationsNumber of items in Tim's My Publications folder on Mendeley.
  • 4Followers

Research interests

contractsmacrosjavascriptsecuritytypes systemsdynamic languages

Followers (4)

Following (4)

Recent publications

  • Traces for Type Soundness

    • Disney T
    • Flanagan C
    N/AReaders
    N/ACitations
  • Types for Precise Thread Interference

    • Yi J
    • Disney T
    • Freund S
    • et al.
    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

B.S. Computer Science

Seattle Pacific University

September 2003 - June 2007(4 years)