Travelled to:1 × United Kingdom
2 × USA
Collaborated with:M.C.Rinard A.Salcianu D.Marinov S.Khurshid L.Zhang A.Aiken I.Dillig T.Dillig B.Hackett P.Hawkins
Talks about:overview (1) project (1) program (1) formula (1) classif (1) boolean (1) analysi (1) system (1) saturn (1) orient (1)
Person: Suhabe Bugrara
DBLP: Bugrara:Suhabe
Contributed to:
2007
2005
2004Wrote 3 papers:
- PASTE-2007-AikenBDDHH #overview
- An overview of the saturn project (AA, SB, ID, TD, BH, PH), pp. 43–48.
- SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation
- Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
- FSE-2004-RinardSB #analysis #aspect-oriented #classification #source code
- A classification system and analysis for aspect-oriented programs (MCR, AS, SB), pp. 147–158.