Sanjoy Ghosh

Learn More
One of the major difficulties of explicit parallel programming for a shared memory machine model is detecting the potential for nondeterminacy and identifying its causes. There will often be shared variables in a parallel program, and the tasks comprising the program may need to be synchronized when accessing these variables. This paper discusses this(More)
— Shared-memory parallel programs are often designed to be deterministic, both in their final results and intermediate states. However, debugging such programs requires a mechanism for locating race conditions or violations of the intended determinacy when they occur. This paper answers a previously open question by presenting the first precise, efficient(More)
Optimization of the fermentation conditions for chitin deacetylase (CDA) production by Penicillium oxali-cum SAE M-51 was undertaken in the present study using central composite design (CCD) under submerged condition. CDA is widely employed for bio-catalytic conversion of chitin to chitosan. Chitosan is a biopolymer with immense commercial potential in(More)
Parallel programs are signiicantly diierent from sequential programs in the sense that they can exhibit timing-dependent behaviour. The same program with the same input data can produce diierent results on diierent executions. This is unacceptable for a large number of programs. The main focus of this thesis is techniques to automatically detect such(More)
  • 1