☰

Bratin Saha, Ph.D. - Publications

Affiliations: 
2002 Yale University, New Haven, CT 
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2011 Yan S, Zhou X, Gao Y, Chen H, Wu G, Luo S, Saha B. Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform Acm Sigops Operating Systems Review. 45: 92-100. DOI: 10.1145/1945023.1945035  0.331
2008 Menon V, Balensiefer S, Shpeisman T, Adl-Tabatabai A, Hudson RL, Saha B, Welc A. Single global lock semantics in a weakly atomic STM Sigplan Notices. 43: 15-26. DOI: 10.1145/1402227.1402235  0.34
2006 Adl-Tabatabai A, Kozyrakis C, Saha B. Unlocking Concurrency Acm Queue. 4: 24-33. DOI: 10.1145/1189276.1189288  0.329
2005 Shao Z, Trifonov V, Saha B, Papaspyrou N. A type system for certified binaries Acm Transactions On Programming Languages and Systems. 27: 1-45. DOI: 10.1145/1053468.1053469  0.545
2003 Saha B, Trifonov V, Shao Z. Intensional analysis of quantified types Acm Transactions On Programming Languages and Systems. 25: 159-209. DOI: 10.1145/641888.641889  0.556
1998 Saha B, Shao Z. Optimal Type Lifting Lecture Notes in Computer Science. 156-177. DOI: 10.1007/Bfb0055517  0.553
Show low-probability matches.