Code | CV | Research

Technical Guides & Occasional News

• Aug 22, 2007

  Analyzing Security Advice in Functional Aspect-oriented Programming Languages presented as Ph.D thesis at Princeton Computer Science

  This thesis extends functional programming languages with aspect-oriented features, primarily to explore aspect-oriented enforcement of security policies.
• Dec 31, 2006

  The Year in Tech

  Learning about technology from 2006
• Jan 11, 2006

  Harmless Advice published at ACM Principles of Programming Languages (POPL)

  This paper defines an object-oriented language with harmless aspect-oriented advice. The paper also presents an implementation of the language and a case study using harmless advice to implement security policies.
• Dec 31, 2005

  The Year in Tech

  Learning about technology from 2005
• Sep 12, 2005

  PolyAML: A Polymorphic Aspect-oriented Functional Programmming Language published at ACM International Conference on Functional Programming (ICFP)

  This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type analysis and aspect-oriented programming language features.
• May 30, 2005

  Teaching Assistant for 🐯Computer Science: An Interdisciplinary Approach

  An introduction to computer science in the context of scientific, engineering, and commercial applications. Topics include: programming in Java; hardware and software systems; algorithms and data structures; fundamental principles of computation; and scientific computing, including simulation, optimization, and data analysis.
• Jan 31, 2005

  Analyzing Polymorphic Advice published as preprint

  We take one of the first steps towards developing a practical, statically-typed, functional, aspect-oriented programming language by showing how to integrate polymorphism and type analysis with aspect-oriented programming features.
• Jan 15, 2005

  Harmless Advice published at ACM Foundations of Object-oriented Languages

  This paper develops a simple object calculus with harmless aspect-oriented advice. Harmless advice may change the termination behavior of computations and use I/O, but it does not otherwise influence the final result of computations that trigger it.
• Dec 31, 2004

  The Year in Tech

  Learning about technology from 2004
• May 22, 2004

  Teaching Assistant for 🐯Compiling Techniques

  Understand the design and construction of compilers. Concepts include syntax analysis, semantics, code generation, optimization, and run-time systems. Problems in processing imperative languages, such as C and Pascal, as well as functional languages such as ML, will be examined. A complete compiler for a small language will be implemented in ML.
• Apr 30, 2004

  Protection from Bad Advice published as preprint

  We have developed a new aspect-oriented programming language, AspectML, that allows programmers to control information hiding and access to the internals of a module through a simple static type system. Using our mechanisms, programmers can prevent aspects from interfering with local invariants or reading information that should be kept private to a module.
• Dec 31, 2003

  The Year in Tech

  Learning about technology from 2003
• Sep 11, 2003

  🐯 Second-Year Grad Fall

  Theory of Computation
• Feb 3, 2003

  🐯 First-Year Grad Spring

  Theory of Algorithms and Information Technology & the Law
• Dec 31, 2002

  The Year in Tech

  Learning about technology from 2002
• Oct 2, 2002

  🐯 New Wu and Upton fellows welcomed to campus

  The Gordon Y.S. Wu Fellowship and the Francis Lothrop Upton Fellowships are given to graduate students in engineering.
• Sep 12, 2002

  🐯 First-Year Grad Fall

  Information Security, Programming Languages, and Advanced Operating Systems
• Apr 1, 2002

  On the Need for System-Level Support for Ad-hoc & Sensor Networks published at ACM Operating Systems Review

  We are currently designing and implementing a distributed, power-aware, adaptive operating system, called MagnetOS, specifically targeting ad hoc and sensor networks. MagnetOS provides a single system image of a unified Java virtual machine across the nodes that comprise an ad hoc network.
• Mar 6, 2002

  🐻 A Java Virtual Machine for Resource-Limited Sensors presented at Bits On Our Minds
• Jan 22, 2002

  🐻 Senior Spring

  Independent Reading & Research, Computer Networks, Digital Systems Design Laboratory, and Engineering Communications