Search for Author All Reviews
	Musuvathi, Madanlal     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews        SC-Haskell: sequential consistency in languages that minimize mutable shared heap Vollmer M., Scott R., Musuvathi M., Newton R.  PPoPP 2017 (Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Austin, TX, Feb 4-8, 2017) 283-298, 2017.  Type: Proceedings Concurrency remains a hard problem. Efficient concurrency is even harder. But what if there were a setting where writing correct concurrent programs was significantly easier, at a very modest cost in efficiency? Too good to be true, ri...... Aug 11 2017     On the verification problem for weak memory models Atig M., Bouajjani A., Burckhardt S., Musuvathi M. ACM SIGPLAN Notices 45(1): 7-18, 2010.  Type: Article Modern shared-memory multiprocessor systems have to deal with the fact that the shared main memory is slow. Hence, for top performance, these systems rely heavily on caches and on certain relaxations in the order of memory accesses. Th...... May 5 2010     Iterative context bounding for systematic testing of multithreaded programs Musuvathi M., Qadeer S.  Programming language design and implementation (Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, Jun 10-13, 2007) 446-455, 2007.  Type: Proceedings An interesting technique for systematic and efficient exploration of executions of multithreaded programs for finding bugs is proposed in this paper. The class of programs considered is shared variable programs. The efficiency arises o...... Aug 15 2007
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy