 | 2008 |
|---|
| 8 |       | Paul T. Graunke:
Verified Safety and Information Flow of a Block Device.
Electr. Notes Theor. Comput. Sci. 217: 187-202 (2008) |
| 2007 |
|---|
| 7 | | Shriram Krishnamurthi,
Peter Walton Hopkins,
Jay A. McCarthy,
Paul T. Graunke,
Greg Pettyjohn,
Matthias Felleisen:
Implementation and use of the PLT scheme Web server.
Higher-Order and Symbolic Computation 20(4): 431-460 (2007) |
| 2004 |
|---|
| 6 | | Jacob Matthews,
Robert Bruce Findler,
Paul T. Graunke,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the Web.
Autom. Softw. Eng. 11(4): 337-364 (2004) |
| 2003 |
|---|
| 5 | | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Modeling Web Interactions.
ESOP 2003: 238-252 |
| 2002 |
|---|
| 4 | | Paul T. Graunke,
Shriram Krishnamurthi:
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.
ICSE 2002: 277-287 |
| 2001 |
|---|
| 3 | | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the We.
ASE 2001: 211-222 |
| 2 | | Paul T. Graunke,
Shriram Krishnamurthi,
Steve Van Der Hoeven,
Matthias Felleisen:
Programming the Web with High-Level Programming Languages.
ESOP 2001: 122-136 |
| 2000 |
|---|
| 1 | | Shriram Krishnamurthi,
Kathryn E. Gray,
Paul T. Graunke:
Transformation-by-Example for XML.
PADL 2000: 249-262 |
