1600 Amphitheatre Parkway
Mountain View, CA 94043
| Office: |
Google, Inc. 1600 Amphitheatre Parkway Mountain View, CA 94043 |
|
| E-mail: | |
|
| Advisor: | Peter Lee | |
| Interests: | Domain Specific Programming Languages, Low Level Software, Graphics, Unicode, Metadata Engineering |
| CMU Projects: |
Bit Level Types BLT is a language for specifying binary formats through a collection of types. BLT specifications can describe both files (e.g., JPEG, ELF, MIDI) and network packets (e.g., IP, TCP, X). By writing a BLT specification for a format, we create a formal definition of what a valid instance of the format is. Further, a BLT specification provides enough information to generate parsers and encoders to mediate between the raw binary format and its canonical embedding in a user's programming language of choice, thereby eliminating the error-prone process of writing such code by hand. |
| Google Work: | Consistency, Survivability, Speed: Pick Two |