Damien Sereni

According to our database1, Damien Sereni authored at least 19 papers between 2003 and 2008.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Adding magic to an optimising datalog compiler.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Type inference for datalog and its application to query optimisation.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Efficient local type inference.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Keynote Address: .QL for Source Code Analysis.
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

Semantics of static pointcuts in aspectJ.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Termination analysis and call graph construction for higher-order functional programs.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

.QL: Object-Oriented Queries Made Easy.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
Termination analysis of higher-order functional programs.
PhD thesis, 2006

<i>abc</i> : An Extensible AspectJ Compiler.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Datalog as a pointcut language in aspect-oriented programming.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Aspects and Data Refinement.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Aspects for Trace Monitoring.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
Optimising aspectJ.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Adding trace matching with free variables to AspectJ.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

<i>abc</i>: The AspectBench Compiler for AspectJ.
Proceedings of the Generative Programming and Component Engineering, 2005

Termination Analysis of Higher-Order Functional Programs.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

abc: an extensible AspectJ compiler.
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2003
Static analysis of aspects.
Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003


  Loading...