Publications

Awarded publications

imageThe paper Racer: Effective Race Detection Using AspectJ (ISSTA 2008) won an ACM SIGSOFT Distinguished Paper Award. The paper Efficient and Expressive Runtime Verification for Java won the Grand Finals of the 2005 ACM Student Research Competition (Undergraduate category). You can find both publications below.

You can also search my publications or subscribe to them using RSS.



Categories – Theses

Verifying finite-state properties of large-scale programs
Eric Bodden.
McGill University. 2009. Available through ProQuest. PDF bibtex

J-LO – A tool for runtime-checking temporal assertions
Eric Bodden.
RWTH Aachen University. 2005. PDF bibtex



Categories – Journal

Aspect-oriented Race Detection in Java
Eric Bodden, Klaus Havelund.
IEEE Transactions on Software Engineering (TSE). 2009. Accepted for publication. To appear.. bibtex

Collaborative Runtime Verification with Tracematches
Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem.
Oxford Journal of Logics and Computation. 2008. PDF EXN077 bibtex



Categories – Conference

Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Eric Bodden.
International Conference of Software Engineering (ICSE). ACM Press. 2010. To appear. Acceptance rate: 52/380 (13.7%). PDF bibtex

Dependent advice: A general approach to optimizing history-based aspects
Eric Bodden, Feng Chen, Grigore Rosu.
AOSD ‘09: Proceedings of the 8th international conference on Aspect-oriented software development. pp. 3–14. ACM. 2009. Acceptance rate: 19/68 (28%). PDF bibtex

Object representatives: a uniform abstraction for pointer information
Patrick Lam, Eric Bodden, Laurie Hendren.
Visions of Computer Science – International Academic Conference of the British Computer Society (BCS 2008), London, United Kingdom. 2008. PDF PHP bibtex

Relational aspects as tracematches
Reehan Shaikh, Laurie Hendren, Eric Bodden.
AOSD ‘08: Proceedings of the 7th international conference on Aspect-oriented software development. pp. 84–95. ACM. 2008. Acceptance rate: 17/79 (22%). PDF bibtex

Racer: Effective Race Detection Using AspectJ
Eric Bodden, Klaus Havelund.
International Symposium on Software Testing and Analysis (ISSTA), Seattle, WA. pp. 155–165. ACM. 2008. Acceptance rate: 26/100 (26%). PDF bibtex

Finding programming errors earlier by evaluating runtime monitors ahead-of-time
Patrick Lam, Laurie Hendren, Eric Bodden.
16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT’08/FSE-16). pp. 36–47. ACM. 2008. Acceptance rate: 31/152 (20%). PDF bibtex

Transforming Timeline specifications into automata for runtime monitoring
Eric Bodden, Hans Vangheluwe.
3rd International Workshop and Symposium on Applications of Graph Transformations with Industrial Relevance (AGTIVE). pp. 249–265. Lecture Notes of Computer Science vol. 5088. Springer. 2007. PDF bibtex

Domain-Specific Modelling with AToM3
Hans Vangheluwe, Eric Bodden, Ximeng Sun.
Second International Conference on Software and Data Technologies (ICSOFT). Special Session on Metamodelling. pp. 305 — 314. INSTICC Press. 2007. PDF bibtex

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
European Conference on Object-Oriented Programming (ECOOP 2007). pp. 525–549. 2007. Acceptance rate: 25/160 (16%). PDF bibtex

Avoiding Infinite Recursion with Stratified Aspects
Eric Bodden, Florian Forster, Friedrich Steimann.
GI-Edition Lecture Notes in Informatics NODe 2006 GSEM 2006′. Robert Hirschfeld, Andreas Polze, Ryszard Kowalczyk (Eds.). pp. 49 — 64. vol. P-88. Bonner Koellen Verlag. 2006. PDF bibtex



Categories – Workshop

The design and implementation of formal monitoring techniques
Eric Bodden.
Doctoral Symposium at the 21st European Conference on Object-Oriented Programming, Berlin, Germany. 2007. PDF bibtex

The design and implementation of formal monitoring techniques
Eric Bodden.
OOPSLA ‘07: Companion of the 22nd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. 2007. Doctoral Symposium.. PDF bibtex

Collaborative runtime verification with tracematches
Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhotak, Nomair A. Naeem.
7th workshop on Runtime Verification at the 6th International Conference on Aspect-Oriented Software Development, Vancouver, Canada. pp. 22–37. vol. 4839. 2007. PDF bibtex

Tracechecks: Defining Semantic Interfaces with Temporal Logic.
Eric Bodden, Volker Stolz.
Software Composition. pp. 147–162. 2006. PDF bibtex

Efficient temporal pointcuts through dynamic advice deployment
Eric Bodden, Volker Stolz.
Workshop on Open Aspect Languages, Bonn, Germany. 2006. PDF bibtex

Concern specific languages and their implementation with abc
Eric Bodden.
3rd Workshop on Software-engineering Properties of Languages and Aspect Technologies (SPLAT) at the 4th International Conference on Aspect-oriented So. 2005. PDF bibtex

Efficient and Expressive Runtime Verification for Java
Eric Bodden.
Grand Finals of the ACM Student Research Competition 2005. 2005. Winner paper of the Grand Finals.. PDF bibtex

Temporal Assertions using AspectJ
Volker Stolz, Eric Bodden.
5th Workshop on Runtime Verification. pp. 109–124. Electronic Notes in Theoretical Computer Science vol. 144 no. 4. 2005. PDF bibtex

A lightweight LTL runtime verification tool for Java
Eric Bodden.
Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, . pp. 306–307. 2004. Student Research Competition.. PDF bibtex

A high-level view of Java applications
Eric Bodden.
OOPSLA ‘03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. pp. 384–385. ACM Press. 2003. Student Research Competition.. PDF bibtex



Categories – Invited Papers

Aspects and Data Refinement
Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble.
Mathematics of Program Construction (MPC). Tarmo Uustalu (Eds.). Lecture Notes in Computer Science. Springer. 2006. PDF bibtex

Aspects for Trace Monitoring
Elnar Hajiyev, Laurie Hendren, Oege de Moor, Pavel Avgustinov, Eric Bodden, Ondrej Lhotak, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere.
Formal Approaches to Testing Systems and Runtime Verification (FATES/RV). Klaus Havelund, Manuel Nunez, Grigore Rosu, Burkhart Wolff (Eds.). pp. 20–39. Lecture Notes in Computer Science vol. 4262. Springer. 2006. PDF bibtex



Categories – Magazine Article

Zweigstelle, Hauptstelle, Dienstleister: Aspektorientierte Programmierung mit .NET
Eric Bodden, Torsten Weber.
ObjektSPEKTRUM. SIGS-DATACOM. 2006. HTML bibtex



Categories – Technical Report

Clara: a framework for implementing hybrid typestate analyses
Eric Bodden.
no. Clara-2. 2009. PDF bibtex

Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States
Eric Bodden.
no. Clara-1. 2009. PDF bibtex

Transforming Timeline specifications into automata for runtime monitoring
Eric Bodden, Hans Vangheluwe.
no. TR-2008-1. 2008. PDF bibtex

Racer: Effective Race Detection Using AspectJ (extended version)
Eric Bodden, Klaus Havelund.
no. abc-2008-1. 2008. PDF bibtex

Relational Aspects as Tracematches
Reehan Shaikh, Laurie Hendren, Eric Bodden.
no. abc-2007-4. 2007. PDF bibtex

A staged static program analysis to improve the performance of runtime monitoring (extended version)
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
no. abc-2007-2. 2007. PDF bibtex

Flow-sensitive static optimizations for runtime monitoring
Patrick Lam, Eric Bodden, Laurie Hendren.
no. abc-2007-3. 2007. PDF bibtex

Arithmetic Coding revealed – A guided tour from theory to praxis
Eric Bodden, Malte Clasen, Joachim Kneis.
no. TR-2007-5. 2007. PDF bibtex

Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information
Patrick Lam, Eric Bodden, Laurie Hendren.
no. TR-2007-8. 2007. PDF bibtex

Efficient Trace Monitoring
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam.
no. abc-2006-1. 2006. PDF bibtex

A staged static program analysis to improve the performance of runtime monitoring
Eric Bodden, Laurie Hendren, Ondrej Lhotak.
no. abc-2006-4. 2006. PDF bibtex

Comments are closed.