Transformation-by-Example for XML. - Shriram Krishnamurthi; Kathryn E. Gray; Paul T. Graunke (PADL, 2000)

Programming the Web with High-Level Programming Languages. - Paul T. Graunke; Shriram Krishnamurthi; Steve Van Der Hoeven; Matthias Felleisen (ESOP, 2001)

Automatically Restructuring Programs for the We. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ASE, 2001)

Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. - Paul T. Graunke; Shriram Krishnamurthi (ICSE, 2002)

Modeling Web Interactions. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ESOP, 2003)

Automatically Restructuring Programs for the Web. - Jacob Matthews; Robert Bruce Findler; Paul T. Graunke; Shriram Krishnamurthi; Matthias Felleisen (Autom. Softw. Eng., 2004)

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)

Verified Safety and Information Flow of a Block Device. - Paul T. Graunke (SSV, 2008)