Paul T. Graunke

According to our database, Paul T. Graunke authored at least 8 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Verified Safety and Information Flow of a Block Device.

Paul T. Graunke

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2007

Implementation and use of the PLT scheme Web server.

Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen

High. Order Symb. Comput., 2007

2004

Automatically Restructuring Programs for the Web.

Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen

Autom. Softw. Eng., 2004

2003

Modeling Web Interactions.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2003

2002

Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.

Paul T. Graunke, Shriram Krishnamurthi

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

Automatically Restructuring Programs for the We.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Programming the Web with High-Level Programming Languages.

Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2001

2000

Transformation-by-Example for XML.

Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke

Proceedings of the Practical Aspects of Declarative Languages, 2000