MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Suhabe Bugrara" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Verifying the Safety of User Pointer Dereferences
by Suhabe Bugrara, Alex Aiken
…Verifying the Safety of User Pointer Dereferences Suhabe Bugrara Department of Computer Science…
Cited by 1 (1 self) – Add To MetaCart

A classification system and analysis for aspect-oriented programs
by Martin Rinard, Ru Sălcianu, Suhabe Bugrara — 2004 — In Proc. 12th Symposium on the Foundations of Software Engineering
…, Alexandru Sălcianu, and Suhabe Bugrara Massachusetts Institute of Technology Cambridge, MA 02139 We present…
Cited by 39 (2 self) – Add To MetaCart

Optimizations for compiling declarative models into Boolean formulas
by Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin Rinard — 2005 — In 8th International Conference on Theory and Applications of Satisfiability Testing (SAT 2005), St.Andrews
… Khurshid 2 , Suhabe Bugrara 3 , Lintao Zhang 4 , Martin Rinard 3 1 Deptartment of Computer Science…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB