Concepedia

Suhabe Bugrara

SB

Statistics

Publications

5

Citations

346

H-Index

5

Active since

2004

Affiliations

Stanford University(Current)

Massachusetts Institute of Technology

Suhabe Bugrara is an author at Stanford University specializing in formal methods, program analysis, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareSoftware TestingAutomated ReasoningFormal VerificationSoftware Engineering

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 · 167 citations

Software Maintenance, Engineering, Cross-cutting Concern +21

An overview of the saturn project

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

Great Scalability, Program Analysis Algorithms, Engineering +22

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

Engineering, Verification, Software Analysis +16

Redundant state detection for dynamic symbolic execution

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

Engineering, Verification, Software Systems +23

A classification system and analysis for aspect-oriented programs

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

Software Maintenance, Engineering, Cross-cutting Concern +19

1–5 of 5