Eric Bodden
4°C
Easy and efficient software verification
rss
Home
Research
Past Research
Efficient Runtime Verification
Racer: Effective Race Detection Using AspectJ
Continuation-equivalent states (ICSE 2010)
Aspect-oriented programming and design
Visual specification languages
A denial-of-service attack on the Java bytecode verifier
Publications
Presentations
Tools
Clara: Compile-time Approximation of Runtime Analyses
RacerAJ (for race detection)
An introduction to Soot 2.2.5
Aspect-oriented approaches targeting the .NET Framework
Teaching
Automated Software Engineering
Software-Engineering Project
COMP 520
COMP 621
Legacy
Bad Sector Recovery on NTFS
Arithmetic Coding
PHP Scripts
About me
Photos
Protected: Et tu t’apelle …?
eric
| May 14, 2006
This post is password protected. To view it please enter your password below:
Password:
Comments
Enter your password to view comments
Categories
Montreal Blog
Comments rss
Trackback
Welcome
Welcome to my website. Interested in my research?
Click here for details
or jump directly to my
publications
.
Pages
Research
Past Research
Continuation-equivalent states (ICSE 2010)
Efficient Runtime Verification
Racer: Effective Race Detection Using AspectJ
Aspect-oriented programming and design
Visual specification languages
A denial-of-service attack on the Java bytecode verifier
Publications
Presentations
Tools
Clara: Compile-time Approximation of Runtime Analyses
RacerAJ (for race detection)
An introduction to Soot 2.2.5
Aspect-oriented approaches targeting the .NET Framework
Teaching
Automated Software Engineering
Software-Engineering Project
COMP 520
COMP 621
Legacy
Arithmetic Coding
Bad Sector Recovery on NTFS
PHP Scripts
About me
Categories & Feeds
Misc
(89)
Montreal Blog
(44)
Research Blog
(67)
Comments (RSS)
Kitchensink
Conferences
My first patent: Method and system for performance profiling of software (pending)
Photos
Research projects
AspectBench Compiler (abc)
J-LO
Soot
Stratified aspects
Service
AOSD 2006
AOSD 2007
AOSD 2010
Association of Alumni, Friends, and Supporters of the RWTH Aachen University in North America
ATVA 2008
ECOOP 2008 Doctoral Symposium
ECOOP 2010
FOAL 2010
IEEE Transactions on Software Engineering (TSE)
International Journal of Image and Graphics
ISSTA 2011
OOPSLA 2008
PEPM 2008
PLDI 2006
PLDI 2008
RV 2007
RV 2009
RV 2010
SEFM 2005
SEFM 2008
Transactions on Software Engineering and Methodology (TOSEM)
VMIL 2008
VMIL 2009
Some of my colleagues
Gregory Prokopski
Laurie Hendren
Nomair Naeem
Ondrej Lhotak
Patrick Lam
Programming Tools Group
Sable lab
Some other people I know
Adrian Colyer
Bruno Dufour
Dan North
Daniel Klink
Dave Thomas
Dean Wampler
Friedrich Steimann
Joachim Kneis
Klaus Havelund
Liz Keogh
Malte Clasen
Markus Schorn
Pascal Costanza
Patricia Jablonski
Philip Mayer
Ron Bodkin
Sven Wittig
Wiebke Berg
Some people not to confuse me with
Eric B. the terrorist
Eric Bodden the basketball player
Eric Bodden the chef who sunk
Eric Christopher Bodden
Noel R. Lopez alias Eric Bodden
Previous posts
May 2006
M
T
W
T
F
S
S
« Apr
Jul »
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Tags
Alumni
AspectJ
Atlanta
Blizzard
Bug finding
Clara
COMP 621
Eclipse
Flight
FSE
Google
ISSTA
Java
LinkedIn
Mac
McGill
Microsoft
Montreal Blog
OOPSLA
Oxford
Photos
Politics
Programming
Quebec City
Race detection
Racer
Random ranting
Runtime verification
RWTH
Seattle
Ski trip
Snow
Snow storm
Soot
Soot Tutorial
Static Analysis
Strike
TA strike
Thesis
tracematches
Typestate
Vacation
Website
Winter carnival
Wordpress