Code | CV | Research

Technical Guides & Occasional News

• 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.

• 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.

• 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.

• The Year in Tech

  Learning about technology from 2003

• 🐯 Second-Year Grad Fall

  Theory of Computation

• 🐯 First-Year Grad Spring

  Theory of Algorithms and Information Technology & the Law

• 🐯 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.

• 🐯 First-Year Grad Fall

  Information Security, Programming Languages, and Advanced Operating Systems

• 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.

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

• 🐻 Senior Spring

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

• 🐻 Senior Fall

  Independent Reading & Research, Intermediate Computer Systems, Signals & Systems I, and Electromagnetic Fields & Waves

• 🐻 Junior Spring

  Compilers & Translators, Machine Learning, Analysis of Algorithms, and Applicable Algebra

• 🐻 Junior Fall

  Theory of Computing, Systems Programming & Operating Systems, Computer Architecture, and Basic Engineering Probability & Statistics

• ♞ Sophomore Summer

  Twentieth-Century Europe and General Psychology

• Five sophs win Lockheed Martin research awards

  Five sophomore computer science majors were recently selected as this year's recipients of the Lockheed Martin Awards for Outstanding Achievement and Academic Service.

• 🐻 Sophomore Spring

  Scientific Computation, Data Structures, Circuits for Electrical & Computer Engineers, Integrated Circuits Laboratory, and Chemistry for the Applied Sciences

• 🐻 Sophomore Fall

  Digital Systems & Computer Organization, Digital Systems, Engineering Mathematics, and Physics III: Optics, Waves & Particles

• 🐻 Freshman Spring

  Discrete Structures, Engineering Mathematics, Physics II: Heat & Electromagnetism, and Design Integration: A Portable CD Player

• 🐻 Freshman Fall

  Structure & Interpretation of Computer Programs, Calculus for Engineers, Physics I: Mechanics, and American Literature & Culture