default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKeshav Pingali
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c150]Hochan Lee
, Roshan Dathathri, Keshav Pingali:
Kimbap: A Node-Property Map System for Distributed Graph Analytics. ASPLOS (2) 2024: 566-581- [c149]Alicja Niewiadomska, Pawel Maczuga, Albert Oliver Serra, Leszek Siwik, Paulina Sepúlveda-Salas, Anna Paszynska, Maciej Paszynski, Keshav Pingali:
Modeling Tsunami Waves at the Coastline of Valparaiso Area of Chile with Physics Informed Neural Networks. ICCS (2) 2024: 204-218 - [c148]William Ruys, Hochan Lee, Bozhi You, Shreya Talati, Jaeyoung Park, James Almgren-Bell, Yineng Yan, Milinda Fernando, George Biros, Mattan Erez, Martin Burtscher, Christopher J. Rossbach, Keshav Pingali, Milos Gligoric:
A Deep Dive into Task-Based Parallelism in Python. IPDPS (Workshops) 2024: 1147-1149 - 2023
- [j49]Marcin Los, Maciej Wozniak, Keshav Pingali, Luis E. García-Castillo, Julen Álvarez-Aramberri, David Pardo, Maciej Paszynski:
Fast parallel IGA-ADS solver for time-dependent Maxwell's equations. Comput. Math. Appl. 151: 36-49 (2023) - [i21]Pawel Maczuga, Maciej Skoczen, Przemyslaw Roznawski, Filip Tluszcz, Marcin Szubert, Marcin Los, Witold Dzwinel, Keshav Pingali, Maciej Paszynski:
Physics Informed Neural Network Code for 2D Transient Problems (PINN-2DT) Compatible with Google Colab. CoRR abs/2310.03755 (2023) - 2022
- [j48]Maciej Paszynski, Leszek Siwik, Witold Dzwinel, Keshav Pingali:
Supermodeling, a convergent data assimilation meta-procedure used in simulation of tumor progression. Comput. Math. Appl. 113: 214-224 (2022) - [j47]Leszek Siwik, Marcin Los, Adrian Klusek, Anna Paszynska, Keshav Pingali, Witold Dzwinel, Maciej Paszynski:
Tuning three-dimensional tumor progression simulations on a cluster of GPGPUs. J. Comput. Appl. Math. 412: 114308 (2022) - [c147]Jiayuan He, Udit Agarwal, Yihang Yang, Rajit Manohar, Keshav Pingali:
SPRoute 2.0: A detailed-routability-driven deterministic parallel global router with soft capacity. ASP-DAC 2022: 586-591 - [c146]Alex Fallin, Aarti Kothari, Jiayuan He, Christopher Yanez, Keshav Pingali, Rajit Manohar, Martin Burtscher:
A Simple, Fast, and GPU-friendly Steiner-Tree Heuristic. IPDPS Workshops 2022: 838-847 - [c145]Sepideh Maleki, Donya Saless, Dennis P. Wall, Keshav Pingali:
HyperNetVec: Fast and Scalable Hierarchical Embedding for Hypergraphs. NetSci-X 2022: 169-183 - [c144]Hochan Lee, William Ruys, Ian Henriksen, Arthur Peters, Yineng Yan, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Karl Schulz, Keshav Pingali, Christopher J. Rossbach, Mattan Erez, George Biros:
Parla: A Python Orchestration System for Heterogeneous Architectures. SC 2022: 51:1-51:15 - 2021
- [j46]Samira Ataei, Wenmian Hua, Yihang Yang, Rajit Manohar, Yi-Shan Lu, Jiayuan He, Sepideh Maleki, Keshav Pingali:
An Open-Source EDA Flow for Asynchronous Logic. IEEE Des. Test 38(2): 27-37 (2021) - [j45]Krzysztof Podsiadlo, Albert Oliver Serra, Anna Paszynska, Rafael Montenegro, Ian Henriksen, Maciej Paszynski, Keshav Pingali:
Parallel graph-grammar-based algorithm for the longest-edge refinement of triangular meshes and the pollution simulations in Lesser Poland area. Eng. Comput. 37(4): 3857-3880 (2021) - [j44]Loc Hoang, Roshan Dathathri, Gurbinder Gill, Keshav Pingali:
CuSP: A Customizable Streaming Edge Partitioner for Distributed Graph Analytics. ACM SIGOPS Oper. Syst. Rev. 55(1): 47-60 (2021) - [c143]Xuhao Chen, Roshan Dathathri, Gurbinder Gill, Loc Hoang, Keshav Pingali:
Sandslash: a two-level framework for efficient graph pattern mining. ICS 2021: 378-391 - [c142]Sepideh Maleki, Udit Agarwal, Martin Burtscher, Keshav Pingali:
BiPart: a parallel and deterministic hypergraph partitioner. PPoPP 2021: 161-174 - [i20]Ian Henriksen, Bozhi You, Keshav Pingali:
Exploiting Asynchronous Priority Scheduling in Parallel Eikonal Solvers. CoRR abs/2103.05694 (2021) - [i19]Sepideh Maleki, Dennis P. Wall, Keshav Pingali:
NetVec: A Scalable Hypergraph Embedding System. CoRR abs/2103.09660 (2021) - [i18]Loc Hoang, Udit Agarwal, Gurbinder Gill, Roshan Dathathri, Abhik Seal, Brian Martin, Keshav Pingali:
Optimizing Graph Transformer Networks with Graph-based Techniques. CoRR abs/2106.08500 (2021) - [i17]Yan Pei, Keshav Pingali:
Sonic: A Sampling-based Online Controller for Streaming Applications. CoRR abs/2108.10701 (2021) - 2020
- [j43]Xuhao Chen, Roshan Dathathri, Gurbinder Gill, Keshav Pingali:
Pangolin: An Efficient and Flexible Graph Mining System on CPU and GPU. Proc. VLDB Endow. 13(8): 1190-1205 (2020) - [j42]Gurbinder Gill, Roshan Dathathri, Loc Hoang, Ramesh Peri, Keshav Pingali:
Single Machine Graph Analytics on Massive Datasets Using Intel Optane DC Persistent Memory. Proc. VLDB Endow. 13(8): 1304-1318 (2020) - [j41]Tal Ben-Nun, Michael Sutton, Sreepathi Pai, Keshav Pingali:
Groute: Asynchronous Multi-GPU Programming Model with Applications to Large-scale Graph Processing. ACM Trans. Parallel Comput. 7(3): 18:1-18:27 (2020) - [c141]Yan Pei, Swarnendu Biswas, Donald S. Fussell, Keshav Pingali:
A Methodology for Principled Approximation in Visual SLAM. PACT 2020: 373-386 - [c140]Wenmian Hua, Yi-Shan Lu, Keshav Pingali, Rajit Manohar:
Cyclone: A Static Timing and Power Engine for Asynchronous Circuits. ASYNC 2020: 11-19 - [c139]Marcin Los, Judit Muñoz-Matute, Krzysztof Podsiadlo, Maciej Paszynski, Keshav Pingali:
Parallel Shared-Memory Isogeometric Residual Minimization (iGRM) for Three-Dimensional Advection-Diffusion Problems. ICCS (7) 2020: 133-148 - [c138]Ariful Azad, Mohsen Mahmoudi Aznaveh, Scott Beamer, Mark P. Blanco, Jinhao Chen, Luke D'Alessandro, Roshan Dathathri, Timothy A. Davis, Kevin Deweese, Jesun Firoz, Henry A. Gabb, Gurbinder Gill, Bálint Hegyi, Scott P. Kolodziej, Tze Meng Low, Andrew Lumsdaine, Tugsbayasgalan Manlaibaatar, Timothy G. Mattson, Scott McMillan, Ramesh Peri, Keshav Pingali, Upasana Sridhar, Gábor Szárnyas, Yunming Zhang, Yongzhe Zhang:
Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite. IISWC 2020: 216-227 - [c137]Hochan Lee, David C. Wong, Loc Hoang, Roshan Dathathri, Gurbinder Gill, Vishwesh Jatala, David Kuck, Keshav Pingali:
A Study of APIs for Graph Analytics Workloads. IISWC 2020: 228-239 - [c136]Vishwesh Jatala, Roshan Dathathri, Gurbinder Gill, Loc Hoang, V. Krishna Nandivada, Keshav Pingali:
A Study of Graph Analytics for Massive Datasets on Distributed Multi-GPUs. IPDPS 2020: 84-94 - [i16]Ashirbad Mishra, Sathish Vadhiyar, Rupesh Nasre, Keshav Pingali:
A Fine-Grained Hybrid CPU-GPU Algorithm for Betweenness Centrality Computations. CoRR abs/2008.05718 (2020) - [i15]Xuhao Chen, Roshan Dathathri, Gurbinder Gill, Loc Hoang, Keshav Pingali:
Sandslash: A Two-Level Framework for Efficient Graph Pattern Mining. CoRR abs/2011.03135 (2020) - [i14]Sepideh Maleki, Udit Agarwal, Martin Burtscher, Keshav Pingali:
BiPart: A Parallel and Deterministic Multilevel Hypergraph Partitioner. CoRR abs/2012.13618 (2020)
2010 – 2019
- 2019
- [j40]Maciej Paszynski, Konrad Jopek, Anna Paszynska, Muhammad Amber Hasaan, Keshav Pingali:
Hypergraph grammar based multi-thread multi-frontal direct solver with Galois scheduler. Comput. Sci. 20(1) (2019) - [j39]Yan Pei, Swarnendu Biswas, Donald S. Fussell, Keshav Pingali:
An elementary introduction to Kalman filtering. Commun. ACM 62(11): 122-133 (2019) - [j38]Ian Henriksen, Gianfranco Bilardi, Keshav Pingali:
Derivative grammars: a symbolic approach to parsing with derivatives. Proc. ACM Program. Lang. 3(OOPSLA): 127:1-127:28 (2019) - [j37]Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald S. Fussell, Henry Hoffmann, Connor Imes, Jason E. Miller, Nikita Mishra, Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, Sizhuo Zhang:
Proteus: Language and Runtime Support for Self-Adaptive Software Development. IEEE Softw. 36(2): 73-82 (2019) - [c135]Roshan Dathathri, Gurbinder Gill, Loc Hoang, Vishwesh Jatala, Keshav Pingali, V. Krishna Nandivada, Hoang-Vu Dang, Marc Snir:
Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics. PACT 2019: 15-28 - [c134]Yan Pei, Swarnendu Biswas, Donald S. Fussell, Keshav Pingali:
SLAMBooster: An Application-Aware Online Controller for Approximation in Dense SLAM. PACT 2019: 296-310 - [c133]Roshan Dathathri, Gurbinder Gill, Loc Hoang, Keshav Pingali:
Phoenix: A Substrate for Resilient Distributed Graph Analytics. ASPLOS 2019: 615-630 - [c132]Loc Hoang, Vishwesh Jatala, Xuhao Chen, Udit Agarwal, Roshan Dathathri, Gurbinder Gill, Keshav Pingali:
DistTC: High Performance Distributed Triangle Counting. HPEC 2019: 1-7 - [c131]Jiayuan He, Martin Burtscher, Rajit Manohar, Keshav Pingali:
SPRoute: A Scalable Parallel Negotiation-based Global Router. ICCAD 2019: 1-8 - [c130]Keshav Pingali:
GrAPL Keynote 1. IPDPS Workshops 2019: 220 - [c129]Loc Hoang, Roshan Dathathri, Gurbinder Gill, Keshav Pingali:
CuSP: A Customizable Streaming Edge Partitioner for Distributed Graph Analytics. IPDPS 2019: 439-450 - [c128]Loc Hoang, Matteo Pontecorvi, Roshan Dathathri, Gurbinder Gill, Bozhi You, Keshav Pingali, Vijaya Ramachandran:
A round-efficient distributed betweenness centrality algorithm. PPoPP 2019: 272-286 - [i13]Gurbinder Gill, Roshan Dathathri, Loc Hoang, Ramesh Peri, Keshav Pingali:
Single Machine Graph Analytics on Massive Datasets Using Intel Optane DC Persistent Memory. CoRR abs/1904.07162 (2019) - [i12]Xuhao Chen, Roshan Dathathri, Gurbinder Gill, Keshav Pingali:
Pangolin: An Efficient and Flexible Graph Mining System on CPU and GPU. CoRR abs/1911.06969 (2019) - [i11]Vishwesh Jatala, Loc Hoang, Roshan Dathathri, Gurbinder Gill, V. Krishna Nandivada, Keshav Pingali:
An Adaptive Load Balancer For Graph Analytical Applications on GPUs. CoRR abs/1911.09135 (2019) - [i10]Leszek Siwik, Marcin Los, Adrian Klusek, Keshav Pingali, Witold Dzwinel, Maciej Paszynski:
Supermodeling of tumor dynamics with parallel isogeometric analysis solver. CoRR abs/1912.12836 (2019) - 2018
- [j36]Piotr Gurgul, Konrad Jopek, Keshav Pingali, Anna Paszynska:
Applications of A Hyper-Graph Grammar System in Adaptive Finite-Element Computations. Int. J. Appl. Math. Comput. Sci. 28(3): 569-582 (2018) - [j35]Gurbinder Gill, Roshan Dathathri, Loc Hoang, Keshav Pingali:
A Study of Partitioning Policies for Graph Analytics on Large-scale Distributed Platforms. Proc. VLDB Endow. 12(4): 321-334 (2018) - [c127]Gurbinder Gill, Roshan Dathathri, Loc Hoang, Andrew Lenharth, Keshav Pingali:
Abelian: A Compiler for Graph Analytics on Distributed, Heterogeneous Platforms. Euro-Par 2018: 249-264 - [c126]Vinicius N. Possani, Yi-Shan Lu, Alan Mishchenko, Keshav Pingali, Renato P. Ribas, André Inácio Reis:
Unlocking fine-grain parallelism for AIG rewriting. ICCAD 2018: 87 - [c125]Hoang-Vu Dang, Roshan Dathathri, Gurbinder Gill, Alex Brooks, Nikoli Dryden, Andrew Lenharth, Loc Hoang, Keshav Pingali, Marc Snir:
A Lightweight Communication Runtime for Distributed Graph Analytics. IPDPS 2018: 980-989 - [c124]Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali:
Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics. PLDI 2018: 752-768 - [p2]Yi-Shan Lu, Keshav Pingali:
Can Parallel Programming Revolutionize EDA Tools? Advanced Logic Synthesis 2018: 21-41 - [i9]Yan Pei, Swarnendu Biswas, Donald S. Fussell, Keshav Pingali:
SLAMBooster: An Application-aware Controller for Approximation in SLAM. CoRR abs/1811.01516 (2018) - 2017
- [j34]Marcin Los, Maciej Wozniak, Maciej Paszynski, Andrew Lenharth, Muhammad Amber Hassaan, Keshav Pingali:
IGA-ADS: Isogeometric analysis FEM using ADS solver. Comput. Phys. Commun. 217: 99-116 (2017) - [c123]Donald Nguyen, Keshav Pingali:
What Scalable Programs Need from Transactional Memory. ASPLOS 2017: 105-118 - [c122]Chad Voegele, Yi-Shan Lu, Sreepathi Pai, Keshav Pingali:
Parallel triangle counting and k-truss identification using graph-centric methods. HPEC 2017: 1-7 - [c121]Tal Ben-Nun, Michael Sutton, Sreepathi Pai, Keshav Pingali:
Groute: An Asynchronous Multi-GPU Programming Model for Irregular Computations. PPoPP 2017: 235-248 - [i8]Swarnendu Biswas, Yan Pei, Donald S. Fussell, Keshav Pingali:
Capri: A Control System for Approximate Programs. CoRR abs/1706.00767 (2017) - [i7]Yan Pei, Swarnendu Biswas, Donald S. Fussell, Keshav Pingali:
An Elementary Introduction to Kalman Filtering. CoRR abs/1710.04055 (2017) - [i6]Ananya Raval, Rupesh Nasre, Vivek Kumar, R. Vasudevan, Sathish Vadhiyar, Keshav Pingali:
Dynamic Load Balancing Strategies for Graph Applications on GPUs. CoRR abs/1711.00231 (2017) - 2016
- [j33]Andrew Lenharth, Donald Nguyen, Keshav Pingali:
Parallel graph analytics. Commun. ACM 59(5): 78-87 (2016) - [c120]Xin Sui, Andrew Lenharth, Donald S. Fussell, Keshav Pingali:
Proactive Control of Approximate Programs. ASPLOS 2016: 607-621 - [c119]Hassan AbouEisha, Konrad Jopek, Bartlomiej Medygral, Szymon Nosek, Mikhail Ju. Moshkov, Anna Paszynska, Maciej Paszynski, Keshav Pingali:
Hybrid Direct and Iterative Solver with Library of Multi-criteria Optimal Orderings for h Adaptive Finite Element Method Computations. ICCS 2016: 865-874 - [c118]Anna Paszynska, Maciej Wozniak, Andrew Lenharth, Donald Nguyen, Keshav Pingali:
Hypergraph Grammars in Non-stationary hp-adaptive Finite Element Method. ICCS 2016: 875-886 - [c117]Saeed Maleki, Donald Nguyen, Andrew Lenharth, María Jesús Garzarán, David A. Padua, Keshav Pingali:
DSMR: A Parallel Algorithm for Single-Source Shortest Path Problem. ICS 2016: 32:1-32:14 - [c116]Rashid Kaleem, Anand Venkat, Sreepathi Pai, Mary W. Hall, Keshav Pingali:
Synchronization Trade-Offs in GPU Implementations of Graph Algorithms. IPDPS 2016: 514-523 - [c115]Sreepathi Pai, Keshav Pingali:
A compiler for throughput optimization of graph algorithms on GPUs. OOPSLA 2016: 1-19 - [c114]Saeed Maleki, Donald Nguyen, Andrew Lenharth, María Jesús Garzarán, David A. Padua, Keshav Pingali:
DSMR: a shared and distributed memory algorithm for single-source shortest path problem. PPoPP 2016: 39:1-39:2 - [i5]Sreepathi Pai, Keshav Pingali:
Lowering IrGL to CUDA. CoRR abs/1607.05707 (2016) - [i4]Michael Sutton, Tal Ben-Nun, Amnon Barak, Sreepathi Pai, Keshav Pingali:
Adaptive Work-Efficient Connected Components on the GPU. CoRR abs/1612.01178 (2016) - 2015
- [j32]Andrew Lenharth, Keshav Pingali:
Scaling Runtimes for Irregular Algorithms to Large-Scale NUMA Systems. Computer 48(8): 35-44 (2015) - [j31]Anna Paszynska, Maciej Paszynski, Konrad Jopek, Maciej Wozniak, Damian Goik, Piotr Gurgul, Hassan AbouEisha, Mikhail Moshkov, Victor Manuel Calo, Andrew Lenharth, Donald Nguyen, Keshav Pingali:
Quasi-Optimal Elimination Trees for 2D Grids with Singularities. Sci. Program. 2015: 303024:1-303024:18 (2015) - [j30]Keshav Pingali, J. Ramanujam, P. Sadayappan:
Introduction to the Special Issue on PPoPP'12. ACM Trans. Parallel Comput. 1(2): 9:1-9:2 (2015) - [c113]Muhammad Amber Hassaan, Donald D. Nguyen, Keshav Pingali:
Kinetic Dependence Graphs. ASPLOS 2015: 457-471 - [c112]Keshav Pingali, Gianfranco Bilardi:
A Graphical Model for Context-Free Grammar Parsing. CC 2015: 3-27 - [c111]Andrew Lenharth, Donald Nguyen, Keshav Pingali:
Priority Queues Are Not Good Concurrent Priority Schedulers. Euro-Par 2015: 209-221 - [c110]Joyce Jiyoung Whang, Andrew Lenharth, Inderjit S. Dhillon, Keshav Pingali:
Scalable Data-Driven PageRank: Algorithms, System Issues, and Lessons Learned. Euro-Par 2015: 438-450 - [c109]Anna Paszynska, Konrad Jopek, Krzysztof Banas, Maciej Paszynski, Piotr Gurgul, Andrew Lenerth, Donald Nguyen, Keshav Pingali, Lisandro Dalcín, Victor M. Calo:
Telescopic Hybrid Fast Solver for 3D Elliptic Problems with Point Singularities. ICCS 2015: 2744-2748 - [c108]Akshatha Bhat, Andrew Lenharth, Donald Nguyen, Qing Yi, Keshav Pingali:
Automatic Tuning of Task Scheduling Policies on Multicore Architectures. PARCO 2015: 11-21 - [c107]Dimitrios Prountzos, Roman Manevich, Keshav Pingali:
Synthesizing parallel graph programs via automated planning. PLDI 2015: 533-544 - [c106]Rashid Kaleem, Sreepathi Pai, Keshav Pingali:
Stochastic gradient descent on GPUs. GPGPU@PPoPP 2015: 81-89 - [c105]Keshav Pingali:
Parallel program = operator + schedule + parallel data structure. SAMOS 2015: iii - 2014
- [c104]Rashid Kaleem, Rajkishore Barik, Tatiana Shpeisman, Brian T. Lewis, Chunling Hu, Keshav Pingali:
Adaptive heterogeneous scheduling for integrated GPUs. PACT 2014: 151-162 - [c103]Donald Nguyen, Andrew Lenharth, Keshav Pingali:
Deterministic galois: on-demand, portable and parameterless. ASPLOS 2014: 499-512 - [c102]Damian Goik, Konrad Jopek, Maciej Paszynski, Andrew Lenharth, Donald Nguyen, Keshav Pingali:
Graph Grammar based Multi-thread Multi-frontal Direct Solver with Galois Scheduler. ICCS 2014: 960-969 - [c101]Keshav Pingali:
Author retrospective for synthesizing transformations for locality enhancement of imperfectly-nested loop nests. ICS 25th Anniversary 2014: 56-58 - [c100]Keshav Pingali:
High-speed graph analytics with the galois system. PPAA@PPoPP 2014: 41-42 - [c99]Konstantinos I. Karantasis, Andrew Lenharth, Donald Nguyen, María Jesús Garzarán, Keshav Pingali:
Parallelization of Reordering Algorithms for Bandwidth and Wavefront Reduction. SC 2014: 921-932 - [c98]Muhammad Amber Hassaan, Donald Nguyen, Keshav Pingali:
Brief announcement: parallelization of asynchronous variational integrators forshared memory architectures. SPAA 2014: 214-216 - [e7]Michael F. P. O'Boyle, Keshav Pingali:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. ACM 2014, ISBN 978-1-4503-2784-8 [contents] - 2013
- [c97]Rupesh Nasre, Martin Burtscher, Keshav Pingali:
Atomic-free irregular computations on GPUs. GPGPU@ASPLOS 2013: 96-107 - [c96]Rupesh Nasre, Martin Burtscher, Keshav Pingali:
Data-Driven Versus Topology-driven Irregular Computations on GPUs. IPDPS 2013: 463-474 - [c95]Dimitrios Prountzos, Keshav Pingali:
Betweenness centrality: algorithms and implementations. PPoPP 2013: 35-46 - [c94]Rupesh Nasre, Martin Burtscher, Keshav Pingali:
Morph algorithms on GPUs. PPoPP 2013: 147-156 - [c93]Donald Nguyen, Andrew Lenharth, Keshav Pingali:
A lightweight infrastructure for graph analytics. SOSP 2013: 456-471 - 2012
- [c92]Francesco Versaci, Keshav Pingali:
Processor Allocation for Optimistic Parallelization of Irregular Programs. ICCSA (1) 2012: 1-14 - [c91]Martin Burtscher, Rupesh Nasre, Keshav Pingali:
A quantitative study of irregular programs on GPUs. IISWC 2012: 141-151 - [c90]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 - [c89]Dimitrios Prountzos, Roman Manevich, Keshav Pingali:
Elixir: a system for synthesizing concurrent graph programs. OOPSLA 2012: 375-394 - [c88]Mario Méndez-Lojo, Martin Burtscher, Keshav Pingali:
A GPU implementation of inclusion-based points-to analysis. PPoPP 2012: 107-116 - [c87]Diogo Telmo Neves, Tandy J. Warnow, João Luís Sobral, Keshav Pingali:
Parallelizing SuperFine. SAC 2012: 1361-1367 - [i3]Francesco Versaci, Keshav Pingali:
Processor Allocation for Optimistic Parallelization of Irregular Programs. CoRR abs/1201.3778 (2012) - 2011
- [c86]Donald Nguyen, Keshav Pingali:
Synthesizing concurrent schedulers for irregular algorithms. ASPLOS 2011: 333-344 - [c85]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 - [c84]Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali:
Exploiting the commutativity lattice. PLDI 2011: 542-555 - [c83]Pedro Monteiro, Miguel P. Monteiro, Keshav Pingali:
Parallelizing irregular algorithms: a pattern language. PLoP 2011: 3:1-3:18 - [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
- [j29]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) - [j28]Kathryn S. McKinley, Keshav Pingali:
La dolce vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(4): 10:1-10:6 (2010) - [j27]Kathryn S. McKinley, Keshav Pingali:
La prossima vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(6): 20:1 (2010) - [c79]Keshav Pingali:
Towards a science of parallel programming. PACT 2010: 3-4 - [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
- [j26]Mary W. Hall, David A. Padua, Keshav Pingali:
Compiler research: the next 50 years. Commun. ACM 52(2): 60-67 (2009) - [j25]Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew:
Optimistic parallelism requires abstractions. Commun. ACM 52(9): 89-97 (2009) - [j24]Keshav Pingali, Kathryn S. McKinley:
Remembrances of things past. ACM Trans. Program. Lang. Syst. 31(4): 17.1:1-17.1:2 (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 - [e6]Franck Cappello, Laxmikant V. Kalé, Frank Mueller, Keshav Pingali, Alexander Reinefeld:
Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009. Dagstuhl Seminar Proceedings 09191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i2]Franck Cappello, Laxmikant V. Kalé, Frank Mueller, Keshav Pingali, Alexander Reinefeld:
09191 Abstracts Collection - Fault Tolerance in High-Performance Computing and Grids. Fault Tolerance in High-Performance Computing and Grids 2009 - 2008
- [j23]Milind Kulkarni, Keshav Pingali:
An Experimental Study of Self-Optimizing Dense Linear Algebra Software. Proc. IEEE 96(5): 832-848 (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
- [j22]Kathryn S. McKinley, Keshav Pingali:
Editorial: A changing of the guard. ACM Trans. Program. Lang. Syst. 29(6): 30 (2007) - [c66]Milind Kulkarni, Keshav Pingali:
Scheduling Issues in Optimistic Parallelization. IPDPS 2007: 1-7 - [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
- [j21]Kamen Yotov, Xiaoming Li, Gang Ren, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill:
Is Search Really Necessary to Generate High-Performance BLAS? Proc. IEEE 93(2): 358-386 (2005) - [c57]Kamen Yotov, Keshav Pingali, Paul Stodghill:
Think globally, search locally. ICS 2005: 141-150 - [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 - [e5]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, ISBN 1-59593-080-9 [contents] - 2004
- [j20]Vijay Menon, Keshav Pingali:
Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. Int. J. Parallel Program. 32(6): 501-523 (2004) - [j19]Kevin J. Barker, Andrey N. Chernikov, Nikos Chrisochoides, Keshav Pingali:
A Load Balancing Framework for Adaptive and Asynchronous Applications. IEEE Trans. Parallel Distributed 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 J. Barker, Nikos Chrisochoides, Jeffrey Dobbelaere, Démian Nave, Keshav Pingali:
Date movement and control substrate for parallel adaptive applications. Concurr. Comput. Pract. Exp. 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 - [e4]Kemal Ebcioglu, Keshav Pingali, Alex Nicolau:
Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002. ACM 2002, ISBN 1-58113-483-5 [contents] - 2001
- [j15]Induprakas Kodukula, Keshav Pingali:
Data-Centric Transformations for Locality Enhancement. Int. J. Parallel Program. 29(3): 319-364 (2001) - [j14]Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali:
Synthesizing Transformations for Locality Enhancement of Imperfectly-Nested Loop Nests. Int. J. Parallel Program. 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]Nikolay Mateev, Vijay Menon, Keshav Pingali:
Fractal symbolic analysis. ICS 2001: 38-49 - 2000
- [c39]Nawaaz Ahmed, Keshav Pingali:
Automatic Generation of Block-Recursive Codes. Euro-Par 2000: 368-378 - [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]Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali:
Tiling Imperfectly-Nested Loop Nests. SC 2000: 31 - [c32]Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul Stodghill:
A Framework for Sparse Matrix Code Synthesis from High-level Specifications. SC 2000: 58 - [i1]Nikolay Mateev, Vijay Menon, Keshav Pingali:
Fractal Symbolic Analysis. CoRR cs.PL/0001009 (2000)
1990 – 1999
- 1999
- [c31]Vijay Menon, Keshav Pingali:
A case for source-level transformations in MATLAB. DSL 1999: 53-65 - [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. PP 1997 - [c22]Vladimir Kotlyar, Keshav Pingali, Paul Stodghill:
Compiling Parallel Code for Sparse Matrix Applications. SC 1997: 10 - [e3]Robert Schreiber, Keshav Pingali, A. Michael Berman:
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 [contents] - 1996
- [c21]Gianfranco Bilardi, Keshav Pingali:
Generalized Dominance and Control Dependence. PLDI 1996: 291-300 - [c20]Induprakas Kodukula, Keshav Pingali:
Transformations for Imperfectly Nested Loops. SC 1996: 12 - [e2]Keshav Pingali:
Proceedings of the 1996 International Conference on Parallel Processing, ICCP 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 3: Software. IEEE Computer Society 1996 [contents] - 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:
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 [contents] - 1994
- [j12]Wei Li, Keshav Pingali:
A singular loop transformation framework based on non-singular matrices. Int. J. Parallel Program. 22(2): 183-205 (1994) - [j11]Anne Rogers, Keshav Pingali:
Compiling for Distributed Memory Architectures. IEEE Trans. Parallel Distributed 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]Richard Johnson, Keshav Pingali:
Dependence-Based Program Analysis. PLDI 1993: 78-89 - 1992
- [c13]Wei Li, Keshav Pingali:
Access Normalization: Loop Restructuring for NUMA Compilers. ASPLOS 1992: 285-295 - [c12]Wei Li, Keshav Pingali:
A Singular Loop Transformation Framework Based on Non-Singular Matrices. LCPC 1992: 391-405 - [c11]Radha Jagadeesan, Keshav Pingali:
Abstract Semantics for a Higher-Order Functional Language with Logic Variables. POPL 1992: 355-366 - [c10]Wei Li, Keshav Pingali:
Loop Transformations for NUMA Machines. SIGPLAN Workshop 1992: 9-12 - 1991
- [j9]Micah Beck, Richard Johnson, Keshav Pingali:
From Control Flow to Dataflow. J. Parallel Distributed 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 Distributed Comput. 10(4): 279-288 (1990) - [c7]Micah Beck, Keshav Pingali:
From Control Flow to Dataflow. ICPP (2) 1990: 43-52 - [c6]Keshav Pingali, Anne Rogers:
Compiling for Locality. ICPP (2) 1990: 142-146
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]Anne Rogers, Keshav Pingali:
Process Decomposition Through Locality of Reference. PLDI 1989: 69-80 - 1988
- [j4]Alexandru Nicolau, Keshav Pingali, Alexander Aiken:
Fine-grain compilation for pipelined machines. J. Supercomput. 2(3): 279-295 (1988) - [c3]Keshav Pingali, Kattamuri Ekanadham:
Accumulators: A New Logic Variable Abstractions for Functional Languages. FSTTCS 1988: 377-399 - [c2]Keshav Pingali:
Lazy evaluation and the logic variable. ICS 1988: 560-572 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
