Quick Links
  • Intelligent Software Systems
  • Department of Computer Science
  • The University of Texas at Austin
  • Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos and Keshav Pingali On the Scalability of an Automatically Parallelized Irregular Application 21st International Workshop on Languages and Compilers for Parallel Computing (LCPC), July, 2008
  • Bruce Walter, Kavita Bala, Milind Kulkarni and Keshav Pingali Fast Agglomerative Clustering for Rendering Symposium on Interactive Ray Tracing (RT), August, 2008
  • Milind Kulkarni, Keshav Pingali, Patrick Carribault, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala and L. Paul Chew Scheduling Strategies for Optimistic Parallel Execution of Irregular Programs 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June, 2008
  • Milind Kulkarni and Keshav Pingali An Experimental Study of Self-Optimizing Dense Linear Algebra Software Proceedings of IEEE [Invited Paper], 96(5):832-848, May 2008
  • Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala and L. Paul Chew Optimistic Parallelism Benefits From Data Partitioning Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008
  • Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala and L. Paul Chew Optimistic Parallelism Requires Abstractions Programming Languages Design and Implementation (PLDI), June 2007
  • Kamen Yotov, Tom Roeder, Keshav Pingali, John Gunnels and Fred Gustavson An Experimental Comparison of Cache-oblivious and Cache-aware Programs 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2007
  • Greg Bronevetsky, Keshav Pingali and Paul Stodghill Experimental Evaluation of Application-Level Checkpointing for OpenMP Programs 20th ACM International Conference on Supercomputing (ICS), 2006
  • Keshav Pingali and Paul Stodghill A Distributed System Based on Web-services for Computational Science Simulations 20th ACM International Conference on Supercomputing (ICS), 2006
  • Rohit Fernandes, Keshav Pingali and Paul Stodghill Mobile MPI Programs in Computational Grids ACM Symposium on Principles and Practices of Parallel Programming (PPoPP), 2006
  • Milind Kulkarni, L. Paul Chew and Keshav Pingali Using Transactions in Delaunay Mesh Generation Workshop on Transactional Memory Workloads (WTW), 2006
  • Sebastien Donadio, James Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, Maria Jesus Garzaran, David Padua and Keshav Pingali A Language for the Compact Representation of Multiple Program Versions 18th International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2005
  • Arkady Epshteyn, Maria Garzaran, Gerald DeJong, David Padua, Gang Ren, Xiaoming Li, Kamen Yotov and Keshav Pingali Analytical Models and Empirical Search: A Hybrid Approach to Code Optimization 18th International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2005
  • Kamen Yotov, Sandra Jackson, Tyler Steele, Keshav Pingali and Paul Stodghill Automatic Measurement of Instruction Cache Capacity 18th International Workshop on Languages and Compilers for Parallel Computing (LCPC), 2005
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill X-Ray: A Tool for Automatic Measurement of Hardware Parameters International Conference on Quantitative Evaluation of SysTems (QEST), 09/20/2005
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill Think Globally, Search Locally International Conference on Supercomputing (ICS), 06/20/2005
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill Automatic Measurement of Memory Hierarchy Parameters International Conference on Measurement & Modeling of Computer Systems (SIGMETRICS), 06/06/2005
  • Kamen Yotov, Xiaoming Li, Gang Ren, Maria Garzaran, David Padua, Keshav Pingali, and Paul Stodghill Is Search Really Necessary to Generate High-Performance BLAS? Proceedings of the IEEE, Special issue on ”Program Generation, Optimization, and Adaptation", 02/01/2005
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill Automatic Measurement of Hardware Parameters for Embedded Processors Cornell University Computing and Information Science Technical Report TR2005-1974, 01/27/2005
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill Automatic Measurement of Memory Hierarchy Parameters (obsoleted by SIGMETRICS'05 version) Cornell University Computing and Information Science Technical Report TR2004-1970, 11/08/2004
  • 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, 11/06/2004
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill Think Globally, Search Locally (obsoleted by ICS'05 paper) Cornell University Computing and Information Science Technical Report TR2004-1969, 11/05/2004
  • Greg Bronevetsky, Martin Schulz, Peter Szwed, Daniel Marques, Keshav Pingali Checkpointing Shared Memory Programs at the Application-level European Workshop on OpenMP, 10/20/2004
  • Greg Bronevetsky, Martin Schulz, Peter Szwed, Daniel Marques, Keshav Pingali Application-level Checkpointing for Shared Memory Programs Conference on Application Support for Programming Languages and Operating Systems, 10/10/2004
  • Kamen Yotov, Keshav Pingali, and Paul Stodghill X-Ray: Automatic Measurement of Hardware Parameters (obsoleted by TR2005-1974 version) Cornell University Computing and Information Science Technical Report TR2004-1966, 10/06/2004
  • James Ezick An End-to-End System for Model Checking over Context-Sensitive Analyses Cornell Computer Science PhD Thesis, 08/01/2004
  • James Ezick An Optimizing Compiler for Batches of Temporal Logic Formulas International Symposium on Software Testing and Analysis, 07/12/2004
  • James Ezick Resolving and Applying Constraint Queries over Context-Sensitive Analyses Workshop on Program Analysis for Software Tools and Engineering, 06/07/2004
  • 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 International Conference on Computational Science, 06/23/2003
  • Greg Bronevetsky, Daniel Marques, Keshav Pingali, and Paul Stodghill Collective Operations in an Application-level Fault Tolerant MPI System International Conference on Supercomputing, 06/23/2003
  • Greg Bronevetsky, Daniel Marques, Keshav Pingali, and Paul Stodghill Automated Application-level Checkpointing of MPI Programs Principles and Practice of Parallel Programming, 06/11/2003
  • 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 Language Design and Implementation, 06/09/2003
  • James Ezick Resolving Constrained Existential Queries over Context-Sensitive Analyses Cornell University Computing and Information Science Technical Report TR2003-1913, 06/04/2003
  • Gianfranco Bilardi and Keshav Pingali Algorithms for Computing the Static Single Assignment Form Journal of the ACM May 2003, 05/16/2003
  • Vijay Menon and Keshav Pingali Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring (submitted to) International Journal of Parallel Programming, 03/16/2003
  • Vijay Menon, Keshav Pingali, and Nikolay Mateev Fractal Symbolic Analysis Transactions on Programming Languages and Systems, TOPLAS ?, 03/16/2003
  • Kevin Barker, Andrey Chernikov, Nikos Chrisochoides, Brian Holinka, and Keshav Pingali Architecture and Evaluation of a Runtime System for Adaptive Applications TPDS ?, 03/16/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, 07/14/2002
  • Kevin Barker, Nikos Chrisochoides, Jeffrey Dobbelaere, Démian Nave, and Keshav Pingali Date movement and control substrate for parallel adaptive applications Concurrency and Computation: Practice and Experience, 02/01/2002
  • Induprakas Kodukula and Keshav Pingali Data-Centric Transformations for Locality Enhancement International Journal of Parallel Programming, 10/01/2001
  • Nawaaz Ahmed, Nikolay Mateev, and Keshav Pingali Synthesizing Transformations for Locality Enhancement of Imperfectly-Nested Loop Nests International Journal of Parallel Programming 29(5), 10/01/2001
  • James Ezick, Gianfranco Bilardi, and Keshav Pingali Efficient Computation of Interprocedural Control Dependence Technical Report TR2001-1850, Cornell Computer Science Department, 08/15/2001
  • Nikolay Mateev, Vijay Menon, and Keshav Pingali Fractal Symbolic Analysis International Conference on Supercomputing, 06/16/2001
  • Nawaaz Ahmed, Nikolay Mateev, and Keshav Pingali Tiling Imperfectly-Nested Loop Nests Supercomputing, SC, 11/04/2000
  • 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 Supercomputing, SC, 11/04/2000
  • Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, and Paul Stodghill A Framework for Sparse Matrix Code Synthesis from High-level Specifications Supercomputing, SC, 11/04/2000
  • Nawaaz Ahmed and Keshav Pingali Automatic Generation of Block-Recursive Codes Euro-Par, 08/29/2000
  • Nikolay Mateev, Vijay Menon, and Keshav Pingali Left-Looking to Right-Looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring Euro-Par, 08/29/2000
  • Nawaaz Ahmed Locality Enhancement for Imperfectly-nested Loop Nests Cornell Computer Science Department PhD Thesis, 08/01/2000
  • Nikolay Mateev, Keshav Pingali, Paul Stodghill, and Vladimir Kotlyar Next-generation Generic Programming and its Application to Sparse Matrix Computations International Conference on Supercomputing, 05/11/2000
  • Nawaaz Ahmed, Nikolay Mateev, and Keshav Pingali Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests International Conference on Supercomputing (ICS 2000), 05/11/2000
  • George Coulouris, Gerd Heber, David Lifka, Keshav Pingali , David Schneider, Paul Stodghill, Paul Wawrzynek, and John Zollweg Parallel FEM Simulation of Crack Propagation on the AC3 Velocity Cluster 7th Workshop on Cluster Cluster-Based Computing, 05/06/2000
  • Bruce Carter, Chuin-Shan Chen, L. Paul Chew, Nikos Chrisochoides, Guang R. Gao, Gerd Heber, Antony R. Ingraffea, Roland Krause, Chris Myers, Demian Nave, Keshav Pingali, Paul Stodghill, Stephen Vavasis, and Paul A. Wawrzynek Parallel FEM simulation of Crack Propagation - Challenges, Status, and Perspectives 7th International Workshop on Solving Irregularly Structured Problems in Parallel, 05/05/2000
  • Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, and Paul Stodghill Compiling Imperfectly-nested Sparse Matrix Codes with Dependences Ithaca ?, 03/16/2000
  • Nikolay Mateev, Vijay Menon, and Keshav Pingali Fractal Symbolic Analysis for Program Transformations Technical Report TR2000-1781, Cornell Computer Science Department, 01/01/2000
  • Vijay Menon and Keshav Pingali A case for source-level transformations in MATLAB Proceedings of the Second Conference on Domain Specific Languages, 10/03/1999
  • Keshav Pingali Parallel Programming Languages Wiley Book, 09/01/1999
  • Vijay Menon and Keshav Pingali High-level semantic optimization of numerical codes International Conference on Supercomputing, 06/20/1999
  • Induprakas Kodukula, Keshav Pingali, Robert Cox, and Dror E. Maydan An experimental evaluation of tiling and shackling for memory hierarchy management International Conference on Supercomputing, 06/20/1999
  • Vladimir Kotlyar Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs Cornell Computer Science Department PhD Thesis, 01/01/1999
  • Induprakas Kodukula Data-centric Compilation Cornell Computer Science Department PhD Thesis, 08/01/1998
  • Vladimir Kotlyar Relational Query Processing Approach to Compiling Sparse Matrix Codes Job Talk, 04/11/1998
  • Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill Compiling Parallel Code for Sparse Matrix Applications Supercomputing, SC, 11/15/1997
  • Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill A Relational Approach to the Compilation of Sparse Matrix Programs Euro-Par, 08/26/1997
  • Paul Stodghill A Relational Approach to the Automatic Generation of Sequential Sparse Matrix Codes Cornell Computer Science Department PhD Thesis, 08/01/1997
  • Nikos Chrisochoides, Induprakas Kodukula, and Keshav Pingali Compiler and Run-Time Support for Semi-Structured Applications International Conference on Supercomputing, 07/07/1997
  • Vladimir Kotlyar and Keshav Pingali Sparse Code Generation for Imperfectly Nested Loops with Dependences International Conference on Supercomputing, 07/07/1997
  • Induprakas Kodukula, Nawaaz Ahmed, and Keshav Pingali Data-centric Multi-level Blocking Programming Language Design and Implementation, 06/15/1997
  • Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill Compiling Parallel Sparse Code for User-defined Data Structures SIAM ?, 06/02/1997
  • Keshav Pingali and Gianfranco Bilardi Optimal Control Dependence Computation and the Roman Chariots Problem Transactions on Programming Languages and Systems, TOPLAS, 05/01/1997
  • Vineet Ahuja, Nikos Chrisochoides, Induprakas Kodukula, and Keshav Pingali Runtime System Support for Parallel Iterative PDE Computations SIAM ?, 03/16/1997
  • Vladimir Kotlyar, Keshav Pingali, and Paul Stodghill Unified Framework for Sparse and Dense SPMD Code Generation Technical Report TR97-1625, Cornell Computer Science Department, 03/10/1997
  • Nikos Chrisochoides, Induprakas Kodukula, and Keshav Pingali Data Movement and Control Substrate for parallel scientific computing Communication and Architectural Support for Network-Based Parallel Computing, 02/02/1997
  • Induprakas Kodukula and Keshav Pingali Transformations for Imperfectly Nested Loops Supercomputing, SC, 11/01/1996
  • Gianfranco Bilardi and Keshav Pingali A Framework for Generalized Control Dependence Programming Language Design and Implementation, 05/22/1996
  • Keshav Pingali and Gianfranco Bilardi APT: A Data Structure for Optimal Control Dependence Computation Programming Language Design and Implementation, 06/18/1995
  • Sudeep Gupta and Keshav Pingali Fast Compiled Logic Simulation Using Linear BDDs Technical Report TR95-214, Cornell Computer Science Department ?, 03/16/1995
  • David Bau, Induprakas Kodukula, Vladimir Kotlyar, and Keshav Pingali, Paul Stodghill Solving Alignment Using Elementary Linear Algebra Languages and Compilers for Parallel Computing, 08/08/1994
  • Richard Johnson Efficient Program Analysis using Dependence Flow Graphs Cornell Computer Science Department PhD Thesis, 08/01/1994
  • Richard Johnson, David Pearson, and Keshav Pingali The Program Structure Tree: Computing Control Regions in Linear Time Programming Language Design and Implementation, 06/20/1994
  • Anne Rogers and Keshav Pingali Compiling for Distributed Memory Architectures IEEE Transactions on Parallel and Distributed Systems, 06/10/1994
  • Wei Li and Keshav Pingali The LAMBDA Loop Transformation Toolkit (User's Reference Manual) Technical Report TR94-1431, Cornell Computer Science Department, 06/01/1994
  • Mayan Moudgill, Keshav Pingali, and Stamatis Vassiliadis Register Renaming and Dynamic Speculation: an Alternative Approach International Symposium on Microarchitecture, MICRO, 12/01/1993
  • Wei Li and Keshav Pingali Access Normalization: Loop Restructuring for NUMA Compilers ACM Transactions On Computer Systems, 11/01/1993
  • Wei Li Compiling for NUMA Parallel Machines Cornell Computer Science Department PhD Thesis, 08/01/1993
  • Richard Johnson and Keshav Pingali Dependence-Based Program Analysis Programming Language Design and Implementation, 06/23/1993
  • Richard A. Huff Lifetime-Sensitive Modulo Scheduling Programming Language Design and Implementation, 06/23/1993
  • Wei Li and Keshav Pingali Access Normalization: Loop Restructuring for NUMA Compilers Architectural Support for Programming Languages and Operating Systems, 10/12/1992
  • Radha Jagadeesan and Keshav Pingali Abstract Semantics for a Higher-Order Functional Language with Logic Variables Principles of Programming Languages, POPL, 01/01/1992
  • Radha Jagadeesan, Keshav Pingali, and Prakash Panangaden A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables Transactions on Programming Languages and Systems, TOPLAS, 10/01/1991
  • Richard Johnson, Wei Li, and Keshav Pingali An Executable Representation of Distance and Direction Languages and Compilers for Parallel Computing, 08/01/1991
  • Radha Jagadeesan Investigations into Abstraction and Concurrency Cornell Computer Science Department Theses, 08/01/1991
  • Radha Jagadeesan and Keshav Pingali Abstract Semantics for a Higher Order Functional Language with Logic Variables Technical Report TR91-1220, Cornell Computer Science Department, 07/01/1991
  • Micah Beck, Richard Johnson, and Keshav Pingali From Control Flow to Dataflow Journal of Parallel and Distributed Computing ?, 03/16/1991
  • Keshav Pingali and Kattamuri Ekanadham Accumulators: New Logic Variable Abstractions for Functional Languages Theoretical Computer Science 81(2), 03/16/1991
  • Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, and Paul Stodghill Dependence Flow Graphs: An Algebraic Approach to Program Dependencies Principles of Programming Languages, 01/01/1991
  • Micah Beck and Keshav Pingali From Control Flow to Dataflow International Conference on Parallel Processing, 08/01/1990
  • Micah Beck, Keshav Pingali, and Alexandru Nicolau Static Scheduling for Dynamic Dataflow Machines Journal of Parallel and Distributed Computing ?, 03/16/1990
  • Keshav Pingali and Anne Rogers Compiler Parallelization of SIMPLE for a Distributed Memory Machine Technical Report TR90-1084, Cornell Computer Science Department, 01/01/1990
  • Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, and Paul Stodghill Dependence Flow Graphs: An Algebraic Approach to Program Dependencies Languages and Compilers for Parallel Computing, 01/01/1990
  • Micah Beck, Keshav Pingali, and Alex Nicolau Static Scheduling for Dynamic Dataflow Machines Technical Report TR90-1076, Cornell Computer Science Department, 01/01/1990
  • Arvind, Rishiyur S. Nikhil, and Keshav Pingali I-Structures: Data Structures for Parallel Computing Transactions on Programming Languages and Systems, TOPLAS, 10/01/1989
  • Anne Rogers and Keshav Pingali Process Decomposition Through Locality of Reference Programming Language Design and Implementation, 06/21/1989
  • Radha Jagadeesan, Prakash Panagaden, and Keshav Pingali A Fully Abstract Semantics for a Functional Language with Logic Variables Fourth IEEE Symposium on Logic in Computer Science, 06/05/1989
  • Keshav Pingali Fine-grain Compilation for Pipelined Machines Technical Report TR88-934, Cornell Computer Science Department, 08/01/1988
  • Keshav Pingali Lazy Evaluation and the Logic Variable Turner Book, 11/01/1987