 | 2007 |
| 6 |  | Neva Cherniavsky,
Gidon Shavit,
Michael F. Ringenburg,
Richard E. Ladner,
Eve A. Riskin:
MultiStage: A MINMAX Bit Allocation Algorithm for Video Coders.
IEEE Trans. Circuits Syst. Video Techn. 17(1): 59-67 (2007) |
| 2005 |
| 5 |  | Michael F. Ringenburg,
Dan Grossman:
Preventing format-string attacks via automatic and efficient dynamic checking.
ACM Conference on Computer and Communications Security 2005: 354-363 |
| 4 |  | Michael F. Ringenburg,
Dan Grossman:
AtomCaml: first-class atomicity via rollback.
ICFP 2005: 92-104 |
| 3 |  | Michael F. Ringenburg,
Dan Grossman:
Types for describing coordinated data structures.
TLDI 2005: 25-36 |
| 2004 |
| 2 |  | Gidon Shavit,
Michael F. Ringenburg,
Jeff West,
Richard E. Ladner,
Eve A. Riskin:
Group Testing for Video Compression.
Data Compression Conference 2004: 212-221 |
| 1 |  | Michael F. Ringenburg,
Richard E. Ladner,
Eve A. Riskin:
Global MINMAX Interframe Bit Allocation for Embedded Video Coding.
Data Compression Conference 2004: 222-231 |