Bratin Saha, Ph.D.

2002

Zhong Shao	grad student	2002	Yale
(A type system for certified runtime type analysis.)

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Yan S, Zhou X, Gao Y, et al. (2011) Optimizing a shared virtual memory system for a heterogeneous CPU-accelerator platform Acm Sigops Operating Systems Review. 45: 92-100
Menon V, Balensiefer S, Shpeisman T, et al. (2008) Single global lock semantics in a weakly atomic STM Sigplan Notices. 43: 15-26
Adl-Tabatabai A, Kozyrakis C, Saha B. (2006) Unlocking Concurrency Acm Queue. 4: 24-33
Shao Z, Trifonov V, Saha B, et al. (2005) A type system for certified binaries Acm Transactions On Programming Languages and Systems. 27: 1-45
Saha B, Trifonov V, Shao Z. (2003) Intensional analysis of quantified types Acm Transactions On Programming Languages and Systems. 25: 159-209
Saha B, Shao Z. (1998) Optimal Type Lifting Lecture Notes in Computer Science. 156-177