Paul T. Graunke

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Paul T. Graunke
Verified Safety and Information Flow of a Block Device. Electron. Notes Theor. Comput. Sci. 217 (2008)
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen
Implementation and use of the PLT scheme Web server. High. Order Symb. Comput. 20 (4) (2007)
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11 (4) (2004)
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Modeling Web Interactions. ESOP (2003)
Paul T. Graunke, Shriram Krishnamurthi
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. ICSE (2002)
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
Automatically Restructuring Programs for the We. ASE (2001)
Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
Programming the Web with High-Level Programming Languages. ESOP (2001)
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
Transformation-by-Example for XML. PADL (2000)