dblp.uni-trier.dewww.uni-trier.de

Keshav Pingali

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
94EEMilind Kulkarni, Martin Burtscher, Rajeshkar Inkulu, Keshav Pingali, Calin Cascaval: How much parallelism is there in irregular applications? PPOPP 2009: 3-14
93EEMary Hall, David A. Padua, Keshav Pingali: Compiler research: the next 50 years. Commun. ACM 52(2): 60-67 (2009)
2008
92EEMilind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew: Optimistic parallelism benefits from data partitioning. ASPLOS 2008: 233-243
91EEKeshav Pingali: Data-parallel abstractions for irregular programs. Conf. Computing Frontiers 2008: 117-118
90EEMartin Burtscher, Milind Kulkarni, Dimitrios Prountzos, Keshav Pingali: On the Scalability of an Automatically Parallelized Irregular Application. LCPC 2008: 109-123
89EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee: Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP 2008: 275-276
88EEMilind 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
87EEKeshav Pingali: Parallel and Vector Programming Languages. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
86EEMilind Kulkarni, Keshav Pingali: Scheduling Issues in Optimistic Parallelization. IPDPS 2007: 1-7
85EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina: Compiler-Enhanced Incremental Checkpointing. LCPC 2007: 1-15
84EEMilind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. PLDI 2007: 211-222
83EEKamen 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
82EEKathryn S. McKinley, Keshav Pingali: Editorial: A changing of the guard. ACM Trans. Program. Lang. Syst. 29(6): (2007)
2006
81EEGreg Bronevetsky, Keshav Pingali, Paul Stodghill: Experimental evaluation of application-level checkpointing for OpenMP programs. ICS 2006: 2-13
80EEKeshav Pingali, Paul Stodghill: A distributed system based on web services for computational science simulations. ICS 2006: 297-306
79EEGreg Bronevetsky, Rohit Fernandes, Daniel Marques, Keshav Pingali, Paul Stodghill: Recent advances in checkpoint/recovery systems. IPDPS 2006
78EEJohn A. Gunnels, Fred G. Gustavson, Keshav Pingali, Kamen Yotov: Is Cache-Oblivious DGEMM Viable? PARA 2006: 919-928
77EERohit Fernandes, Keshav Pingali, Paul Stodghill: Mobile MPI programs in computational grids. PPOPP 2006: 22-31
2005
76 Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA ACM 2005
75EEKamen Yotov, Keshav Pingali, Paul Stodghill: Think globally, search locally. ICS 2005: 141-150
74EEDaniel Marques, Greg Bronevetsky, Rohit Fernandes, Keshav Pingali, Paul Stodghill: Optimizing Checkpoint Sizes in the C3 System. IPDPS 2005
73EESé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
72EEKamen Yotov, Sandra Jackson, Tyler Steele, Keshav Pingali, Paul Stodghill: Automatic Measurement of Instruction Cache Capacity. LCPC 2005: 230-243
71EEArkady 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
70EEKamen Yotov, Keshav Pingali, Paul Stodghill: Automatic measurement of memory hierarchy parameters. SIGMETRICS 2005: 181-192
2004
69EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz: Application-level checkpointing for shared memory programs. ASPLOS 2004: 235-247
68EEKeshav Pingali, Paul Stodghill: O'SOAP - A Web Services Framework for DDDAS Applications. International Conference on Computational Science 2004: 797-804
67EEMartin 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
66EEKevin 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)
65EEVijay 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)
2003
64EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Collective operations in application-level fault-tolerant MPI. ICS 2003: 234-243
63EEL. 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
62EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: C3: A System for Automating Application-Level Checkpointing of MPI Programs. LCPC 2003: 357-373
61EEKamen 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
60EEGreg Bronevetsky, Daniel Marques, Keshav Pingali, Paul Stodghill: Automated application-level checkpointing of MPI programs. PPOPP 2003: 84-94
59EEVijay Menon, Keshav Pingali, Nikolay Mateev: Fractal symbolic analysis. ACM Trans. Program. Lang. Syst. 25(6): 776-813 (2003)
58EEGianfranco Bilardi, Keshav Pingali: Algorithms for computing the static single assignment form. J. ACM 50(3): 375-425 (2003)
2002
57EEGuang 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
56 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)
2001
55EEVladimir 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
54EEJens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle: Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206
53EENikolay Mateev, Vijay Menon, Keshav Pingali: Fractal symbolic analysis. ICS 2001: 38-49
52 Induprakas Kodukula, Keshav Pingali: Data-Centric Transformations for Locality Enhancement. International Journal of Parallel Programming 29(3): 319-364 (2001)
51 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)
2000
50EENawaaz Ahmed, Keshav Pingali: Automatic Generation of Block-Recursive Codes. Euro-Par 2000: 368-378
49EENikolay 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
48EENawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. ICS 2000: 141-152
47EENikolay Mateev, Keshav Pingali, Paul Stodghill, Vladimir Kotlyar: Next-generation generic programming and its application to sparse matrix computations. ICS 2000: 88-99
46EEBruce 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
45EENawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul Stodghill: A Framework for Sparse Matrix Code Synthesis from High-level Specifications. SC 2000
44EEKevin 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
43EENawaaz Ahmed, Nikolay Mateev, Keshav Pingali: Tiling Imperfectly-Nested Loop Nests. SC 2000
42EENikolay Mateev, Vijay Menon, Keshav Pingali: Fractal Symbolic Analysis CoRR cs.PL/0001009: (2000)
1999
41EEVijay Menon, Keshav Pingali: A case for source-level transformations in MATLAB. DSL 1999: 53-65
40EEVijay Menon, Keshav Pingali: High-level semantic optimization of numerical codes. International Conference on Supercomputing 1999: 434-443
39EEInduprakas 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
38 Nikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Data Movement and Control Substrate for Parallel Scientific Computing. CANPC 1997: 256-268
37 Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: A Relational Approach to the Compilation of Sparse Matrix Programs. Euro-Par 1997: 318-327
36EEVladimir Kotlyar, Keshav Pingali: Sparse Code Generation for Imperfectly Nested Loops with Dependences. International Conference on Supercomputing 1997: 188-195
35EENikos Chrisochoides, Induprakas Kodukula, Keshav Pingali: Compiler and Run-Time Support for Semi-Structured Applications. International Conference on Supercomputing 1997: 229-236
34 Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali: Data-centric Multi-level Blocking. PLDI 1997: 346-357
33 Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Compiling Parallel Sparse Code for User-Defined Data Structures. PPSC 1997
32EEKeshav Pingali, Gianfranco Bilardi: Optimal Control Dependence Computation and the Roman Chariots Problem. ACM Trans. Program. Lang. Syst. 19(3): 462-491 (1997)
1996
31 Gianfranco Bilardi, Keshav Pingali: Generalized Dominance and Control Dependence. PLDI 1996: 291-300
1995
30 Keshav Pingali, Utpal Banerjee, David Gelernter, Alexandru Nicolau, David A. Padua: Languages and Compilers for Parallel Computing, 7th International Workshop, LCPC'94, Ithaca, NY, USA, August 8-10, 1994, Proceedings Springer 1995
29 Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Automatic Parallelization of the Conjugate Gradient Algorithm. LCPC 1995: 480-499
28 Keshav Pingali, Gianfranco Bilardi: APT: A Data Structure for Optimal Control Dependence Computation. PLDI 1995: 32-46
1994
27 David Bau, Induprakas Kodukula, Vladimir Kotlyar, Keshav Pingali, Paul Stodghill: Solving Alignment Using Elementary Linear Algebra. LCPC 1994: 46-60
26 Richard Johnson, David Pearson, Keshav Pingali: The Program Structure Tree: Computing Control Regions in Linear Time. PLDI 1994: 171-185
25EEAnne Rogers, Keshav Pingali: Compiling for Distributed Memory Architectures. IEEE Trans. Parallel Distrib. Syst. 5(3): 281-298 (1994)
1993
24EEMayan Moudgill, Keshav Pingali, Stamatis Vassiliadis: Register renaming and dynamic speculation: an alternative approach. MICRO 1993: 202-213
23 Richard Johnson, Keshav Pingali: Dependence-Based Program Analysis. PLDI 1993: 78-89
22EEWei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ACM Trans. Comput. Syst. 11(4): 353-375 (1993)
1992
21 Wei Li, Keshav Pingali: Access Normalization: Loop Restructuring for NUMA Compilers. ASPLOS 1992: 285-295
20 Wei Li, Keshav Pingali: A Singular Loop Transformation Framework Based on Non-Singular Matrices. LCPC 1992: 391-405
19 Radha Jagadeesan, Keshav Pingali: Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL 1992: 355-366
18 Wei Li, Keshav Pingali: Loop Transformations for NUMA Machines. SIGPLAN Workshop 1992: 9-12
1991
17 Richard Johnson, Wei Li, Keshav Pingali: An Executable Representation of Distance and Direction. LCPC 1991: 122-136
16 Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill: Dependence Flow Graphs: An Algebraic Approach to Program Dependencies. POPL 1991: 67-78
15EERadha 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)
14 Micah Beck, Richard Johnson, Keshav Pingali: From Control Flow to Dataflow. J. Parallel Distrib. Comput. 12(2): 118-129 (1991)
13 Keshav Pingali, Kattamuri Ekanadham: Accumulators: New Logic Variable Abstractions for Functional Languages. Theor. Comput. Sci. 81(2): 201-221 (1991)
1990
12 Keshav Pingali, Anne Rogers: Compiling for Locality. ICPP (2) 1990: 142-146
11 Micah Beck, Keshav Pingali: From Control Flow to Dataflow. ICPP (2) 1990: 43-52
10 Micah Beck, Keshav Pingali, Alexandru Nicolau: Static Scheduling for Dynamic Dataflow Machines. J. Parallel Distrib. Comput. 10(4): 279-288 (1990)
1989
9 Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables LICS 1989: 294-303
8 Anne Rogers, Keshav Pingali: Process Decomposition Through Locality of Reference. PLDI 1989: 69-80
7EE Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
1988
6 Keshav Pingali, Kattamuri Ekanadham: Accumulators: A New Logic Variable Abstractions for Functional Languages. FSTTCS 1988: 377-399
5EEKeshav Pingali: Lazy evaluation and the logic variable. ICS 1988: 560-572
1986
4  Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-structures: Data structures for parallel computing. Graph Reduction 1986: 336-369
3EEKeshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 2. ACM Trans. Program. Lang. Syst. 8(1): 109-139 (1986)
2 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)
1985
1EEKeshav Pingali, Arvind: Efficient Demand-Driven Evaluation - Part 1. ACM Trans. Program. Lang. Syst. 7(2): 311-333 (1985)

Coauthor Index

1Gagan Agrawal [44]
2Nawaaz Ahmed [34] [43] [45] [48] [50] [51]
3 Arvind [1] [2] [3] [4] [7]
4Kavita Bala [84] [88] [92]
5Utpal Banerjee [30]
6Kevin Barker [56] [66]
7Denis Barthou [73]
8David Bau [27] [55]
9Micah Beck [10] [11] [14] [16]
10Gianfranco Bilardi [28] [31] [32] [58]
11James C. Brodman [73]
12Greg Bronevetsky [60] [62] [64] [67] [69] [74] [79] [81] [85] [89]
13Martin Burtscher [90] [94]
14Patrick Carribault [88]
15Bruce Carter [46]
16Calin Cascaval [94]
17Chuin-Shan Chen [46]
18Andrey N. Chernikov [66]
19L. Paul Chew [46] [63] [84] [88] [92]
20Nikos Chrisochoides [35] [38] [46] [56] [63] [66]
21Michael Cibulskis [61]
22Albert Cohen [73]
23Robert Cox [39]
24Gerald DeJong [61] [71]
25Jeffrey Dobbelaere [56]
26Sébastien Donadio [73]
27Kattamuri Ekanadham [6] [13]
28Arkady Epshteyn [71]
29Rohit Fernandes [67] [74] [77] [79]
30Guang R. Gao [44] [46] [57]
31María Jesús Garzarán [61] [71] [73]
32David Gelernter [30]
33S. Gopalsamy [63]
34Andrew S. Grimshaw [76]
35John A. Gunnels [78] [83]
36Manish Gupta [54]
37Fred G. Gustavson [78] [83]
38Mary Hall [93]
39Gerd Heber [44] [46] [63]
40Mark Hereld [57]
41Ziang Hu [57]
42Anthony R. Ingraffea [46] [63]
43Rajeshkar Inkulu [94]
44Sandra Jackson [72]
45Radha Jagadeesan [9] [15] [19]
46Richard Johnson [14] [16] [17] [23] [26]
47Jens Knoop [54]
48Induprakas Kodukula [27] [34] [35] [38] [39] [52] [55]
49Vladimir Kotlyar [27] [29] [33] [36] [37] [47] [55]
50Roland Krause [46]
51Milind Kulkarni [84] [86] [88] [90] [92] [94]
52Rishi Kumar [44]
53Wei Li [17] [18] [20] [21] [22]
54Xiaoming Li [61] [71]
55Jizhu Lu [57]
56Edward Luke [63]
57Daniel Marques [60] [62] [64] [67] [69] [74] [79] [85] [89]
58Nikolay Mateev [42] [43] [45] [47] [48] [49] [51] [53] [59]
59Dror E. Maydan [39]
60Sally A. McKee [89]
61Kathryn S. McKinley [82]
62Vijay Menon [40] [41] [42] [49] [53] [59] [65]
63Mayan Moudgill [16] [24]
64Chris Myers [46]
65Démian Nave [46] [56]
66Joaquim B. Cavalcante Neto [63]
67Alexandru Nicolau (Alex Nicolau) [10] [30]
68Rishiyur S. Nikhil [4] [7]
69Michael F. P. O'Boyle [54]
70David A. Padua [30] [61] [71] [73] [93]
71Prakash Panangaden [9] [15]
72David Pearson [26]
73Dimitrios Prountzos [90]
74Ganesh Ramanarayanan [84] [88] [92]
75Gang Ren [61] [71]
76Thomas Roeder [73] [83]
77Anne Rogers [8] [12] [25]
78Radu Rugina [85] [89]
79Martin Schulz [67] [69]
80Alan M. Shih [63]
81Bharat K. Soni [63]
82Tyler Steele [72]
83Thomas L. Sterling [57]
84Rick L. Stevens (Rick Stevens) [57]
85Paul Stodghill [16] [27] [29] [33] [37] [44] [45] [46] [47] [55] [57] [60] [61] [62] [63] [64] [67] [68] [70] [72] [74] [75] [77] [79] [80] [81]
86Peter K. Szwed [69]
87Kevin B. Theobald [44] [57]
88David S. Thompson [63]
89Stamatis Vassiliadis [24]
90Stephen A. Vavasis [46] [63]
91Bruce Walter [84] [88] [92]
92Paul A. Wawrzynek [46] [63]
93Haiping Wu [57]
94Peng Wu [61]
95Katherine A. Yelick [76]
96Kamen Yotov [61] [70] [71] [72] [73] [75] [78] [83]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)