Travelled to:
1 × Estonia
1 × Germany
1 × Portugal
2 × Canada
2 × France
4 × USA
Collaborated with:
P.Avgustinov O.d.Moor J.Tibble M.Verbaere ∅ E.Hajiyev N.Ongkingco L.J.Hendren O.Lhoták G.Sittampalam A.S.Christensen S.Kuzins B.Bellamy T.Ekman C.Allan J.Lhoták E.Bodden
Talks about:
aspect (4) optimis (3) datalog (2) aspectj (2) analysi (2) compil (2) trace (2) queri (2) infer (2) type (2)
Person: Damien Sereni
DBLP: Sereni:Damien
Contributed to:
Wrote 11 papers:
- OOPSLA-2008-BellamyAMS #performance #type inference
- Efficient local type inference (BB, PA, OdM, DS), pp. 475–492.
- PODS-2008-MoorSAV #datalog #optimisation #query #type inference
- Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.
- SIGMOD-2008-SereniAM #compilation #datalog #optimisation
- Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
- GTTSE-2007-MoorSVHAEOT #object-oriented #query
- .QL: Object-Oriented Queries Made Easy (OdM, DS, MV, EH, PA, TE, NO, JT), pp. 78–133.
- ICFP-2007-Sereni #analysis #functional #graph #higher-order #source code #termination
- Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.
- POPL-2007-AvgustinovHOMSTV #aspectj #semantics
- Semantics of static pointcuts in aspectJ (PA, EH, NO, OdM, DS, JT, MV), pp. 11–23.
- SCAM-2007-MoorVHAEOST #analysis #source code
- Keynote Address: .QL for Source Code Analysis (OdM, MV, EH, PA, TE, NO, DS, JT), pp. 3–16.
- FATES-RV-2006-AvgustinovBHHLMOSSTV #aspect-oriented #monitoring
- Aspects for Trace Monitoring (PA, EB, EH, LJH, OL, OdM, NO, DS, GS, JT, MV), pp. 20–39.
- GPCE-2005-AllanACHKLLMSST #aspectj #compilation #named
- abc: The AspectBench Compiler for AspectJ (CA, PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 10–16.
- OOPSLA-2005-AllanACHKLMSST #aspectj
- Adding trace matching with free variables to AspectJ (CA, PA, ASC, LJH, SK, OL, OdM, DS, GS, JT), pp. 345–364.
- PLDI-2005-AvgustinovCHKLLMSST #aspectj #optimisation
- Optimising aspectJ (PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 117–128.