Hi, I'm Peter Goodman.

Blog

I/O Reader - Peter Goodman's blog about computer programming.

Posters

Peter Goodman, Akshay Kumar, Angela Demke Brown, and Ashvin Goel.
Protecting Kernels from Untrusted Modules using Dynamic Binary Instrumentation.
In the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012).

XY

The XY programming language is an experimental C++/Haskell/Javascript-like language under active development. The goals of XY include:

• Consistent syntax and semantics for both programming and template meta-programming.
• Statically checked structural type system, with some type inference.
• Co-inductive types as a way of expressing laziness, among other things.
• High quality diagnostic messages.

The most up-to-date version of XY is hosted on the XY GitHub page.

Grail+

Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.

The most up-to-date version of Grail+ is hosted on the Grail-Plus GitHub page.

Résumé

Peter Goodman's résumé.

GitHub

Peter Goodman on GitHub!

Contact