no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- MemoryModel
- CHESS
- Microsoft
- Testing
- HTM
- RaceFree
- Scheduling
- STM
- SC
- Memory
- Automaton
- Scalability
- testing
- SequentialConsistency
- Regions
- Implementation
- TSO
- Simulation
- unit
- TiC'10
- Benchmarks
- State
- Hardware
- Racy
- Clang
- TM
- LLVM
- Instruction
- Performance
- Tree
- Parallelism
- Concurrency
- tests
- Processor
- Schedules
- Locality
- Region
- Multi-Thread
- parallelism
- concurrency
- No matching items.
- Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, and Madan Musuvathi. IEEE Micro 99(1):1 (5555)Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, and Madan Musuvathi. IEEE Micro 99(1):1 (5555)a month and 3 days agoby gron1
- John Erickson, Stephen N. Freund, and Madanlal Musuvathi. RV, volume 7687 of Lecture Notes in Computer Science, page 1. Springer, (2012)John Erickson, Stephen N. Freund, and Madanlal Musuvathi. RV, volume 7687 of Lecture Notes in Computer Science, page 1. Springer, (2012)3 months and 25 days agoby dblp1
- Shuvendu K. Lahiri, and Madanlal Musuvathi. FroCoS, volume 3717 of Lecture Notes in Computer Science, page 168-183. Springer, (2005)Shuvendu K. Lahiri, and Madanlal Musuvathi. FroCoS, volume 3717 of Lecture Notes in Computer Science, page 168-183. Springer, (2005)4 months and 14 days agoby dblp1
- Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang. DISC, volume 7611 of Lecture Notes in Computer Science, page 31-45. Springer, (2012)Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang. DISC, volume 7611 of Lecture Notes in Computer Science, page 31-45. Springer, (2012)7 months agoby dblp1
- Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, and Madanlal Musuvathi. ISCA, page 524-535. IEEE, (2012)Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, and Madanlal Musuvathi. ISCA, page 524-535. IEEE, (2012)10 months agoby dblp1
- Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, and Madanlal Musuvathi. PLDI, page 543-554. ACM, (2012)Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, and Madanlal Musuvathi. PLDI, page 543-554. ACM, (2012)11 months agoby dblp1
- Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. OSDI, USENIX Association, (2002)Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, and David L. Dill. OSDI, USENIX Association, (2002)a year agoby dblp1
- Junfeng Yang, Paul Twohey, Dawson R. Engler, and Madanlal Musuvathi. OSDI, page 273-288. USENIX Association, (2004)Junfeng Yang, Paul Twohey, Dawson R. Engler, and Madanlal Musuvathi. OSDI, page 273-288. USENIX Association, (2004)a year agoby dblp1
- Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)a year and 2 months agoby dblp1
- Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang. ESOP, volume 7211 of Lecture Notes in Computer Science, page 87-107. Springer, (2012)Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, and Hongseok Yang. ESOP, volume 7211 of Lecture Notes in Computer Science, page 87-107. Springer, (2012)a year and 2 months agoby dblp1
- Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, and Stephen Toub. SIGCSE, page 189-194. ACM, (2011)Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, and Stephen Toub. SIGCSE, page 189-194. ACM, (2011)a year and 2 months agoby dblp1
- Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, and Madan Musuvathi. CoRR (2008)Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, and Madan Musuvathi. CoRR (2008)a year and 5 months agoby dblp1
- Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, and Shaz Qadeer. IEEE Software 28(3):75-83 (2011)Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, and Shaz Qadeer. IEEE Software 28(3):75-83 (2011)a year and 6 months agoby dblp1
- John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. OSDI, page 151-162. USENIX Association, (2010)John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk. OSDI, page 151-162. USENIX Association, (2010)a year and 9 months agoby dblp1
- K. Rustan M. Leino, Madan Musuvathi, and Xinming Ou. TACAS, volume 3440 of Lecture Notes in Computer Science, page 334-348. Springer, (2005)K. Rustan M. Leino, Madan Musuvathi, and Xinming Ou. TACAS, volume 3440 of Lecture Notes in Computer Science, page 334-348. Springer, (2005)a year and 9 months agoby dblp1
- Dawson R. Engler, and Madanlal Musuvathi. VMCAI, volume 2937 of Lecture Notes in Computer Science, page 191-210. Springer, (2004)Dawson R. Engler, and Madanlal Musuvathi. VMCAI, volume 2937 of Lecture Notes in Computer Science, page 191-210. Springer, (2004)a year and 10 months agoby dblp1
- Madanlal Musuvathi, and Dawson R. Engler. Electr. Notes Theor. Comput. Sci. 89(3):378-404 (2003)Madanlal Musuvathi, and Dawson R. Engler. Electr. Notes Theor. Comput. Sci. 89(3):378-404 (2003)a year and 11 months agoby dblp1
- Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, and Satish Narayanasamy. PLDI, page 199-210. ACM, (2011)Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, and Satish Narayanasamy. PLDI, page 199-210. ACM, (2011)a year and 11 months agoby dblp1
- Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, and Madan Musuvathi. (2011)Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, and Madan Musuvathi. (2011)2 years and a month agoby gron2
- Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, and Satish Narayanasamy. (2010)Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, and Satish Narayanasamy. (2010)2 years and a month agoby gron2