![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Vivek Sarkar
Person information
- affiliation: Georgia Institute of Technology, GA, USA
- affiliation (former): Rice University, Department of Computer Science
- affiliation (former): IBM Research
- award (2020): ACM-IEEE CS Ken Kennedy Award
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c247]Tong Zhou
, Jun Shirako
, Vivek Sarkar
:
APPy: Annotated Parallelism for Python on GPUs. CC 2024: 113-125 - [c246]Shubhendra Pal Singhal, Akihiro Hayashi, Vivek Sarkar:
Bottleneck Scenarios in Use of the Conveyors Message Aggregation Library. ISPASS 2024: 322-324 - 2023
- [j38]Jisheng Zhao
, Colleen Bertoni, Jeffrey Young, Kevin Harms, Vivek Sarkar, Brice Videau:
HIPLZ: Enabling performance portability for exascale systems. Concurr. Comput. Pract. Exp. 35(25) (2023) - [j37]Sri Raj Paul, Akihiro Hayashi, Kun Chen, Youssef Elmougy, Vivek Sarkar
:
A Fine-grained Asynchronous Bulk Synchronous parallelism model for PGAS applications. J. Comput. Sci. 69: 102014 (2023) - [j36]Fangke Ye
, Jisheng Zhao
, Jun Shirako
, Vivek Sarkar
:
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. Proc. ACM Program. Lang. 7(OOPSLA2): 773-800 (2023) - [c245]Youssef Elmougy, Akihiro Hayashi, Vivek Sarkar:
Highly Scalable Large-Scale Asynchronous Graph Processing using Actors. CCGridW 2023: 242-248 - [c244]Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar:
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. ECOOP 2023: 13:1-13:30 - [c243]Akihiro Hayashi, Austin Adams, Jeffrey Young, Alexander J. McCaskey, Eugene F. Dumitrescu, Vivek Sarkar, Thomas M. Conte:
Enabling Multi-threading in Heterogeneous Quantum-Classical Programming Models. IPDPS Workshops 2023: 509-516 - [c242]John Parrish, Nicole Wren, Tsz Hang Kiang, Akihiro Hayashi, Jeffrey Young, Vivek Sarkar:
Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress). MPLR 2023: 165-172 - [i13]Akihiro Hayashi, Austin Adams, Jeffrey Young, Alexander J. McCaskey, Eugene F. Dumitrescu, Vivek Sarkar, Thomas M. Conte:
Enabling Multi-threading in Heterogeneous Quantum-Classical Programming Models. CoRR abs/2301.11559 (2023) - 2022
- [j35]Seonmyeong Bak, Colleen Bertoni, Swen Boehm, Reuben D. Budiardja, Barbara M. Chapman, Johannes Doerfert
, Markus Eisenbach, Hal Finkel, Oscar R. Hernandez, Joseph Huber
, Shintaro Iwasaki, Vivek Kale
, Paul R. C. Kent, JaeHyuk Kwack, Meifeng Lin, Piotr Luszczek, Ye Luo
, Buu Pham, Swaroop Pophale, Kiran Ravikumar, Vivek Sarkar, Thomas Scogland, Shilei Tian
, P. K. Yeung:
OpenMP application experiences: Porting to accelerated nodes. Parallel Comput. 109: 102856 (2022) - [j34]Prasanth Chatarasi, Hyoukjun Kwon
, Angshuman Parashar, Michael Pellauer, Tushar Krishna, Vivek Sarkar:
Marvel: A Data-Centric Approach for Mapping Deep Learning Operators on Spatial Accelerators. ACM Trans. Archit. Code Optim. 19(1): 6:1-6:26 (2022) - [c241]Tong Zhou
, Ruiqin Tian, Rizwan A. Ashraf, Roberto Gioiosa, Gokcen Kestor, Vivek Sarkar
:
ReACT: Redundancy-Aware Code Generation for Tensor Expressions. PACT 2022: 1-13 - [c240]Sana Damani
, Prithayan Barua, Vivek Sarkar:
Memory access scheduling to reduce thread migrations. CC 2022: 144-155 - [c239]Matthew Whitlock, Nicolas M. Morales, George Bosilca, Aurelien Bouteiller
, Bogdan Nicolae
, Keita Teranishi, Elisabeth Giem, Vivek Sarkar:
Integrating process, control-flow, and data resiliency layers using a hybrid Fenix/Kokkos approach. CLUSTER 2022: 418-428 - [c238]Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar:
MiniKokkos: A Calculus of Portable Parallelism. Correctness@SC 2022: 37-44 - [c237]Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar:
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. Correctness@SC 2022: 54-62 - [c236]Jisheng Zhao, Colleen Bertoni, Jeffrey Young, Kevin Harms, Vivek Sarkar, Brice Videau:
HIPLZ: Enabling Performance Portability for Exascale Systems. Euro-Par Workshops 2022: 197-210 - [c235]Jun Shirako, Akihiro Hayashi, Sri Raj Paul, Alexey Tumanov, Vivek Sarkar:
Automatic Parallelization of Python Programs for Distributed Heterogeneous Computing. Euro-Par 2022: 350-366 - [c234]Sri Raj Paul, Akihiro Hayashi, Kun Chen, Vivek Sarkar:
A Productive and Scalable Actor-Based Programming System for PGAS Applications. ICCS (1) 2022: 233-247 - [c233]Akihiro Hayashi, Sri Raj Paul, Vivek Sarkar:
A Multi-Level Platform-Independent GPU API for High-Level Programming Models. ISC Workshops 2022: 90-107 - [p2]Vivek Sarkar, Fabrice Rastello:
Introduction. SSA-based Compiler Design 2022: 157-163 - [p1]Vivek Sarkar, Kathleen Knobe, Stephen Fink:
Array SSA Form. SSA-based Compiler Design 2022: 227-240 - [i12]Jun Shirako, Akihiro Hayashi, Sri Raj Paul, Alexey Tumanov, Vivek Sarkar:
Automatic Parallelization of Python Programs for Distributed Heterogeneous Computing. CoRR abs/2203.06233 (2022) - 2021
- [j33]Ohad Rau, Caleb Voss, Vivek Sarkar:
Linear Promises: Towards Safer Concurrent Programming (Artifact). Dagstuhl Artifacts Ser. 7(2): 15:1-15:3 (2021) - [c232]Ohad Rau, Caleb Voss, Vivek Sarkar:
Linear Promises: Towards Safer Concurrent Programming. ECOOP 2021: 13:1-13:27 - [c231]Seonmyeong Bak, Oscar R. Hernandez, Mark Gates
, Piotr Luszczek, Vivek Sarkar
:
Task-graph scheduling extensions for efficient synchronization and communication. ICS 2021: 88-101 - [c230]Lechen Yu, Joachim Protze
, Oscar R. Hernandez, Vivek Sarkar:
ARBALEST: Dynamic Detection of Data Mapping Issues in Heterogeneous OpenMP Applications. IPDPS 2021: 464-474 - [c229]Max Grossman, Steve Poole, Howard Pritchard, Vivek Sarkar:
SHMEM-ML: Leveraging OpenSHMEM and Apache Arrow for Scalable, Composable Machine Learning. OpenSHMEM 2021: 111-125 - [c228]Caleb Voss, Vivek Sarkar:
An ownership policy and deadlock detector for promises. PPoPP 2021: 348-361 - [e13]Santosh Pande, Vivek Sarkar:
Languages and Compilers for Parallel Computing - 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11998, Springer 2021, ISBN 978-3-030-72788-8 [contents] - [i11]Caleb Voss, Vivek Sarkar:
An Ownership Policy and Deadlock Detector for Promises. CoRR abs/2101.01312 (2021) - [i10]Sri Raj Paul, Akihiro Hayashi, Kun Chen, Vivek Sarkar:
A Scalable Actor-based Programming System for PGAS Runtimes. CoRR abs/2107.05516 (2021) - 2020
- [j32]Hyoukjun Kwon
, Prasanth Chatarasi, Vivek Sarkar, Tushar Krishna, Michael Pellauer, Angshuman Parashar:
MAESTRO: A Data-Centric Approach to Understand Reuse, Performance, and Hardware Cost of DNN Mappings. IEEE Micro 40(3): 20-29 (2020) - [c227]Prithayan Barua, Jisheng Zhao, Vivek Sarkar:
OmpMemOpt: Optimized Memory Movement for Heterogeneous Computing. Euro-Par 2020: 200-216 - [c226]Prasanth Chatarasi, Stephen Neuendorffer, Samuel Bayliss, Kees A. Vissers, Vivek Sarkar
:
Vyasa: A High-Performance Vectorizing Compiler for Tensor Convolutions on the Xilinx AI Engine. HPEC 2020: 1-10 - [c225]Akihiro Hayashi, Sri Raj Paul, Vivek Sarkar:
Exploring a multi-resolution GPU programming model for Chapel. IPDPS Workshops 2020: 675 - [c224]Lechen Yu
, Joachim Protze
, Oscar R. Hernandez, Vivek Sarkar:
A Study of Memory Anomalies in OpenMP Applications. IWOMP 2020: 328-342 - [c223]Jun Shirako, Vivek Sarkar:
An Affine Scheduling Framework for Integrating Data Layout and Loop Transformations. LCPC 2020: 3-19 - [c222]Tong Zhou
, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas M. Conte, Richard W. Vuduc, Vivek Sarkar:
Intrepydd: performance, productivity, and portability for data science application kernels. Onward! 2020: 65-83 - [c221]Sri Raj Paul, Akihiro Hayashi, Matthew Whitlock, Seonmyeong Bak, Keita Teranishi, Jackson R. Mayo, Max Grossman, Vivek Sarkar:
Integrating Inter-Node Communication with a Resilient Asynchronous Many-Task Runtime System. ExaMPI@SC 2020: 41-51 - [c220]Max Grossman, Howard Pritchard, Steve Poole, Vivek Sarkar:
HOOVER: Leveraging OpenSHMEM for High Performance, Flexible Streaming Graph Applications. PAW-ATM@SC 2020: 55-65 - [e12]Vivek Sarkar, Hyesoon Kim:
PACT '20: International Conference on Parallel Architectures and Compilation Techniques, Virtual Event, GA, USA, October 3-7, 2020. ACM 2020, ISBN 978-1-4503-8075-1 [contents] - [i9]Prasanth Chatarasi, Hyoukjun Kwon, Natesh Raina, Saurabh Malik, Vaisakh Haridas, Tushar Krishna, Vivek Sarkar:
MARVEL: A Decoupled Model-driven Approach for Efficiently Mapping Convolutions on Spatial DNN Accelerators. CoRR abs/2002.07752 (2020) - [i8]Fangke Ye, Shengtian Zhou, Anand Venkat, Ryan Marcus, Paul Petersen, Jesmin Jahan Tithi, Tim Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, Justin Gottschlich:
Context-Aware Parse Trees. CoRR abs/2003.11118 (2020) - [i7]Prasanth Chatarasi, Stephen Neuendorffer, Samuel Bayliss, Kees A. Vissers, Vivek Sarkar:
Vyasa: A High-Performance Vectorizing Compiler for Tensor Convolutions on the Xilinx AI Engine. CoRR abs/2006.01331 (2020) - [i6]Fangke Ye, Shengtian Zhou, Anand Venkat, Ryan Marcus, Nesime Tatbul, Jesmin Jahan Tithi, Paul Petersen, Timothy G. Mattson, Tim Kraska, Pradeep Dubey, Vivek Sarkar, Justin Gottschlich:
MISIM: An End-to-End Neural Code Similarity System. CoRR abs/2006.05265 (2020) - [i5]Fangke Ye, Jisheng Zhao, Vivek Sarkar:
Advanced Graph-Based Deep Learning for Probabilistic Type Inference. CoRR abs/2009.05949 (2020) - [i4]Seonmyeong Bak, Oscar R. Hernandez, Mark Gates, Piotr Luszczek, Vivek Sarkar:
Task-Graph Scheduling Extensions for Efficient Synchronization and Communication. CoRR abs/2011.03196 (2020)
2010 – 2019
- 2019
- [j31]Akihiro Hayashi, Jun Shirako, Ettore Tiotto, Robert Ho, Vivek Sarkar:
Performance evaluation of OpenMP's target construct on GPUs - exploring compiler optimisations. Int. J. High Perform. Comput. Netw. 13(1): 54-69 (2019) - [c219]Tong Zhou
, Michael R. Jantz
, Prasad A. Kulkarni, Kshitij A. Doshi, Vivek Sarkar:
Valence: variable length calling context encoding. CC 2019: 147-158 - [c218]Sri Raj Paul, Akihiro Hayashi, Nicole Slattengren, Hemanth Kolla, Matthew Whitlock, Seonmyeong Bak, Keita Teranishi, Jackson R. Mayo, Vivek Sarkar:
Enabling Resilience in Asynchronous Many-Task Programming Models. Euro-Par 2019: 346-360 - [c217]Nitish Kumar Srivastava, Hongbo Rong, Prithayan Barua, Guanyu Feng, Huanqi Cao, Zhiru Zhang
, David H. Albonesi, Vivek Sarkar, Wenguang Chen, Paul Petersen, Geoff Lowney, Adam Herr, Christopher J. Hughes, Timothy G. Mattson, Pradeep Dubey:
T2S-Tensor: Productively Generating High-Performance Spatial Hardware for Dense Tensor Computations. FCCM 2019: 181-189 - [c216]Vivek Sarkar:
Data Flow Execution Models - A Third Opinion. HiPC 2019: 1 - [c215]Seonmyeong Bak, Yanfei Guo, Pavan Balaji, Vivek Sarkar:
Optimized Execution of Parallel Loops via User-Defined Scheduling Policies. ICPP 2019: 38:1-38:10 - [c214]Jeffrey S. Young, E. Jason Riedy, Thomas M. Conte, Vivek Sarkar, Prasanth Chatarasi, Sriseshan Srikanth:
Experimental Insights from the Rogues Gallery. ICRC 2019: 80-87 - [c213]Bahareh Goodarzi, Farzad Khorasani, Vivek Sarkar, Dhrubajyoti Goswami:
High Performance Multilevel Graph Partitioning on GPU. HPCS 2019: 769-778 - [c212]Prithayan Barua, Jun Shirako, Whitney Tsang, Jeeva Paudel, Wang Chen, Vivek Sarkar:
OMPSan: Static Verification of OpenMP's Data Mapping Constructs. IWOMP 2019: 3-18 - [c211]Sana Damani
, Vivek Sarkar:
Common Subexpression Convergence: A New Code Optimization for SIMT Processors. LCPC 2019: 64-73 - [c210]Hyoukjun Kwon
, Prasanth Chatarasi, Michael Pellauer, Angshuman Parashar, Vivek Sarkar, Tushar Krishna:
Understanding Reuse, Performance, and Hardware Cost of DNN Dataflow: A Data-Centric Approach. MICRO 2019: 754-768 - [c209]Caleb Voss, Tiago Cogumbreiro
, Vivek Sarkar:
Transitive joins: a sound and efficient online deadlock-avoidance policy. PPoPP 2019: 378-390 - 2018
- [j30]Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar:
Race Detection in Two Dimensions. ACM Trans. Parallel Comput. 4(4): 19:1-19:22 (2018) - [c208]Prithayan Barua, Jun Shirako, Vivek Sarkar:
Cost-driven thread coarsening for GPU kernels. PACT 2018: 32:1-32:14 - [c207]Oleksandr Zinenko
, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser
, Vivek Sarkar, Albert Cohen:
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. CC 2018: 3-13 - [c206]Jisheng Zhao, Michael G. Burke, Vivek Sarkar:
Parallel sparse flow-sensitive points-to analysis. CC 2018: 59-70 - [c205]Wael R. Elwasif
, Eduardo F. D'Azevedo, Arghya Chatterjee, Gonzalo Alvarez, Oscar R. Hernandez, Vivek Sarkar:
MiniApp for Density Matrix Renormalization Group Hamiltonian Application Kernel. CLUSTER 2018: 590-597 - [c204]Cody Hao Yu, Peng Wei, Max Grossman, Peng Zhang, Vivek Sarkar, Jason Cong:
S2FA: an accelerator automation framework for heterogeneous computing in datacenters. DAC 2018: 153:1-153:6 - [c203]Lechen Yu
, Vivek Sarkar:
GT-Race: Graph Traversal Based Data Race Detection for Asynchronous Many-Task Parallelism. Euro-Par 2018: 59-73 - [c202]Ankush Mandal, Rajkishore Barik, Vivek Sarkar:
Using Dynamic Compilation to Achieve Ninja Performance for CNN Training on Many-Core Processors. Euro-Par 2018: 265-278 - [c201]Farzad Khorasani, Hodjat Asghari Esfeden, Amin Farmahini Farahani, Nuwan Jayasena, Vivek Sarkar:
RegMutex: Inter-Warp GPU Register Time-Sharing. ISCA 2018: 816-828 - [c200]Prasanth Chatarasi, Jun Shirako, Albert Cohen, Vivek Sarkar:
A Unified Approach to Variable Renaming for Enhanced Vectorization. LCPC 2018: 1-20 - [c199]Farzad Khorasani, Hodjat Asghari Esfeden, Nael B. Abu-Ghazaleh
, Vivek Sarkar:
In-Register Parameter Caching for Dynamic Neural Nets with Virtual Persistent Processor Specialization. MICRO 2018: 377-389 - [c198]Ankush Mandal, He Jiang, Anshumali Shrivastava, Vivek Sarkar:
Topkapi: Parallel and Fast Sketches for Finding Top-K Frequent Elements. NeurIPS 2018: 10921-10931 - [c197]Srdan Milakovic, Zoran Budimlic, Howard Pritchard, Anthony Curtis, Barbara M. Chapman, Vivek Sarkar:
SHCOLL - A Standalone Implementation of OpenSHMEM-Style Collectives API. OpenSHMEM 2018: 90-106 - [c196]Max Grossman, Howard Pritchard, Tony Curtis, Vivek Sarkar:
HOOVER: Distributed, Flexible, and Scalable Streaming Graph Processing on OpenSHMEM. OpenSHMEM 2018: 109-124 - [c195]Prasanth Chatarasi, Vivek Sarkar:
A Preliminary Study of Compiler Transformations for Graph Applications on the Emu System. MCHPC@SC 2018: 37-44 - [c194]Fangke Ye
, Markus Schordan
, Chunhua Liao, Pei-Hung Lin
, Ian Karlin, Vivek Sarkar:
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. CORRECTNESS@SC 2018: 42-50 - [c193]Sri Raj Paul, Kun Chen, Akihiro Hayashi, Max Grossman, Vivek Sarkar, Jason DeVinney, Bill Carlson:
A Unified Runtime for PGAS and Event-Driven Programming. ESPM2@SC 2018: 46-53 - [c192]Vivek Sarkar, Max Grossman, Zoran Budimlic, Shams Imam:
A One Year Retrospective on a MOOC in Parallel, Concurrent, and Distributed Programming in Java. EduHPC@SC 2018: 61-68 - [c191]Fangke Ye, Jisheng Zhao, Vivek Sarkar:
Detecting MPI usage anomalies via partial program symbolic execution. SC 2018: 63:1-63:5 - [c190]Arghya Chatterjee
, Gonzalo Alvarez, Eduardo F. D'Azevedo, Wael R. Elwasif
, Oscar R. Hernandez, Vivek Sarkar:
Porting DMRG++ Scientific Application to OpenPOWER. ISC Workshops 2018: 418-431 - [c189]Jisheng Zhao, Oscar R. Hernandez, Reuben D. Budiardja, M. Graham Lopez, Vivek Sarkar, Jack C. Wells:
Compile-Time Library Call Detection Using CAASCADE and XALT. ISC Workshops 2018: 440-447 - [e11]Xipeng Shen, James Tuck, Ricardo Bianchini, Vivek Sarkar:
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018. ACM 2018, ISBN 978-1-4503-4911-6 [contents] - 2017
- [j29]Tiago Cogumbreiro
, Jun Shirako, Vivek Sarkar:
Formalization of Habanero phasers using Coq. J. Log. Algebraic Methods Program. 90: 50-60 (2017) - [j28]Max Grossman, Maha Aziz, Heng Chi, Anant Tibrewal, Shams Imam, Vivek Sarkar:
Pedagogy and tools for teaching parallel computing at the sophomore undergraduate level. J. Parallel Distributed Comput. 105: 18-30 (2017) - [j27]Tiago Cogumbreiro
, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman:
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. 1(OOPSLA): 103:1-103:26 (2017) - [c188]Jun Shirako, Akihiro Hayashi, Vivek Sarkar:
Optimized two-level parallelization for GPU accelerators using the polyhedral model. CC 2017: 22-33 - [c187]Vivek Sarkar, Max Grossman, Zoran Budimlic, Shams Imam:
Preparing an Online Java Parallel Computing Course. IPDPS Workshops 2017: 360-366 - [c186]Max Grossman, Vivek Kumar, Nick Vrvilo, Zoran Budimlic, Vivek Sarkar:
A Pluggable Framework for Composable HPC Scheduling Libraries. IPDPS Workshops 2017: 723-732 - [c185]Nick Vrvilo, Lechen Yu
, Vivek Sarkar:
A marshalled data format for pointers in relocatable data blocks. ISMM 2017: 25-35 - [c184]Max Grossman, Joseph Doyle, James Dinan, Howard Pritchard, Kayla Seager, Vivek Sarkar:
Implementation and Evaluation of OpenSHMEM Contexts Using OFI Libfabric. OpenSHMEM 2017: 19-34 - [c183]Arghya Chatterjee, Srdan Milakovic, Bing Xue, Zoran Budimlic, Vivek Sarkar:
DAMMP: A Distributed Actor Model for Mobile Platforms. ManLang 2017: 48-59 - [c182]Max Grossman, Howard Pritchard, Zoran Budimlic, Vivek Sarkar:
Graph500 on OpenSHMEM: Using A Practical Survey of Past Work to Motivate Novel Algorithmic Developments. PAW@SC 2017: 2:1-2:8 - [c181]Akihiro Hayashi, Sri Raj Paul, Max Grossman, Jun Shirako, Vivek Sarkar:
Chapel-on-X: Exploring Tasking Runtimes for PGAS Languages. ESPM2@SC 2017: 5:1-5:8 - [c180]Gloria Y. K. Kim
, Akihiro Hayashi
, Vivek Sarkar:
Exploration of Supervised Machine Learning Techniques for Runtime Selection of CPU vs. GPU Execution in Java Programs. WACCPD@SC 2017: 125-144 - [e10]Vivek Sarkar, Lawrence Rauchwerger:
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, USA, February 4-8, 2017. ACM 2017, ISBN 978-1-4503-4493-7 [contents] - 2016
- [j26]Dragos Sbirlea, Jun Shirako, Ryan Newton, Vivek Sarkar:
SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism. Int. J. Parallel Program. 44(2): 233-256 (2016) - [j25]Max Grossman, Maurício Breternitz Jr.
, Vivek Sarkar:
HadoopCL2: Motivating the Design of a Distributed, Heterogeneous Programming System With Machine-Learning Applications. IEEE Trans. Parallel Distributed Syst. 27(3): 762-775 (2016) - [c179]Kumud Bhandari, Vivek Sarkar:
Tree-based Read-only Data Chunks for NVRAM Programming. DFM@PACT 2016: 2:1-2:8 - [c178]Deepak Majeti, Kuldeep S. Meel
, Rajkishore Barik, Vivek Sarkar:
Automatic data layout generation and kernel mapping for CPU+GPU architectures. CC 2016: 240-250 - [c177]Max Grossman, Vivek Sarkar:
SWAT: A Programmable, In-Memory, Distributed, High-Performance Computing Platform. HPDC 2016: 81-92 - [c176]Timothy G. Mattson, Romain Cledat, Vincent Cavé, Vivek Sarkar, Zoran Budimlic, Sanjay Chatterjee, Joshua B. Fryman, Ivan Ganev, Robin Knauerhase
, Min Lee, Benoît Meister, Brian Nickerson, Nick Pepperling, Bala Seshasayee, Sagnak Tasirlar, Justin Teller, Nick Vrvilo:
The Open Community Runtime: A runtime system for extreme scale computing. HPEC 2016: 1-7 - [c175]Sanjay Chatterjee, Nick Vrvilo, Zoran Budimlic, Kathleen Knobe, Vivek Sarkar:
Declarative Tuning for Locality in Parallel Programs. ICPP 2016: 452-457 - [c174]Max Grossman, Vivek Sarkar:
Efficient Checkpointing of Multi-threaded Applications as a Tool for Debugging, Performance Tuning, and Resiliency. IPDPS 2016: 232-241 - [c173]Max Grossman, Jun Shirako, Vivek Sarkar:
OpenMP as a High-Level Specification Language for Parallelism - And its use in Evaluating Parallel Programming Systems. IWOMP 2016: 141-155 - [c172]Prasanth Chatarasi, Jun Shirako, Martin Kong
, Vivek Sarkar:
An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection. LCPC 2016: 106-120 - [c171]Rishi Surendran, Vivek Sarkar:
Automatic parallelization of pure method calls via conditional future synthesis. OOPSLA 2016: 20-38 - [c170]Max Grossman, Vivek Kumar, Zoran Budimlic, Vivek Sarkar:
Integrating Asynchronous Task Parallelism with OpenSHMEM. OpenSHMEM 2016: 3-17 - [c169]Arghya Chatterjee, Branko Gvoka, Bing Xue, Zoran Budimlic, Shams Imam, Vivek Sarkar:
A Distributed Selectors Runtime System for Java Applications. PPPJ 2016: 3:1-3:11 - [c168]Rishi Surendran, Vivek Sarkar:
Dynamic Determinacy Race Detection for Task Parallelism with Futures. RV 2016: 368-385 - [c167]Akihiro Hayashi, Jun Shirako, Ettore Tiotto, Robert Ho, Vivek Sarkar:
Exploring Compiler Optimization Opportunities for the OpenMP 4.× Accelerator Model on a POWER8+GPU Platform. WACCPD@SC 2016: 68-78 - [c166]Vivek Kumar, Karthik Murthy, Vivek Sarkar, Yili Zheng:
Optimized Distributed Work-Stealing. IA3@SC 2016: 74-77 - [c165]Yuhan Peng, Max Grossman, Vivek Sarkar:
Static Cost Estimation for Data Layout Selection on GPUs. PMBS@SC 2016: 76-86 - [c164]Matthew Francis-Landau, Bing Xue, Jason Eisner, Vivek Sarkar:
Fine-Grained Parallelism in Probabilistic Parsing with Habanero Java. IA3@SC 2016: 78-81 - [c163]Martin Kong
, Louis-Noël Pouchet, P. Sadayappan, Vivek Sarkar:
PIPES: a language and compiler for task-based programming on distributed-memory clusters. SC 2016: 456-467 - [c162]Rishi Surendran, Vivek Sarkar:
Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures. SPAA 2016: 95-97 - [c161]Tiago Cogumbreiro
, Jun Shirako, Vivek Sarkar:
Formalization of Phase Ordering. PLACES 2016: 13-24 - [e9]Vishakha Gupta-Cledat, Donald E. Porter, Vivek Sarkar:
Proceedings of the 12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Atlanta, GA, USA, April 2-3, 2016. ACM 2016, ISBN 978-1-4503-3947-6 [contents] - [i3]Max Grossman, Christopher Thiele, Mauricio Araya-Polo, Florian Frank, Faruk O. Alpak, Vivek Sarkar:
A survey of sparse matrix-vector multiplication performance on large matrices. CoRR abs/1608.00636 (2016) - 2015
- [j24]Shams Imam, Vivek Sarkar:
The Eureka Programming Model for Speculative Task Parallelism (Artifact). Dagstuhl Artifacts Ser. 1(1): 06:1-06:2 (2015) - [j23]Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar:
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [c160]Prasanth Chatarasi, Jun Shirako, Vivek Sarkar:
Polyhedral Optimizations of Explicitly Parallel Programs. PACT 2015: 213-226 - [c159]Kazuaki Ishizaki, Akihiro Hayashi, Gita Koblents, Vivek Sarkar:
Compiling and Optimizing Java 8 Programs for GPU Execution. PACT 2015: 419-431 - [c158]Prasanth Chatarasi, Vivek Sarkar:
Extending Polyhedral Model for Analysis and Transformation of OpenMP Programs. PACT 2015: 490-491 - [c157]Shams Imam, Vivek Sarkar:
The Eureka Programming Model for Speculative Task Parallelism. ECOOP 2015: 421-444 - [c156]Shams Imam, Vivek Sarkar:
Load Balancing Prioritized Tasks via Work-Stealing. Euro-Par 2015: 222-234 - [c155]Kamal Sharma, Ian Karlin, Jeff Keasler, James R. McGraw, Vivek Sarkar:
Data Layout Optimization for Portable Performance. Euro-Par 2015: 250-262 - [c154]Shams Imam, Jisheng Zhao, Vivek Sarkar:
A Composable Deadlock-Free Approach to Object-Based Isolation. Euro-Par 2015: 426-437 - [c153]Alina Simion Sbîrlea, Kunal Agrawal, Vivek Sarkar:
Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime. Euro-Par 2015: 491-503 - [c152]Vivek Kumar, Alina Simion Sbîrlea, Ajay Jayaraj, Zoran Budimlic, Deepak Majeti, Vivek Sarkar:
Heterogeneous work-stealing across CPU and DSP cores. HPEC 2015: 1-6 - [c151]Deepak Majeti, Vivek Sarkar:
Heterogeneous Habanero-C (H2C): A Portable Programming Model for Heterogeneous Processors. IPDPS Workshops 2015: 708-717 - [c150]Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar:
Model Checking Task Parallel Programs Using Gradual Permissions (N). ASE 2015: 535-540 - [c149]Alina Simion Sbîrlea, Jun Shirako, Louis-Noël Pouchet, Vivek Sarkar:
Polyhedral Optimizations for a Data-Flow Graph Language. LCPC 2015: 57-72 - [c148]Arghya Chatterjee, Timothy Newton, Tom Roush, Hunter Tidwell, Vivek Sarkar:
Exploiting parallelism in mobile devices. SPLASH (Companion Volume) 2015: 38-39 - [c147]Wei-Cheng Xiao, Jisheng Zhao, Vivek Sarkar:
Parallelizing a discrete event simulation application using the Habanero-Java multicore library. PMAM@PPoPP 2015: 86-95 - [c146]Max Grossman, Shams Imam, Vivek Sarkar:
HJ-OpenCL: Reducing the Gap Between the JVM and Accelerators. PPPJ 2015: 2-15 - [c145]Akihiro Hayashi, Kazuaki Ishizaki, Gita Koblents, Vivek Sarkar:
Machine-Learning-based Performance Heuristics for Runtime CPU/GPU Selection. PPPJ 2015: 27-36 - [c144]Akihiro Hayashi, Jisheng Zhao, Michael Ferguson, Vivek Sarkar:
LLVM-based communication optimizations for PGAS programs. LLVM@SC 2015: 1:1-1:11 - [c143]Maha Aziz, Heng Chi, Anant Tibrewal, Max Grossman, Vivek Sarkar:
Auto-grading for parallel programs. EduHPC@SC 2015: 3:1-3:8 - [c142]Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar:
Race Detection in Two Dimensions. SPAA 2015: 101-110 - [e8]Rajiv Gupta, Vivek Sarkar:
Federated Computing Research Conference, FCRC 2015, Portland, OR, USA, June 12-20, 2015 - Videos. ACM 2015, ISBN 978-1-4503-3966-7 [contents] - [e7]Laxmi N. Bhuyan, Fred Chong, Vivek Sarkar:
Proceedings of the 29th ACM on International Conference on Supercomputing, ICS'15, Newport Beach/Irvine, CA, USA, June 08 - 11, 2015. ACM 2015, ISBN 978-1-4503-3559-1 [contents] - [i2]Daniel Song, Jisheng Zhao, Michael G. Burke, Dragos Sbirlea, Dan S. Wallach, Vivek Sarkar:
Finding Tizen security bugs through whole-system static analysis. CoRR abs/1504.05967 (2015) - 2014
- [c141]Dragos Sbirlea, Zoran Budimlic, Vivek Sarkar:
Bounded memory scheduling of dynamic task graphs. PACT 2014: 343-356 - [c140]Deepak Majeti, Kuldeep S. Meel
, Rajkishore Barik, Vivek Sarkar:
ADHA: automatic data layout framework for heterogeneous architectures. PACT 2014: 479-480 - [c139]Shams Mahmood Imam, Vivek Sarkar:
Selectors: Actors with Multiple Guarded Mailboxes. AGERE!@SPLASH 2014: 1-14 - [c138]Shams Mahmood Imam, Vivek Sarkar:
Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries. AGERE!@SPLASH 2014: 67-80 - [c137]Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar:
Inter-iteration Scalar Replacement Using Array SSA Form. CC 2014: 40-60 - [c136]Shams Mahmood Imam, Vivek Sarkar:
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns. ECOOP 2014: 618-643 - [c135]Peter Elmers, Hongyu Li, Shams Mahmood Imam, Vivek Sarkar:
HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs. SPLASH (Companion Volume) 2014: 53-54 - [c134]Vivek Kumar, Yili Zheng, Vincent Cavé, Zoran Budimlic, Vivek Sarkar:
HabaneroUPC++: a Compiler-free PGAS Library. PGAS 2014: 5:1-5:10 - [c133]Shams Mahmood Imam, Vivek Sarkar, David Leibs, Peter B. Kessler:
Exploiting Implicit Parallelism in Dynamic Array Programming Languages. ARRAY@PLDI 2014: 1-7 - [c132]Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey
, Vivek Sarkar:
Test-driven repair of data races in structured parallel programs. PLDI 2014: 15-25 - [c131]Shams Mahmood Imam, Vivek Sarkar:
Habanero-Java library: a Java 8 framework for multicore programming. PPPJ 2014: 75-86 - [c130]Jun Shirako, Louis-Noël Pouchet, Vivek Sarkar:
Oil and Water Can Mix: An Integration of Polyhedral and AST-Based Transformations. SC 2014: 287-298 - [i1]Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar:
ADHA: Automatic Data layout framework for Heterogeneous Architectures. CoRR abs/1407.4859 (2014) - 2013
- [j22]Dragos Sbirlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar:
Automatic detection of inter-application permission leaks in Android applications. IBM J. Res. Dev. 57(6) (2013) - [j21]Rajkishore Barik, Jisheng Zhao, Vivek Sarkar:
A decoupled non-SSA global register allocation using bipartite liveness graphs. ACM Trans. Archit. Code Optim. 10(4): 63:1-63:24 (2013) - [j20]V. Krishna Nandivada
, Jun Shirako, Jisheng Zhao, Vivek Sarkar:
A Transformation Framework for Optimizing Task-Parallel Programs. ACM Trans. Program. Lang. Syst. 35(1): 3:1-3:48 (2013) - [c129]Rajkishore Barik, Jisheng Zhao, Vivek Sarkar:
Interprocedural strength reduction of critical sections in explicitly-parallel programs. PACT 2013: 29-40 - [c128]Deepak Majeti, Rajkishore Barik, Jisheng Zhao, Max Grossman, Vivek Sarkar:
Compiler-Driven Data Layout Transformation for Heterogeneous Platforms. Euro-Par Workshops 2013: 188-197 - [c127]Sanjay Chatterjee, Sagnak Tasirlar, Zoran Budimlic, Vincent Cavé, Milind Chabbi, Max Grossman, Vivek Sarkar, Yonghong Yan:
Integrating Asynchronous Task Parallelism with MPI. IPDPS 2013: 712-725 - [c126]Max Grossman, Maurício Breternitz Jr.
, Vivek Sarkar:
HadoopCL: MapReduce on Distributed Heterogeneous Platforms through Seamless Integration of Hadoop and OpenCL. IPDPS Workshops 2013: 1918-1927 - [c125]Jun Shirako, Priya Unnikrishnan, Sanjay Chatterjee, Kelvin Li, Vivek Sarkar:
Expressing DOACROSS Loop Dependences in OpenMP. IWOMP 2013: 30-44 - [c124]Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar:
Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs. LCPC 2013: 342-356 - [c123]Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Isolation for nested task parallelism. OOPSLA 2013: 571-588 - [c122]Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar:
Accelerating Habanero-Java programs with OpenCL generation. PPPJ 2013: 124-134 - [e6]Vivek Sarkar, Rastislav Bodík:
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013. ACM 2013, ISBN 978-1-4503-1870-9 [contents] - 2012
- [j19]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient data race detection for async-finish parallelism. Formal Methods Syst. Des. 41(3): 321-347 (2012) - [c121]Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam
, P. Sadayappan, Vivek Sarkar:
Analytical Bounds for Optimal Tile Size Selection. CC 2012: 101-121 - [c120]Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar:
Practical Permissions for Race-Free Parallelism. ECOOP 2012: 614-639 - [c119]Priya Unnikrishnan, Jun Shirako, Kit Barton, Sanjay Chatterjee, Raúl Silvera, Vivek Sarkar:
A Practical Approach to DOACROSS Parallelization. Euro-Par 2012: 219-231 - [c118]Dragos Sbirlea, Kathleen Knobe, Vivek Sarkar:
Folding of Tagged Single Assignment Values for Memory-Efficient Parallelism. Euro-Par 2012: 601-613 - [c117]Jun Shirako, Vincent Cavé, Jisheng Zhao, Vivek Sarkar:
Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism. LCPC 2012: 264-265 - [c116]Alina Simion Sbîrlea, Yi Zou, Zoran Budimlic, Jason Cong, Vivek Sarkar:
Mapping a data-flow programming model onto heterogeneous platforms. LCTES 2012: 61-70 - [c115]Shams Mahmood Imam, Vivek Sarkar:
Integrating task parallelism with actors. OOPSLA 2012: 753-772 - [c114]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Scalable and precise dynamic datarace detection for structured parallelism. PLDI 2012: 531-542 - [c113]Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar:
Design, verification and applications of a new read-write lock algorithm. SPAA 2012: 48-57 - 2011
- [j18]Jason Cong, Glenn Reinman, Alex A. T. Bui, Vivek Sarkar:
Customizable Domain-Specific Computing. IEEE Des. Test Comput. 28(2): 6-15 (2011) - [c112]Mackale Joyner, Zoran Budimlic, Vivek Sarkar:
Subregion Analysis and Bounds Check Elimination for High Level Arrays. CC 2011: 246-265 - [c111]Riyaz Haque, David M. Peixotto, Vivek Sarkar:
CnC-Hadoop: a graphical coordination language for distributed multiscale parallelism. Conf. Computing Frontiers 2011: 18 - [c110]Yonghong Yan, Sanjay Chatterjee, Daniel A. Orozco, Elkin Garcia, Zoran Budimlic, Jun Shirako, Robert S. Pavel, Guang R. Gao, Vivek Sarkar:
Hardware and Software Tradeoffs for Task Synchronization on Manycore Architectures. Euro-Par (2) 2011: 112-123 - [c109]Sagnak Tasirlar, Vivek Sarkar:
Data-Driven Tasks and Their Implementation. ICPP 2011: 652-661 - [c108]Rajkishore Barik, Jisheng Zhao, David Grove
, Igor Peshansky, Zoran Budimlic, Vivek Sarkar:
Communication Optimizations for Distributed-Memory X10 Programs. IPDPS 2011: 1101-1113 - [c107]Jun Shirako, Kamal Sharma, Vivek Sarkar:
Unifying Barrier and Point-to-Point Synchronization in OpenMP with Phasers. IWOMP 2011: 122-137 - [c106]Sanjay Chatterjee, Max Grossman, Alina Simion Sbîrlea, Vivek Sarkar:
Dynamic Task Parallelism with a GPU Work-Stealing Runtime System. LCPC 2011: 203-217 - [c105]Vincent Cavé, Jarred Payne, Raghavan Raman, Mathias Ricken, Corky Cartwright, Vivek Sarkar:
DrHJ: the cure to your multicore programming woes. OOPSLA Companion 2011: 5-6 - [c104]Zoran Budimlic, Vincent Cavé, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Jisheng Zhao, Vivek Sarkar:
The design and implementation of the habanero-java parallel programming language. OOPSLA Companion 2011: 185-186 - [c103]Jisheng Zhao, Vivek Sarkar:
Intermediate language extensions for parallelism. SPLASH Workshops 2011: 329-340 - [c102]Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Delegated isolation. OOPSLA 2011: 885-902 - [c101]Vincent Cavé, Jisheng Zhao, Jun Shirako, Vivek Sarkar:
Habanero-Java: the new adventures of old X10. PPPJ 2011: 51-61 - [c100]Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar:
DrHJ: a lightweight pedagogic IDE for Habanero Java. PPPJ 2011: 147-150 - [c99]Yonghong Yan, Sanjay Chatterjee, Zoran Budimlic, Vivek Sarkar:
Integrating MPI with Asynchronous Task Parallelism. EuroMPI 2011: 333-336 - [c98]Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar:
Permission Regions for Race-Free Parallelism. RV 2011: 94-109 - [e5]Lawrence Rauchwerger, Vivek Sarkar:
2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1794-9 [contents] - [e4]Keith D. Cooper, John M. Mellor-Crummey, Vivek Sarkar:
Languages and Compilers for Parallel Computing - 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6548, Springer 2011, ISBN 978-3-642-19594-5 [contents] - [r1]Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar:
Concurrent Collections Programming Model. Encyclopedia of Parallel Computing 2011: 364-371 - 2010
- [j17]Vivek Sarkar:
Building confidence in multicore software. Commun. ACM 53(6): 96 (2010) - [j16]Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar:
Concurrent Collections. Sci. Program. 18(3-4): 203-217 (2010) - [c97]Jisheng Zhao, Jun Shirako, V. Krishna Nandivada
, Vivek Sarkar:
Reducing task creation and termination overhead in explicitly parallel programs. PACT 2010: 169-180 - [c96]Rajkishore Barik, Jisheng Zhao, Vivek Sarkar:
Automatic vector instruction selection for dynamic compilation. PACT 2010: 573-574 - [c95]Chen Chen, Joseph B. Manzano
, Ge Gan, Guang R. Gao, Vivek Sarkar:
A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures. Euro-Par (2) 2010: 341-352 - [c94]Josep Torrellas, Bill Gropp, Vivek Sarkar, Jaime H. Moreno, Kunle Olukotun:
Extreme scale computing: Challenges and opportunities. HPCA 2010: 1 - [c93]Yi Guo, Jisheng Zhao, Vincent Cavé, Vivek Sarkar:
SLAW: A scalable locality-aware adaptive work-stealing scheduler. IPDPS 2010: 1-12 - [c92]Jun Shirako, Vivek Sarkar:
Hierarchical phasers for scalable synchronization and reductions in dynamic parallelism. IPDPS 2010: 1-12 - [c91]Max Grossman, Alina Simion Sbîrlea, Zoran Budimlic, Vivek Sarkar:
CnC-CUDA: Declarative Programming for GPUs. LCPC 2010: 230-245 - [c90]Rajkishore Barik, Jisheng Zhao, Vivek Sarkar:
Efficient Selection of Vector Instructions Using Dynamic Programming. MICRO 2010: 201-212 - [c89]Vincent Cavé, Zoran Budimlic, Vivek Sarkar:
Comparing the usability of library vs. language approaches to task parallelism. PLATEAU 2010: 9:1-9:6 - [c88]Josep Torrellas, Bill Gropp, Jaime H. Moreno, Kunle Olukotun, Vivek Sarkar:
Extreme scale computing: challenges and opportunities. PPoPP 2010: 101-102 - [c87]Yi Guo, Yisheng Zhao, Vincent Cavé, Vivek Sarkar:
SLAW: a scalable locality-aware adaptive work-stealing scheduler for multi-core systems. PPoPP 2010: 341-342 - [c86]Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient Data Race Detection for Async-Finish Parallelism. RV 2010: 368-383 - [c85]Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar:
Automatic Verification of Determinism for Structured Parallel Programs. SAS 2010: 455-471
2000 – 2009
- 2009
- [j15]Barbara M. Chapman, Jesús Labarta
, Vivek Sarkar, Mitsuhisa Sato:
Programmability Issues. Int. J. High Perform. Comput. Appl. 23(4): 328-331 (2009) - [c84]Rajkishore Barik, Vivek Sarkar:
Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs. PACT 2009: 41-52 - [c83]Vivek Sarkar:
Challenges in Code Optimization of Parallel Programs. CC 2009: 1 - [c82]Yonghong Yan, Max Grossman, Vivek Sarkar:
JCUDA: A Programmer-Friendly Interface for Accelerating Java Programs with CUDA. Euro-Par 2009: 887-899 - [c81]Jun Shirako, Jisheng M. Zhao, V. Krishna Nandivada
, Vivek Sarkar:
Chunking parallel loops in the presence of synchronization. ICS 2009: 181-192 - [c80]Yi Guo, Rajkishore Barik, Raghavan Raman, Vivek Sarkar:
Work-first and help-first scheduling policies for async-finish task parallelism. IPDPS 2009: 1-12 - [c79]Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III:
Phaser accumulators: A new reduction construct for dynamic parallelism. IPDPS 2009: 1-12 - [c78]Yonghong Yan, Jisheng Zhao, Yi Guo, Vivek Sarkar:
Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement. LCPC 2009: 172-187 - [c77]Rajkishore Barik, Zoran Budimlic, Vincent Cavé, Sanjay Chatterjee, Yi Guo, David M. Peixotto, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Yonghong Yan, Yisheng Zhao, Vivek Sarkar:
The habanero multicore software research project. OOPSLA Companion 2009: 735-736 - [c76]Zoran Budimlic, Aparna Chandramowlishwaran
, Kathleen Knobe, Geoff N. Lowney, Vivek Sarkar, Leo Treggiari:
Declarative aspects of memory management in the concurrent collections parallel programming model. DAMP 2009: 47-58 - [e3]Daniel A. Reed, Vivek Sarkar:
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009. ACM 2009, ISBN 978-1-60558-397-6 [contents] - 2008
- [c75]Vivek Sarkar:
Code optimization of parallel programs: evolutionary vs. revolutionary approaches. CGO 2008: 1 - [c74]Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III:
Phasers: a unified deadlock-free construct for collective and point-to-point synchronization. ICS 2008: 277-288 - [c73]Mackale Joyner, Zoran Budimlic, Vivek Sarkar, Rui Zhang:
Array optimizations for parallel implementations of high productivity languages. IPDPS 2008: 1-8 - [c72]Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao:
Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections. LCPC 2008: 141-155 - [c71]Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
Type inference for locality analysis of distributed data structures. PPoPP 2008: 11-22 - 2007
- [c70]Vivek Sarkar, Rajkishore Barik:
Extended Linear Scan: An Alternate Foundation for Global Register Allocation. CC 2007: 141-155 - [c69]Vivek Sarkar:
Programming Challenges for Petascale and Multicore Parallel Systems. HPCC 2007: 1 - [c68]Mackale Joyner, Zoran Budimlic, Vivek Sarkar:
Optimizing Array Accesses in High Productivity Languages. HPCC 2007: 432-445 - [c67]Jun Shirako, Hironori Kasahara
, Vivek Sarkar:
Language Extensions in Support of Compiler Parallelization. LCPC 2007: 78-94 - [c66]Yuan Zhang, Vugranam C. Sreedhar, Weirong Zhu, Vivek Sarkar, Guang R. Gao:
Optimized lock assignment and allocation: a method for exploiting concurrency among critical sections. PPoPP 2007: 146-147 - [c65]Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar:
May-happen-in-parallel analysis of X10 programs. PPoPP 2007: 183-193 - [c64]Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun:
X10: concurrent programming for modern architectures. PPoPP 2007: 271 - [c63]Shivali Agarwal, Rajkishore Barik, Dan Bonachea
, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick:
Deadlock-free scheduling of X10 computations with bounded resources. SPAA 2007: 229-240 - 2006
- [c62]Rajkishore Barik
, Vivek Sarkar:
Enhanced Bitwidth-Aware Register Allocation. CC 2006: 263-276 - [c61]Mukund Raghavachari, Vivek Sarkar:
The Role of Programming Languages in Future Data-Centric and Net-Centric Applications. ICDCIT 2006: 1-13 - 2005
- [j14]Igor Pechtchanski, Vivek Sarkar:
Immutability specification and its applications. Concurr. Pract. Exp. 17(5-6): 639-662 (2005) - [j13]Bowen Alpern, Steve Augart, Stephen M. Blackburn
, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove
, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss
, Ton Anh Ngo, Vivek Sarkar, Martin Trapp:
The Jikes Research Virtual Machine project: Building an open-source research community. IBM Syst. J. 44(2): 399-418 (2005) - [c60]Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar
:
X10: an object-oriented approach to non-uniform cluster computing. OOPSLA 2005: 519-538 - [c59]Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar:
XJ: facilitating XML processing in Java. WWW 2005: 278-287 - [e2]Vivek Sarkar, Mary W. Hall:
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005. ACM 2005, ISBN 1-59593-056-6 [contents] - 2004
- [c58]Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar:
Decentralizing execution of composite web services. OOPSLA 2004: 170-187 - [c57]Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar:
XJ: integration of XML processing into java. WWW (Alternate Track Papers & Posters) 2004: 340-341 - 2003
- [c56]Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, Rajesh Bordawekar, Michael G. Burke:
Integrating Database and Programming Language Constraints. DBPL 2003: 90-109 - [c55]Vivek Sarkar:
PPPJ 2003: invited talk. PPPJ 2003: 165 - 2002
- [c54]Igor Pechtchanski, Vivek Sarkar:
Immutability specification and its applications. Java Grande 2002: 202-211 - [c53]Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan:
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. PLDI 2002: 258-269 - 2001
- [j12]Vivek Sarkar:
Optimized Unrolling of Nested Loops. Int. J. Parallel Program. 29(5): 545-581 (2001) - [j11]Chandra Krintz, David Grove
, Vivek Sarkar, Brad Calder:
Reducing the overhead of dynamic compilation. Softw. Pract. Exp. 31(8): 717-738 (2001) - [c52]Vivek Sarkar, Stephen J. Fink:
Efficient Dependence Analysis for Java Arrays. Euro-Par 2001: 273-277 - [c51]Vivek Sarkar, Julian Dolby:
High-Performance Scalable Java Virtual Machines. HiPC 2001: 151-166 - [c50]Vivek Sarkar, Mauricio J. Serrano, Barbara B. Simons:
Register-sensitive selection, duplication, and sequencing of instructions. ICS 2001: 277-288 - [c49]Igor Pechtchanski, Vivek Sarkar:
Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. OOPSLA 2001: 195-210 - [c48]Jan-Willem Maessen, Vivek Sarkar, David Grove
:
Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE 2001: 62-65 - 2000
- [j10]Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove
, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar
, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley:
The Jalapeño virtual machine. IBM Syst. J. 39(1): 211-238 (2000) - [j9]Jacob Harris, Vivek Sarkar:
Lightweight Object-Oriented Shared Variables for Cluster Computing in Java. J. Parallel Distributed Comput. 60(10): 1238-1259 (2000) - [j8]Guang R. Gao, Vivek Sarkar:
Location Consistency-A New Memory Model and Cache Consistency Protocol. IEEE Trans. Computers 49(8): 798-813 (2000) - [c47]Matthew Arnold, Stephen J. Fink, Vivek Sarkar, Peter F. Sweeney:
A comparative study of static and profile-based heuristics for inlining. Dynamo 2000: 52-64 - [c46]Ron Cytron, Vivek Sarkar:
Dynamic compilation in Jalapeño (Panel Session). Dynamo 2000: 78 - [c45]Vivek Sarkar:
Optimized unrolling of nested loops. ICS 2000: 153-166 - [c44]Vivek Sarkar, Nimrod Megiddo:
An analytical model for loop tiling and its solution. ISPASS 2000: 146-153 - [c43]Rastislav Bodík, Rajiv Gupta, Vivek Sarkar:
ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333 - [c42]Stephen J. Fink, Kathleen Knobe, Vivek Sarkar:
Unified Analysis of Array and Object References in Strongly Typed Languages. SAS 2000: 155-174
1990 – 1999
- 1999
- [j7]Rajiv Gupta
, Santosh Pande
, Kleanthis Psarris, Vivek Sarkar:
Compilation techniques for parallel systems. Parallel Comput. 25(13-14): 1741-1783 (1999) - [j6]Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar:
Efficient and precise modeling of exceptions for the analysis of Java programs. ACM SIGSOFT Softw. Eng. Notes 24(5): 21-31 (1999) - [j5]Massimiliano Poletto, Vivek Sarkar
:
Linear scan register allocation. ACM Trans. Program. Lang. Syst. 21(5): 895-913 (1999) - [c41]Michael G. Burke, Jong-Deok Choi, Stephen J. Fink, David Grove
, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley:
The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande 1999: 129-141 - [c40]Craig Chambers, Igor Pechtchanski, Vivek Sarkar, Mauricio J. Serrano, Harini Srinivasan:
Dependence Analysis for Java. LCPC 1999: 35-52 - [c39]Jong-Deok Choi, David Grove
, Michael Hind, Vivek Sarkar:
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. PASTE 1999: 21-31 - 1998
- [c38]Walter Lee, Rajeev Barua, Matthew I. Frank, Devabhaktuni Srikrishna, Jonathan Babb, Vivek Sarkar, Saman P. Amarasinghe
:
Space-Time Scheduling of Instruction-Level Parallelism on a Raw Machine. ASPLOS 1998: 46-57 - [c37]Vivek Sarkar:
Optimized Execution of Fortran 90 Array Language on Symmetric Shared-Memory Multiprocessors. LCPC 1998: 131-147 - [c36]Vivek Sarkar:
Loop Transformations for Hierarchical Parallelism and Locality. LCR 1998: 57-74 - [c35]Jacob Harris, Vivek Sarkar:
Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet. OOPSLA 1998: 296-309 - [c34]Kathleen Knobe, Vivek Sarkar:
Array SSA Form and Its Use in Parallelization. POPL 1998: 107-120 - [c33]Vivek Sarkar, Kathleen Knobe:
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. SAS 1998: 33-56 - 1997
- [j4]Elliot Waingold, Michael B. Taylor, Devabhaktuni Srikrishna, Vivek Sarkar
, Walter Lee, Victor Lee, Jang Kim, Matthew I. Frank, Peter Finch, Rajeev Barua, Jonathan Babb, Saman P. Amarasinghe, Anant Agarwal:
Baring It All to Software: Raw Machines. Computer 30(9): 86-93 (1997) - [j3]Vivek Sarkar:
Automatic selection of high-order transformations in the IBM XL FORTRAN compilers. IBM J. Res. Dev. 41(3): 233-264 (1997) - [c32]Jyh-Herng Chow, Vivek Sarkar:
False Sharing Elimination by Selection of Runtime Scheduling Parameters. ICPP 1997: 396-403 - [c31]Guang R. Gao, Vivek Sarkar:
On the Importance of an End-To-End View of Memory Consistency in Future Computer Systems. ISHPC 1997: 30-41 - [c30]Vivek Sarkar:
Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation. LCPC 1997: 94-113 - [c29]Nimrod Megiddo, Vivek Sarkar
:
Optimal Weighted Loop Fusion for Parallel Programs. SPAA 1997: 282-291 - 1996
- [c28]Jyh-Herng Chow, Leonard E. Lyon, Vivek Sarkar:
Automatic parallelization for symmetric shared-memory multiprocessors. CASCON 1996: 5 - [c27]Jong-Deok Choi, Vivek Sarkar, Edith Schonberg:
Incremental Computation of Static Single Assignment Form. CC 1996: 223-237 - [c26]Vivek Sarkar, Guang R. Gao, Shaohua Han:
Locality Analysis for Distributed Shared-Memory Multiprocessors. LCPC 1996: 20-40 - [c25]Vivek Sarkar, Barbara Simons:
Anticipatory Instruction Scheduling. SPAA 1996: 119-130 - 1995
- [c24]Jyh-Herng Chow, Yong-Fong Lee, Kalyan Muthukumar, Vivek Sarkar, Mauricio J. Serrano, Iris Garcia, John Hsu, Shauchi Ong, Honesty C. Young:
Optimized code restructuring of OS/2 executables. CASCON 1995: 12 - [c23]Guang R. Gao, Vivek Sarkar:
Location Consistency: Stepping Beyond the Memory Coherence Barrier. ICPP (2) 1995: 73-76 - [c22]Tao Yang, Cong Fu, Apostolos Gerasoulis, Vivek Sarkar:
Mapping Iterative Task Graphs on Distributed Memory Machines. ICPP (2) 1995: 151-158 - [c21]Tao Yang, Pedro C. Diniz, Apostolos Gerasoulis, Vivek Sarkar:
Scheduling Iterative Task Computation on Message-Passing Architectures. PP 1995: 581-586 - 1994
- [j2]Burt Halstead, David Callahan, Jack B. Dennis, R. S. Nikhil, Vivek Sarkar:
Programming, compilation, and resource management issues for multithreading (panel session II). SIGARCH Comput. Archit. News 22(1): 19-33 (1994) - [c20]David F. Bacon, Jyh-Herng Chow, Dz-Ching Ju, Kalyan Muthukumar, Vivek Sarkar:
A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness. CASCON 1994: 3 - [c19]Vivek Sarkar, Lelia A. Vazquez:
Automatic Localization for Distributed-Memory Multiprocessors Using a Shared-Memory Compilation Framework. HICSS (2) 1994: 4-13 - [c18]Barbara Simons, Vivek Sarkar, Maurício Breternitz Jr., Michael Lai:
An Optimal Asynchronous Scheduling Algorithm for Software Cache Consistence. HICSS (2) 1994: 502-511 - [c17]Boleslaw K. Szymanski
, John Feo, J. Hicks, J. Jagannathan, Vivek Sarkar, David B. Skillicorn:
Is there a future for functional languages in parallel programming? ICCL 1994: 299-304 - [e1]Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa:
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, ISBN 0-89791-662-X [contents] - 1993
- [c16]Vivek Sarkar, Barbara Simons:
Parallel Program Graphs and their Classification. LCPC 1993: 633-655 - 1992
- [c15]Vivek Sarkar:
A Concurrent Execution Semantics for Parallel Program Graphs and Program Dependence Graphs. LCPC 1992: 16-30 - [c14]Guang R. Gao, Russell Olsen, Vivek Sarkar, Radhika Thekkath:
Collective Loop Fusion for Array Contraction. LCPC 1992: 281-295 - [c13]Vivek Sarkar, Radhika Thekkath:
A General Framework for Iteration-Reordering Loop Transformations. PLDI 1992: 175-187 - 1991
- [j1]Vivek Sarkar:
Automatic partitioning of a program dependence graph into parallel tasks. IBM J. Res. Dev. 35(5): 779-804 (1991) - [c12]Vivek Sarkar, Guang R. Gao:
Optimization of array accesses by collective loop transformations. ICS 1991: 194-205 - [c11]Jeanne Ferrante, Vivek Sarkar, W. Thrash:
On Estimating and Enhancing Cache Effectiveness. LCPC 1991: 328-343 - 1990
- [c10]Vivek Sarkar, David C. Cann:
POSC - a partitioning and optimizing SISAL compiler. ICS 1990: 148-164 - [c9]Vivek Sarkar:
Instruction Reordering for Fork-Join Parallelism. PLDI 1990: 322-336 - [c8]Ron Cytron, Jeanne Ferrante, Vivek Sarkar:
Compact Representations for Control Dependence. PLDI 1990: 337-351
1980 – 1989
- 1989
- [c7]Vivek Sarkar:
Determining Average Program Execution Times and their Variance. PLDI 1989: 298-312 - 1988
- [c6]Karthikeyan S. Natarajan, Vivek Sarkar:
Processor Scheduling Algorithms for Constraint-Satisfaction Search Problems. ICPP (2) 1988: 140-149 - [c5]Vivek Sarkar:
Synchronization using counting semaphores. ICS 1988: 627-637 - [c4]Kourosh Gharachorloo, Vivek Sarkar, John L. Hennessy:
A Simple and Efficient Implmentation Approach for Single Assignment Languages. LISP and Functional Programming 1988: 259-268 - [c3]Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh, Vivek Sarkar, David Shields:
Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract). PPOPP/PPEALS 1988: 77-84 - 1986
- [c2]Vivek Sarkar, John L. Hennessy:
Partitioning Parallel Programs for Macro-Dataflow. LISP and Functional Programming 1986: 202-211 - [c1]Vivek Sarkar, John L. Hennessy:
Compile-time partitioning and scheduling of parallel programs. SIGPLAN Symposium on Compiler Construction 1986: 17-26
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-14 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint