Shape Analysis in the Absence of Pointers and Structure Matthew Might University of Utah, Salt Lake City, Utah, USA http://matt.might.net/

Source URL: matt.might.net

• Software engineering
• Computer programming
• Computing
• Computability theory
• Models of computation
• Theoretical computer science
• Lambda calculus
• Abstraction
• Symbol
• Closure
• Free variables and bound variables
• Monad

Medic: Metaprogramming and Trace-Oriented Debugging Xiangqi Li Matthew Flatt University of Utah, USA

Source URL: www.cs.utah.edu

An Internet-Wide View of ICS Devices Ariana Mirian† Zane Ma‡ David Adrian† Matthew Tischer‡ Thasphon Chuenchujit‡ Tim Yardley‡ Robin Berthier‡ Joshua Mason‡ Zakir Durumeric†‡ J. Alex Halderman† Mich

Source URL: arianamirian.com

Reference: Racket Version 5.0 Matthew Flatt and PLT June 6, 2010

Source URL: download.racket-lang.org

Reachability-Based Memory Accounting Adam Wick Matthew Flatt

Source URL: www.cs.utah.edu

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems Jacob Matthews1 , Robert Bruce Findler1 , Matthew Flatt2 , and Matthias Felleisen3 1 University of Chicago {jacobm, robby}@cs.uchicago.edu

Source URL: www.cs.utah.edu

Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah

Source URL: www.cs.utah.edu

Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University

Source URL: users.eecs.northwestern.edu

The Security of NTP’s Datagram Protocol Aanchal Malhotra⇤ , Matthew Van Gundy† , Mayank Varia⇤ , Haydn Kennedy⇤ , Jonathan Gardner† , Sharon Goldberg⇤ ⇤ Boston University

Source URL: fc17.ifca.ai

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.eecs.northwestern.edu