MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Bratin Saha" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Optimal Type Lifting  
  • by Bratin Saha, Zhong Shao — 1998 — In Second Workshop on Types in Compilation
  • …Optimal Type Lifting ? Bratin Saha and Zhong Shao Dept. of Computer Science Yale University New…
  • Cited by 12 (2 self) – Add To MetaCart
  • Subtransitive CFA using Types  
  • by Bratin Saha, Bratin Saha, Nevin Heintze, Nevin Heintze, Dino Oliva, Dino Oliva — 1998
  • …Yale University Department of Computer Science Subtransitive CFA using Types Bratin Saha Nevin…
  • Cited by 3 (0 self) – Add To MetaCart
  • Fully Reflexive Intensional Type Analysis  
  • by Valery Trifonov, Bratin Saha, Zhong Shao — 2000 — In Fifth ACM SIGPLAN International Conference on Functional Programming
  • …Fully Reflexive Intensional Type Analysis # Valery Trifonov Bratin Saha Zhong Shao Department…
  • Cited by 41 (7 self) – Add To MetaCart
  • A type system for certified binaries  
  • by Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou — 2002 — In ACM Symposium on Principles of Programming Languages
  • …A Type System for Certified Binaries ∗ Zhong Shao Valery Trifonov Bratin Saha Nikolaos Papaspyrou…
  • Cited by 70 (10 self) – Add To MetaCart
  • Single global lock semantics in a weakly atomic STM  
  • by Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-reza Adl-tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc — 2008 — In TRANSACT
  • … Tatiana Shpeisman 1 Ali-Reza Adl-Tabatabai 1 Richard L. Hudson 1 Bratin Saha 1 Adam Welc 1 1 2 Intel Labs…
  • Cited by 4 (0 self) – Add To MetaCart
  • Enforcing isolation and ordering in STM  
  • by Tatiana Shpeisman, Vijay Menon, Ali-reza Adl-tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha — 2007 — In the Proceedings of the Conf. on Programming Language Design and Implementation
  • …-Tabatabai 1 Steven Balensiefer 2 Dan Grossman 2 Richard L. Hudson 1 Katherine F. Moore 2 Bratin Saha 1 1…
  • Cited by 15 (2 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB