Vivek Sarkar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Elastic tasks: unifying task parallelism and SPMD parallelism with an adaptive runtime	2018-01-11	Paper
Formalization of Habanero phasers using Coq Journal of Logical and Algebraic Methods in Programming	2017-07-04	Paper
Efficient data race detection for async-finish parallelism Formal Methods in System Design	2014-03-28	Paper
Automatic verification of determinism for structured parallel programs Static Analysis	2010-10-01	Paper
scientific article; zbMATH DE number 2080879 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1863277 (Why is no real title available?)	2003-02-04	Paper
Unconstrained static scheduling with communication weights Journal of Scheduling	2002-12-17	Paper
Optimized unrolling of nested loops International Journal of Parallel Programming	2002-09-18	Paper
Reducing the overhead of dynamic compilation Software. Practice & Experience	2001-11-19	Paper
scientific article; zbMATH DE number 1617322 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 833720 (Why is no real title available?)	1996-03-05	Paper
scientific article; zbMATH DE number 42110 (Why is no real title available?)	1993-01-23	Paper

Research outcomes over time

This page was built for person: Vivek Sarkar