Concepedia

Suhabe Bugrara

SB

Statistics

Publications

5

Citations

349

H-Index

5

Active since

2004

Affiliations

Stanford University(Current)

Massachusetts Institute of Technology

Suhabe Bugrara is an author at Stanford University specializing in computing, computer science, and programming languages.

Publications per year

2004–2013

5

Publications

5

A classification system and analysis for aspect-oriented programs

Martin Rinard, Alexandru Sălcianu, Suhabe Bugrara · 2004 · 168 citations

Computing, Computer Science, Formal Methods +11

An overview of the saturn project

Alex Aiken, Suhabe Bugrara, Thomas Dillig et al. · 2007 · 114 citations

Computing, Computer Science, Algorithms +12

Verifying the Safety of User Pointer Dereferences

Suhabe Bugrara, Alex Aiken · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 2008 · 27 citations

Computing, Computer Science, Computer Systems +15

Redundant state detection for dynamic symbolic execution

Suhabe Bugrara, Dawson Engler · USENIX Annual Technical Conference · 2013 · 23 citations

Computing, Computer Engineering, Computer Science +14

A classification system and analysis for aspect-oriented programs

Martin Rinard, Alexandru Sălcianu, Suhabe Bugrara · ACM SIGSOFT Software Engineering Notes · 2004 · 17 citations

Computing, Computer Science, Formal Methods +11

1–5 of 5