I am no longer with Cornell Computer Science (CUCS).

I am now a Computational Biologist with the Agricultural Research Service
of the US Department of Agriculture (USDA-ARS).
My incredibly boring USDA-ARS web page is here .
My personal web page is here.

What follows is has not be updated since I left the department.

Paul Stodghill

Senior Research Associate
Department of Computer Science
496 Rhodes Hall
Cornell University
Ithaca, NY 14853, USA

You can reach me at

My office: 496 Rhodes Hall.
Email: stodghil@cs.cornell.edu.
Phone: 607-254-8838
Physical mail:
4128 Upson Hall
Cornell University
Ithaca, NY 14853, USA

Personal Web Page

News

"Grid Computing Using Industry-Standard Web Services" [CTC] [GRIDtoday] [Supercomputing Online]

Research interests

Sparse compilation, sparse computations.
Automatic application-level checkpointing.
Fault-tolerance and Dynamic Resource Management for scientific computations.
Extensible and open compiler systems.
Programming systems for high performance computing, scientific computing.
Web Services for scientific computing.

Projects

Professional Activities

Co-chair of the Working Group on Checkpoint and Recovery, Global Grid Forum.
Editor, "Use-cases for GridCPR", Working Group on Checkpoint and Recovery, Global Grid Forum.

Teaching

Spring 2003 - (co-instructing) CS612: Software Design for High-performance Architectures
Spring 2002 - CS612: Software Design for High-performance Architectures
Fall 2001 - CS717: Programming for Fault-tolerance
Spring 2001 - CS612: Software Design for High-performance Architectures
Spring 1999 - CS612: Software Design for High-performance Architectures
Spring 1994 - CS101: An Introduction to Scheme.

Publications

Application-Level Checkpointing

Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali and Paul Stodghill. Recent Advances in Checkpoint/Recovery Systems. Workshop on NSF Next Generation Software held in conjunction with the 2006 IEEE International Parallel & Distributed Processing Symposium. April, 2006. Rhodes, Greece. To appear.
Rohit Fernandes, Keshav Pingali, and Paul Stodghill. Mobile MPI Programs in Computational Grids. ACM 2006 Symposium on Principles and Practice of Parallel Programming, March 29-31, 2006. New York, NY. To appear.
Daniel Marques, Greg Bronevetsky, Rohit Fernandes, Keshav Pingali, Paul Stodghill. Optimizing Checkpoint Sizes in the C3 System. NSFNGS 2005 Workshop. April 4, 2005. Held in conjunction with, IPDPS 2005. Denver, CO.
Martin Schulz, Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill. Implementation and Evaluation of a Scalable Application-level Checkpoint-Recovery Scheme for MPI Programs. Supercomputing 2004. November 6-12, 2004.
James Ezick, Daniel Marques, Keshav Pingali and Paul Stodghill. Man vs. Machine : Comparing Handwritten and Compiler-generated Application-Level Checkpointing. Computing and Information Sciences Technical Report TR2004-1967. October 12, 2004. Cornell University, Ithaca, NY 14853.
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill. "C³: A System for Automating Application-level Checkpointing of MPI Programs". The 16th International Workshop on Languages and Compilers for Parallel Computers (LCPC'03). October, 2003.
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill. "Collective Operations in an Application-level Fault Tolerant MPI System". International Conference on Supercomputing (ICS) 2003. San Francisco, CA. June 23-26, 2003.
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill. "Automated Application-level Checkpointing of MPI Programs." Principles and Practices of Parallel Programming (PPOPP) 2003, July 2003.

Next-Generation Architectures and Compilers

Kamen Yotov, Sandra Jackson, Tyler Steele, Keshav Pingali, and Paul Stodghill. Automatic Measurement of Instruction Cache Capacity. The 18th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2005). October 20-22, 2005. Hawthorne, New York.
Kamen Yotov, Keshav Pingali, and Paul Stodghill. X-Ray: automatic measurement of hardware parameters. The International Conference on Quantitative Evaluation of SysTems (QEST) 2005. September 19-22, 2005. Torino, Italy.
Kamen Yotov, Keshav Pingali, and Paul Stodghill. Think Globally, Search Locally. ICS 2005. June 20-22, 2005, Boston, MA, USA
Kamen Yotov, Keshav Pingali, and Paul Stodghill. Automatic Measurement of Memory Hierarchy Parameters. International Conference on Measurement & Modeling of Computer Systems (SIGMETRICS). June 6, 2005.
Kamen Yotov, Keshav Pingali, and Paul Stodghill. Think Globally, Search Locally. Cornell University Computing and Information Science Technical Report TR2004-1969, May 11, 2005.
K Yotov, X Li, G Ren, M Garzarán, D Padua, K Pingali, P Stodghill. "Is Search Really Necessary to Generate High-Performance BLAS?". PROCEEDINGS OF THE IEEE, VOL. 93, NO. 2, FEBRUARY 2005, pg 358- 386.
Kamen Yotov, Keshav Pingali and Paul Stodghill. X-Ray : Automatic Measurement of Hardware Parameters. Computing and Information Sciences Technical Report TR2004-1966. October 6, 2004. Cornell University, Ithaca, NY 14853.
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, Maria Garzaran, David Padua, Keshav Pingali, Paul Stodghill, and Peng Wu. "A Comparison of Empirical and Model-driven Optimization". Programming Languages Design and Implementation (PLDI) 2003. July, 2003.
Kevin B. Theobald, Gagan Agrawal, Rishi Kumar, Gerd Heber, Guang R. Gao, Paul Stodghill, and Keshav Pingali. Landing CG on EARTH: A Case Study of Fine-Grained Multithreading on an Evolutionary Path. In Supercomputing 2000, Dallas, TX, November 4-11, 2000.

Distributed and Cluster-based Computational Science

Keshav Pingali and Paul Stodghill. "O’SOAP - A Web Services Framework for DDDAS Applications". Workshop on Dynamic Data-Driven Application Systems, International Conference on Computational Science 2003. June, 2004.
Paul Stodghill, Rob Cronin, Keshav Pingali and Gerd Heber. "Performance Analysis of the Pipe Problem, a Multi-Physics Simulation Based on Web Services". Computing and Information Sciences Technical Report TR2004-1929. February 16, 2004. Cornell University, Ithaca, NY 14853.
Paul Chew, Nikos Chrisochoides, S. Gopalsamy, Gerd Heber, Tony Ingraffea, Edward Luke, Joaquim Neto, Keshav Pingali, Alan Shih, Bharat Soni, Paul Stodghill, David Thompson, Steve Vavasis, and Paul Wawrzynek. "Computational Science Simulations based on Web Services". Workshop on Dynamic Data-Driven Application Systems, International Conference on Computational Science 2003. June, 2003.
Gerd Heber, David Lifka, and Paul Stodghill, "Post-Cluster Computing and the Next Generation of Scientific Applications", Sixth World Multiconference on Systemics, Cybernetics and Informatics, July, 2002.
George Coulouris, Gerd Heber, David Lifka, Keshav Pingali , David Schneider, Paul Stodghill, Paul Wawrzynek, John Zollweg. Parallel FEM Simulation of Crack Propagation on the AC3 Velocity Cluster. In The Second Workshop on Cluster Cluster-Based Computing, 2000.
Bruce Carter, et al. Parallel FEM simulation of Crack Propagation – Challenges, Status, and Perspectives. Irregular 2000.

Compiler Support for Sparse Matrix Computations

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, and Paul Stodghill. A Framework for Sparse Matrix Code Synthesis from High-level Specifications. In Supercomputing 2000, Dallas, TX, November 4-11, 2000.
Nikolay Mateev, Keshav Pingali, Paul Stodghill, and Vladimir Kotlyar. Next-generation Generic Programming and its Application to Sparse Matrix Computations. In International Conference on Supercomputing, 2000.
Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, and Paul Stodghill. Compiling Imperfectly-nested Sparse Matrix Codes with Dependences. Technical Report TR2000-1788, Cornell Computer Science Department, 2000.
Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill. Compiling Parallel Code for Sparse Matrix Applications. In Supercomputing, November 1997.
Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill. Compiling Parallel Sparse Code for User-Defined Data Structures. In SIAM Conference on Parallel Processing for Scientific Computing, volume 8, 1997.
Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill. A Relational Approach to Sparse Matrix Compilation. In EuroPar, 1997.
Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill. Unified framework for sparse and dense SPMD code generation. Technical Report 97-1625, Cornell Computer Science Department, 1997.
Paul Stodghill. A Relational Approach to the Automatic Generation of Sequential Sparse Matrix Codes. PhD thesis, Cornell University, 1997.
Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill. Automatic Parallelization of the Conjugate Gradient Algorithm. In Languages and Compilers for Parallel Computers, volume 8, 1995.

Foundations: Program representations and transformation frameworks

Vladimir Kotlyar, David Bau, Induprakas Kodukula, Keshav Pingali, and Paul Stodghill. Solving Alignment Using Elementary Linear Algebra. In Languages and Compilers for Parallel Computers, volume 7, 1994.
Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, and Paul Stodghill. Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. In Principles of Programming Languages, volume 18. SIGPLAN, 1991.

Software

C3BASE - A runtime system for supporting application-level checkpointing
O'SOAP - A O'Caml-based framework for web services
SOAP::Clean - a Perl module for exposing legacy applications as web services

Funding

The following grants either currently or previously supported my work, either directly or indirectly,

NSF grants,

0509324 - CSR-AES: Collaborative Research: Library Generators for Advanced Execution Systems
0509307 - CSR-AES: Mobile Applications in Computational Grids
0406345 - A System for Semi-Automatic Application-Level Checkpointing of Parallel Programs
0121401 - A New Framework For Program Optimization
0103723 - Next Generation Software: A Framework For Developing Complex Applications On High-End Petaflop-Class Machines
0090217 - Synthesis of Block-recursive Codes for Deep Memory Hierarchies
0085969 - Adaptive Software for Field-driven Simulations
9972853 - A Two-tier Computation and Visualization Facility for Multiscale Problems
9870687 - MATLAB Extensions and Compiler Techniques for High-Performance Computing
9726388 - Crack Propagation on Teraflop Computers
9720211 - Automatic Blocking of Dense Matrix Codes for Memory Hierarchies

IBM

PERCS PHASE II

Disclaimer: Any opinions, findings, and conclusions or recommendations expressed in the material listed on this page are those of the author(s) and do not necessarily reflect the views of the organizations that funded or otherwise supported the work.

Send email to me.