Keshav Pingali

Dimitrios Prountzos, Keshav Pingali: Betweenness centrality: algorithms and implementations. PPOPP 2013: 35-46

Rupesh Nasre, Martin Burtscher, Keshav Pingali: Morph algorithms on GPUs. PPOPP 2013: 147-156

Francesco Versaci, Keshav Pingali: Processor Allocation for Optimistic Parallelization of Irregular Programs. ICCSA (1) 2012: 1-14

Martin Burtscher, Rupesh Nasre, Keshav Pingali: A quantitative study of irregular programs on GPUs. IISWC 2012: 141-151

Xin Sui, Tsung-Hsien Lee, Joyce Jiyoung Whang, Berkant Savas, Saral Jain, Keshav Pingali, Inderjit S. Dhillon: Parallel Clustered Low-Rank Approximation of Graphs and Its Application to Link Prediction. LCPC 2012: 76-95

Dimitrios Prountzos, Roman Manevich, Keshav Pingali: Elixir: a system for synthesizing concurrent graph programs. OOPSLA 2012: 375-394

Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali: A GPU implementation of inclusion-based points-to analysis. PPOPP 2012: 107-116

Diogo Telmo Neves, Tandy Warnow, João Luís Sobral, Keshav Pingali: Parallelizing SuperFine. SAC 2012: 1361-1367

Francesco Versaci, Keshav Pingali: Processor Allocation for Optimistic Parallelization of Irregular Programs. CoRR abs/1201.3778 (2012)

Donald Nguyen, Keshav Pingali: Synthesizing concurrent schedulers for irregular algorithms. ASPLOS 2011: 333-344

Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui: The tao of parallelism in algorithms. PLDI 2011: 12-25

Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali: Exploiting the commutativity lattice. PLDI 2011: 542-555

Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley: A shape analysis for optimizing parallel graph programs. POPL 2011: 159-172

Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali: Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms. PPOPP 2011: 3-12

Francesco Versaci, Keshav Pingali: Brief announcement: processor allocation for optimistic parallelization of irregular programs. SPAA 2011: 261-262

Keshav Pingali: Locality of Reference and Parallel Processing. Encyclopedia of Parallel Computing 2011: 1051-1056

Arvind, David I. August, Keshav Pingali, Derek Chiou, Resit Sendag, Joshua J. Yi: Programming Multicores: Do Applications Programmers Need to Write Explicitly Parallel Programs? IEEE Micro 30(3): 19-33 (2010)

Kathryn S. McKinley, Keshav Pingali: La dolce vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(4) (2010)

Kathryn S. McKinley, Keshav Pingali: La prossima vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(6) (2010)

Keshav Pingali: Towards a science of parallel programming. PACT 2010: 3-4

Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali: Ordered and unordered algorithms for parallel breadth first search. PACT 2010: 539-540

Xin Sui, Donald Nguyen, Martin Burtscher, Keshav Pingali: Parallel Graph Partitioning on Multicore Architectures. LCPC 2010: 246-260

Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali: Parallel inclusion-based points-to analysis. OOPSLA 2010: 428-443

Mario Méndez-Lojo, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Muhammad Amber Hassaan, Milind Kulkarni, Martin Burtscher, Keshav Pingali: Structure-driven optimizations for amorphous data-parallel programs. PPOPP 2010: 3-14

Mary W. Hall, David A. Padua, Keshav Pingali: Compiler research: the next 50 years. Commun. ACM 52(2): 60-67 (2009)

Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. Commun. ACM 52(9): 89-97 (2009)

Keshav Pingali, Kathryn S. McKinley: Remembrances of things past. ACM Trans. Program. Lang. Syst. 31(4) (2009)

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina: Compiler-enhanced incremental checkpointing for OpenMP applications. IPDPS 2009: 1-12

Milind Kulkarni, Martin Burtscher, Calin Cascaval, Keshav Pingali: Lonestar: A suite of parallel irregular programs. ISPASS 2009: 65-76

Milind Kulkarni, Martin Burtscher, Rajasekhar Inkulu, Keshav Pingali, Calin Cascaval: How much parallelism is there in irregular applications? PPOPP 2009: 3-14

Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew: Optimistic parallelism benefits from data partitioning. ASPLOS 2008: 233-243

Keshav Pingali: Data-parallel abstractions for irregular programs. Conf. Computing Frontiers 2008: 117-118

Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali: On the Scalability of an Automatically Parallelized Irregular Application. LCPC 2008: 109-123

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee: Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP 2008: 275-276

Milind Kulkarni, Patrick Carribault, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew: Scheduling strategies for optimistic parallel execution of irregular programs. SPAA 2008: 217-228

Keshav Pingali: Parallel and Vector Programming Languages. Wiley Encyclopedia of Computer Science and Engineering 2008

Kathryn S. McKinley, Keshav Pingali: Editorial: A changing of the guard. ACM Trans. Program. Lang. Syst. 29(6) (2007)

Milind Kulkarni, Keshav Pingali: Scheduling Issues in Optimistic Parallelization. IPDPS 2007: 1-7

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina: Compiler-Enhanced Incremental Checkpointing. LCPC 2007: 1-15

Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. PLDI 2007: 211-222

Kamen Yotov, Thomas Roeder, Keshav Pingali, John A. Gunnels, Fred G. Gustavson: An experimental comparison of cache-oblivious and cache-conscious programs. SPAA 2007: 93-104

Greg Bronevetsky, Keshav Pingali, Paul Stodghill: Experimental evaluation of application-level checkpointing for OpenMP programs. ICS 2006: 2-13

Keshav Pingali, Paul Stodghill: A distributed system based on web services for computational science simulations. ICS 2006: 297-306

Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill: Recent advances in checkpoint/recovery systems. IPDPS 2006

John A. Gunnels, Fred G. Gustavson, Keshav Pingali, Kamen Yotov: Is Cache-Oblivious DGEMM Viable? PARA 2006: 919-928

Rohit Fernandes, Keshav Pingali, Paul Stodghill: Mobile MPI programs in computational grids. PPOPP 2006: 22-31

Kamen Yotov, Keshav Pingali, Paul Stodghill: Think globally, search locally. ICS 2005: 141-150

Daniel Marques, Greg Bronevetsky, Rohit Fernandes, Keshav Pingali, Paul Stodghill: Optimizing Checkpoint Sizes in the C3 System. IPDPS 2005

Sébastien Donadio, James C. Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, María Jesús Garzarán, David A. Padua, Keshav Pingali: A Language for the Compact Representation of Multiple Program Versions. LCPC 2005: 136-151

Kamen Yotov, Sandra Jackson, Tyler Steele, Keshav Pingali, Paul Stodghill: Automatic Measurement of Instruction Cache Capacity. LCPC 2005: 230-243

Arkady Epshteyn, María Jesús Garzarán, Gerald DeJong, David A. Padua, Gang Ren, Xiaoming Li, Kamen Yotov, Keshav Pingali: Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization. LCPC 2005: 259-273

Kamen Yotov, Keshav Pingali, Paul Stodghill: Automatic measurement of memory hierarchy parameters. SIGMETRICS 2005: 181-192

Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw (Eds.): Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA. ACM 2005, isbn 1-59593-080-9

Vijay Menon, Keshav Pingali: Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. International Journal of Parallel Programming 32(6): 501-523 (2004)

Kevin Barker, Andrey N. Chernikov, Nikos Chrisochoides, Keshav Pingali: A Load Balancing Framework for Adaptive and Asynchronous Applications. IEEE Trans. Parallel Distrib. Syst. 15(2): 183-192 (2004)

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz: Application-level checkpointing for shared memory programs. ASPLOS 2004: 235-247

Keshav Pingali, Paul Stodghill: O'SOAP - A Web Services Framework for DDDAS Applications. International Conference on Computational Science 2004: 797-804

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. SC 2004: 38

Gianfranco Bilardi, Keshav Pingali: Algorithms for computing the static single assignment form. J. ACM 50(3): 375-425 (2003)

Vijay Menon, Keshav Pingali, Nikolay Mateev: Fractal symbolic analysis. ACM Trans. Program. Lang. Syst. 25(6): 776-813 (2003)

L. Paul Chew, Nikos Chrisochoides, S. Gopalsamy, Gerd Heber, Anthony R. Ingraffea, Edward Luke, Joaquim B. Cavalcante Neto, Keshav Pingali, Alan M. Shih, Bharat K. Soni, Paul Stodghill, David S. Thompson, Stephen A. Vavasis, Paul A. Wawrzynek: Computational Science Simulations Based on Web Services. International Conference on Computational Science 2003: 299-308

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Collective operations in application-level fault-tolerant MPI. ICS 2003: 234-243

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: C³: A System for Automating Application-Level Checkpointing of MPI Programs. LCPC 2003: 357-373

Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu: A comparison of empirical and model-driven optimization. PLDI 2003: 63-76

Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Automated application-level checkpointing of MPI programs. PPOPP 2003: 84-94

Kevin Barker, Nikos Chrisochoides, Jeffrey Dobbelaere, Démian Nave, Keshav Pingali: Date movement and control substrate for parallel adaptive applications. Concurrency and Computation: Practice and Experience 14(2): 77-101 (2002)

Guang R. Gao, Kevin B. Theobald, Ziang Hu, Haiping Wu, Jizhu Lu, Keshav Pingali, Paul Stodghill, Thomas L. Sterling, Rick Stevens, Mark Hereld: Next Generation System Software for Future High-End Computing Systems. IPDPS 2002

Induprakas Kodukula, Keshav Pingali: Data-Centric Transformations for Locality Enhancement. International Journal of Parallel Programming 29(3): 319-364 (2001)

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Synthesizing Transformations for Locality Enhancement of Imperfectly-Nested Loop Nests. International Journal of Parallel Programming 29(5): 493-544 (2001)

Vladimir Kotlyar, David Bau, Induprakas Kodukula, Keshav Pingali, Paul Stodghill: Solving Alignment Using Elementary Linear Algebra. Compiler Optimizations for Scalable Parallel Systems Languages 2001: 385-412

Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle: Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206

Nikolay Mateev, Vijay Menon, Keshav Pingali: Fractal symbolic analysis. ICS 2001: 38-49

Nawaaz Ahmed, Keshav Pingali: Automatic Generation of Block-Recursive Codes. Euro-Par 2000: 368-378

Nikolay Mateev, Vijay Menon, Keshav Pingali: Left-Looking to Right-Looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. Euro-Par 2000: 379-388

Nikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar: Next-generation generic programming and its application to sparse matrix computations. ICS 2000: 88-99

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. ICS 2000: 141-152

Bruce Carter, Chuin-Shan Chen, L. Paul Chew, Nikos Chrisochoides, Guang R. Gao, Gerd Heber, Anthony R. Ingraffea, Roland Krause, Chris Myers, Démian Nave, Keshav Pingali, Paul Stodghill, Stephen A. Vavasis, Paul A. Wawrzynek: Parallel FEM Simulation of Crack Propagation - Challenges, Status, and Perspectives. IPDPS Workshops 2000: 443-449

Kevin B. Theobald, Gagan Agrawal, Rishi Kumar, Gerd Heber, Guang R. Gao, Paul Stodghill, Keshav Pingali: Landing CG on EARTH: A Case Study of Fine-Grained Multithreading on an Evolutionary Path. SC 2000: 4

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Tiling Imperfectly-Nested Loop Nests. SC 2000: 31

Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul Stodghill: A Framework for Sparse Matrix Code Synthesis from High-level Specifications. SC 2000: 58

Nikolay Mateev, Vijay Menon, Keshav Pingali: Fractal Symbolic Analysis. CoRR cs.PL/0001009 (2000)

Vijay Menon, Keshav Pingali: A case for source-level transformations in MATLAB. DSL 1999: 53-65

Vijay Menon, Keshav Pingali: High-level semantic optimization of numerical codes. International Conference on Supercomputing 1999: 434-443

Induprakas Kodukula, Keshav Pingali, Robert Cox, Dror E. Maydan: An experimental evaluation of tiling and shackling for memory hierarchy management. International Conference on Supercomputing 1999: 482-491

Keshav Pingali, Gianfranco Bilardi: Optimal Control Dependence Computation and the Roman Chariots Problem. ACM Trans. Program. Lang. Syst. 19(3): 462-491 (1997)

Nikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Data Movement and Control Substrate for Parallel Scientific Computing. CANPC 1997: 256-268

Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: A Relational Approach to the Compilation of Sparse Matrix Programs. Euro-Par 1997: 318-327

Vladimir Kotlyar, Keshav Pingali: Sparse Code Generation for Imperfectly Nested Loops with Dependences. International Conference on Supercomputing 1997: 188-195

Nikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Compiler and Run-Time Support for Semi-Structured Applications. International Conference on Supercomputing 1997: 229-236

Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali: Data-centric Multi-level Blocking. PLDI 1997: 346-357

Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Compiling Parallel Sparse Code for User-Defined Data Structures. PPSC 1997

Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Compiling Parallel Code for Sparse Matrix Applications. SC 1997: 10

Robert Schreiber, Keshav Pingali, A. Michael Berman (Eds.): Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997. ACM 1997, isbn 0-89791-906-8

Gianfranco Bilardi, Keshav Pingali: Generalized Dominance and Control Dependence. PLDI 1996: 291-300

Induprakas Kodukula, Keshav Pingali: Transformations for Imperfectly Nested Loops. SC 1996: 12

Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Automatic Parallelization of the Conjugate Gradient Algorithm. LCPC 1995: 480-499

Keshav Pingali, Gianfranco Bilardi: APT: A Data Structure for Optimal Control Dependence Computation. PLDI 1995: 32-46

Keshav Pingali, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua (Eds.): Languages and Compilers for Parallel Computing, 7th International Workshop, LCPC'94, Ithaca, NY, USA, August 8-10, 1994, Proceedings. Lecture Notes in Computer Science 892, Springer 1995, isbn 3-540-58868-X

Wei Li, Keshav Pingali: A singular loop transformation framework based on non-singular matrices. International Journal of Parallel Programming 22(2): 183-205 (1994)

Anne Rogers, Keshav Pingali: Compiling for Distributed Memory Architectures. IEEE Trans. Parallel Distrib. Syst. 5(3): 281-298 (1994)

David Bau, Induprakas Kodukula, Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Solving Alignment Using Elementary Linear Algebra. LCPC 1994: 46-60

Richard Johnson, David Pearson, Keshav Pingali: The Program Structure Tree: Computing Control Regions in Linear Time. PLDI 1994: 171-185

Wei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ACM Trans. Comput. Syst. 11(4): 353-375 (1993)

Mayan Moudgill, Keshav Pingali, Stamatis Vassiliadis: Register renaming and dynamic speculation: an alternative approach. MICRO 1993: 202-213

Richard Johnson, Keshav Pingali: Dependence-Based Program Analysis. PLDI 1993: 78-89

Wei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ASPLOS 1992: 285-295

Wei Li, Keshav Pingali: A Singular Loop Transformation Framework Based on Non-Singular Matrices. LCPC 1992: 391-405

Radha Jagadeesan, Keshav Pingali: Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL 1992: 355-366

Wei Li, Keshav Pingali: Loop Transformations for NUMA Machines. SIGPLAN Workshop 1992: 9-12

Micah Beck, Richard Johnson, Keshav Pingali: From Control Flow to Dataflow. J. Parallel Distrib. Comput. 12(2): 118-129 (1991)

Keshav Pingali, Kattamuri Ekanadham: Accumulators: New Logic Variable Abstractions for Functional Languages. Theor. Comput. Sci. 81(2): 201-221 (1991)

Radha Jagadeesan, Keshav Pingali, Prakash Panangaden: A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. 13(4): 577-625 (1991)

Richard Johnson, Wei Li, Keshav Pingali: An Executable Representation of Distance and Direction. LCPC 1991: 122-136

Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill: Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. POPL 1991: 67-78

Micah Beck, Keshav Pingali, Alexandru Nicolau: Static Scheduling for Dynamic Dataflow Machines. J. Parallel Distrib. Comput. 10(4): 279-288 (1990)

Micah Beck, Keshav Pingali: From Control Flow to Dataflow. ICPP (2) 1990: 43-52

Keshav Pingali, Anne Rogers: Compiling for Locality. ICPP (2) 1990: 142-146

Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)

Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables. LICS 1989: 294-303

Anne Rogers, Keshav Pingali: Process Decomposition Through Locality of Reference. PLDI 1989: 69-80

Alexandru Nicolau, Keshav Pingali, Alexander Aiken: Fine-grain compilation for pipelined machines. The Journal of Supercomputing 2(3): 279-295 (1988)

Keshav Pingali, Kattamuri Ekanadham: Accumulators: A New Logic Variable Abstractions for Functional Languages. FSTTCS 1988: 377-399

Keshav Pingali: Lazy evaluation and the logic variable. ICS 1988: 560-572

Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. 8(1): 109-139 (1986)

Keshav Pingali, Arvind: Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 8(1): 140-141 (1986)

Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369

Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 7(2): 311-333 (1985)