Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Keshav Pingali
2010 – today
- 2013
[c93]Dimitrios Prountzos, Keshav Pingali: Betweenness centrality: algorithms and implementations. PPOPP 2013: 35-46- [c92]
- 2012
- [c91]Francesco Versaci, Keshav Pingali: Processor Allocation for Optimistic Parallelization of Irregular Programs. ICCSA (1) 2012: 1-14
- [c90]Martin Burtscher, Rupesh Nasre, Keshav Pingali: A quantitative study of irregular programs on GPUs. IISWC 2012: 141-151
- [c89]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
- [c88]Dimitrios Prountzos, Roman Manevich, Keshav Pingali: Elixir: a system for synthesizing concurrent graph programs. OOPSLA 2012: 375-394
- [c87]Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali: A GPU implementation of inclusion-based points-to analysis. PPOPP 2012: 107-116
- [c86]Diogo Telmo Neves, Tandy Warnow, João Luís Sobral, Keshav Pingali: Parallelizing SuperFine. SAC 2012: 1361-1367
- [i2]Francesco Versaci, Keshav Pingali: Processor Allocation for Optimistic Parallelization of Irregular Programs. CoRR abs/1201.3778 (2012)
- 2011
- [c85]Donald Nguyen, Keshav Pingali: Synthesizing concurrent schedulers for irregular algorithms. ASPLOS 2011: 333-344
- [c84]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
- [c83]Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali: Exploiting the commutativity lattice. PLDI 2011: 542-555
- [c82]Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley: A shape analysis for optimizing parallel graph programs. POPL 2011: 159-172
- [c81]Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali: Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms. PPOPP 2011: 3-12
- [c80]Francesco Versaci, Keshav Pingali: Brief announcement: processor allocation for optimistic parallelization of irregular programs. SPAA 2011: 261-262
- [r1]Keshav Pingali: Locality of Reference and Parallel Processing. Encyclopedia of Parallel Computing 2011: 1051-1056
- 2010
- [j27]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)
- [j26]Kathryn S. McKinley, Keshav Pingali: La dolce vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(4) (2010)
- [j25]Kathryn S. McKinley, Keshav Pingali: La prossima vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(6) (2010)
- [c79]
- [c78]Muhammad Amber Hassaan, Martin Burtscher, Keshav Pingali: Ordered and unordered algorithms for parallel breadth first search. PACT 2010: 539-540
- [c77]Xin Sui, Donald Nguyen, Martin Burtscher, Keshav Pingali: Parallel Graph Partitioning on Multicore Architectures. LCPC 2010: 246-260
- [c76]Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali: Parallel inclusion-based points-to analysis. OOPSLA 2010: 428-443
- [c75]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
2000 – 2009
- 2009
- [j24]Mary W. Hall, David A. Padua, Keshav Pingali: Compiler research: the next 50 years. Commun. ACM 52(2): 60-67 (2009)
- [j23]Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. Commun. ACM 52(9): 89-97 (2009)
- [j22]Keshav Pingali, Kathryn S. McKinley: Remembrances of things past. ACM Trans. Program. Lang. Syst. 31(4) (2009)
- [c74]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina: Compiler-enhanced incremental checkpointing for OpenMP applications. IPDPS 2009: 1-12
- [c73]Milind Kulkarni, Martin Burtscher, Calin Cascaval, Keshav Pingali: Lonestar: A suite of parallel irregular programs. ISPASS 2009: 65-76
- [c72]Milind Kulkarni, Martin Burtscher, Rajasekhar Inkulu, Keshav Pingali, Calin Cascaval: How much parallelism is there in irregular applications? PPOPP 2009: 3-14
- 2008
- [c71]Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew: Optimistic parallelism benefits from data partitioning. ASPLOS 2008: 233-243
- [c70]Keshav Pingali: Data-parallel abstractions for irregular programs. Conf. Computing Frontiers 2008: 117-118
- [c69]Martin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali: On the Scalability of an Automatically Parallelized Irregular Application. LCPC 2008: 109-123
- [c68]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee: Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP 2008: 275-276
- [c67]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
- [p1]Keshav Pingali: Parallel and Vector Programming Languages. Wiley Encyclopedia of Computer Science and Engineering 2008
- 2007
- [j21]Kathryn S. McKinley, Keshav Pingali: Editorial: A changing of the guard. ACM Trans. Program. Lang. Syst. 29(6) (2007)
- [c66]
- [c65]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina: Compiler-Enhanced Incremental Checkpointing. LCPC 2007: 1-15
- [c64]Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. PLDI 2007: 211-222
- [c63]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
- 2006
- [c62]Greg Bronevetsky, Keshav Pingali, Paul Stodghill: Experimental evaluation of application-level checkpointing for OpenMP programs. ICS 2006: 2-13
- [c61]Keshav Pingali, Paul Stodghill: A distributed system based on web services for computational science simulations. ICS 2006: 297-306
- [c60]Greg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill: Recent advances in checkpoint/recovery systems. IPDPS 2006
- [c59]John A. Gunnels, Fred G. Gustavson, Keshav Pingali, Kamen Yotov: Is Cache-Oblivious DGEMM Viable? PARA 2006: 919-928
- [c58]Rohit Fernandes, Keshav Pingali, Paul Stodghill: Mobile MPI programs in computational grids. PPOPP 2006: 22-31
- 2005
- [c57]
- [c56]Daniel Marques, Greg Bronevetsky, Rohit Fernandes, Keshav Pingali, Paul Stodghill: Optimizing Checkpoint Sizes in the C3 System. IPDPS 2005
- [c55]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
- [c54]Kamen Yotov, Sandra Jackson, Tyler Steele, Keshav Pingali, Paul Stodghill: Automatic Measurement of Instruction Cache Capacity. LCPC 2005: 230-243
- [c53]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
- [c52]Kamen Yotov, Keshav Pingali, Paul Stodghill: Automatic measurement of memory hierarchy parameters. SIGMETRICS 2005: 181-192
- [e3]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
- 2004
- [j20]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)
- [j19]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)
- [c51]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz: Application-level checkpointing for shared memory programs. ASPLOS 2004: 235-247
- [c50]Keshav Pingali, Paul Stodghill: O'SOAP - A Web Services Framework for DDDAS Applications. International Conference on Computational Science 2004: 797-804
- [c49]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
- 2003
- [j18]Gianfranco Bilardi, Keshav Pingali: Algorithms for computing the static single assignment form. J. ACM 50(3): 375-425 (2003)
- [j17]Vijay Menon, Keshav Pingali, Nikolay Mateev: Fractal symbolic analysis. ACM Trans. Program. Lang. Syst. 25(6): 776-813 (2003)
- [c48]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
- [c47]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Collective operations in application-level fault-tolerant MPI. ICS 2003: 234-243
- [c46]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: C3: A System for Automating Application-Level Checkpointing of MPI Programs. LCPC 2003: 357-373
- [c45]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
- [c44]Greg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Automated application-level checkpointing of MPI programs. PPOPP 2003: 84-94
- 2002
- [j16]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)
- [c43]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
- 2001
- [j15]Induprakas Kodukula, Keshav Pingali: Data-Centric Transformations for Locality Enhancement. International Journal of Parallel Programming 29(3): 319-364 (2001)
- [j14]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)
- [c42]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
- [c41]Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle: Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206
- [c40]
- 2000
- [c39]
- [c38]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
- [c37]Nikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar: Next-generation generic programming and its application to sparse matrix computations. ICS 2000: 88-99
- [c36]Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. ICS 2000: 141-152
- [c35]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
- [c34]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
- [c33]
- [c32]Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul Stodghill: A Framework for Sparse Matrix Code Synthesis from High-level Specifications. SC 2000: 58
- [i1]
1990 – 1999
- 1999
- [c31]
- [c30]Vijay Menon, Keshav Pingali: High-level semantic optimization of numerical codes. International Conference on Supercomputing 1999: 434-443
- [c29]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
- 1997
- [j13]Keshav Pingali, Gianfranco Bilardi: Optimal Control Dependence Computation and the Roman Chariots Problem. ACM Trans. Program. Lang. Syst. 19(3): 462-491 (1997)
- [c28]Nikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Data Movement and Control Substrate for Parallel Scientific Computing. CANPC 1997: 256-268
- [c27]Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: A Relational Approach to the Compilation of Sparse Matrix Programs. Euro-Par 1997: 318-327
- [c26]Vladimir Kotlyar, Keshav Pingali: Sparse Code Generation for Imperfectly Nested Loops with Dependences. International Conference on Supercomputing 1997: 188-195
- [c25]Nikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Compiler and Run-Time Support for Semi-Structured Applications. International Conference on Supercomputing 1997: 229-236
- [c24]Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali: Data-centric Multi-level Blocking. PLDI 1997: 346-357
- [c23]Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Compiling Parallel Sparse Code for User-Defined Data Structures. PPSC 1997
- [c22]Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Compiling Parallel Code for Sparse Matrix Applications. SC 1997: 10
- [e2]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
- 1996
- [c21]Gianfranco Bilardi, Keshav Pingali: Generalized Dominance and Control Dependence. PLDI 1996: 291-300
- [c20]
- 1995
- [c19]Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Automatic Parallelization of the Conjugate Gradient Algorithm. LCPC 1995: 480-499
- [c18]Keshav Pingali, Gianfranco Bilardi: APT: A Data Structure for Optimal Control Dependence Computation. PLDI 1995: 32-46
- [e1]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
- 1994
- [j12]Wei Li, Keshav Pingali: A singular loop transformation framework based on non-singular matrices. International Journal of Parallel Programming 22(2): 183-205 (1994)
- [j11]Anne Rogers, Keshav Pingali: Compiling for Distributed Memory Architectures. IEEE Trans. Parallel Distrib. Syst. 5(3): 281-298 (1994)
- [c17]David Bau, Induprakas Kodukula, Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Solving Alignment Using Elementary Linear Algebra. LCPC 1994: 46-60
- [c16]Richard Johnson, David Pearson, Keshav Pingali: The Program Structure Tree: Computing Control Regions in Linear Time. PLDI 1994: 171-185
- 1993
- [j10]Wei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ACM Trans. Comput. Syst. 11(4): 353-375 (1993)
- [c15]Mayan Moudgill, Keshav Pingali, Stamatis Vassiliadis: Register renaming and dynamic speculation: an alternative approach. MICRO 1993: 202-213
- [c14]
- 1992
- [c13]Wei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ASPLOS 1992: 285-295
- [c12]
- [c11]Radha Jagadeesan, Keshav Pingali: Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL 1992: 355-366
- [c10]
- 1991
- [j9]Micah Beck, Richard Johnson, Keshav Pingali: From Control Flow to Dataflow. J. Parallel Distrib. Comput. 12(2): 118-129 (1991)
- [j8]Keshav Pingali, Kattamuri Ekanadham: Accumulators: New Logic Variable Abstractions for Functional Languages. Theor. Comput. Sci. 81(2): 201-221 (1991)
- [j7]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)
- [c9]Richard Johnson, Wei Li, Keshav Pingali: An Executable Representation of Distance and Direction. LCPC 1991: 122-136
- [c8]Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill: Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. POPL 1991: 67-78
- 1990
- [j6]Micah Beck, Keshav Pingali, Alexandru Nicolau: Static Scheduling for Dynamic Dataflow Machines. J. Parallel Distrib. Comput. 10(4): 279-288 (1990)
- [c7]
- [c6]
1980 – 1989
- 1989
- [j5]Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
- [c5]Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables. LICS 1989: 294-303
- [c4]
- 1988
- [j4]Alexandru Nicolau, Keshav Pingali, Alexander Aiken: Fine-grain compilation for pipelined machines. The Journal of Supercomputing 2(3): 279-295 (1988)
- [c3]Keshav Pingali, Kattamuri Ekanadham: Accumulators: A New Logic Variable Abstractions for Functional Languages. FSTTCS 1988: 377-399
- [c2]
- 1986
- [j3]Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. 8(1): 109-139 (1986)
- [j2]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)
- [c1]Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369
- 1985
- [j1]Keshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 7(2): 311-333 (1985)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-08 22:59 CEST by the dblp team