George Kuan

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Relational Model

Abstract Interpretation

Information Flows

Integrity Constraints

Top Venues

Publications

Andrey Chudnov, George Kuan, David A. Naumann
Information Flow Monitoring as Abstract Interpretation for Relational Logic. CSF (2014)
George Kuan, David MacQueen
Engineering Higher-Order Modules in SML/NJ. IFL (2009)
George Kuan, David MacQueen, Robert Bruce Findler
A Rewriting Semantics for Type Inference. ESOP (2007)
George Kuan, David MacQueen
Efficient type inference using ranked type variables. ML (2007)