Vivek Sarkar

From MaRDI portal
Person:698455

Available identifiers

zbMath Open sarkar.vivekMaRDI QIDQ698455

List of research outcomes





PublicationDate of PublicationType
Elastic tasks: unifying task parallelism and SPMD parallelism with an adaptive runtime2018-01-11Paper
Formalization of Habanero phasers using Coq2017-07-04Paper
Efficient data race detection for async-finish parallelism2014-03-28Paper
Automatic Verification of Determinism for Structured Parallel Programs2010-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44739242004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q47919022003-02-04Paper
Unconstrained static scheduling with communication weights2002-12-17Paper
Optimized unrolling of nested loops2002-09-18Paper
Reducing the overhead of dynamic compilation2001-11-19Paper
https://portal.mardi4nfdi.de/entity/Q27220552001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q48602131996-03-05Paper
https://portal.mardi4nfdi.de/entity/Q39949331993-01-23Paper

Research outcomes over time

This page was built for person: Vivek Sarkar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:698455&oldid=7754051"
Powered by MediaWiki