Eric Bodden
20°C
Easy and efficient software verification
rss
Home
Research
Publications
Presentations
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
Tools
TamiFlex – a tool suite for taming reflection
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: Von Aachen, Bruessel, Atlanta und Sommer
Eric
| April 22, 2008
This post is password protected. To view it please enter your password below:
Password:
Comments
Enter your password to view comments.
Categories
Montreal Blog
Tags
Alumni
,
Atlanta
,
Brussels
,
Montreal Blog
,
Snow
,
tam tams
Comments rss
Trackback
Welcome
Welcome to my website. Interested in my research?
Click here for details
or jump directly to my
publications
.
Pages
Research
Publications
Presentations
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
Tools
TamiFlex – a tool suite for taming reflection
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
Colleagues
Gregory Prokopski
Laurie Hendren
Nomair Naeem
Ondrej Lhotak
Patrick Lam
Programming Tools Group, Oxford
Sable lab, McGill
Software Technology Group, Darmstadt
Kitchensink
Conferences
My first patent: Method and system for performance profiling of software (pending)
Photos
Research projects
AspectBench Compiler (abc)
Clara
J-LO
Soot
Stratified aspects
TamiFlex
Service
AOSD 2006
AOSD 2007
AOSD 2010
AOSD 2011
Association of Alumni, Friends, and Supporters of the RWTH Aachen University in North America
ATVA 2008
ECOOP 2008 Doctoral Symposium
ECOOP 2010
FOAL 2010
ICSE 2010
IEEE Transactions on Software Engineering (TSE)
International Journal of Image and Graphics
ISSTA 2011
NFM 2011
OOPSLA 2008
OOPSLA 2010
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 other people I know
Adrian Colyer
Bruno Dufour
Dan North
Daniel Klink
Dave Thomas
Dean Wampler
Eric Tanter
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
Master Sgt. Eric Bodden
Previous posts
July 2010
M
T
W
T
F
S
S
« Jun
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
AOSD
AspectJ
Atlanta
Blizzard
Bug finding
Clara
COMP 621
Eclipse
FSE
Google
ISSTA
Java
LinkedIn
Mac
McGill
Microsoft
Montreal Blog
NASA
OOPSLA
Photos
Politics
Programming
Quebec City
Race detection
Racer
Random ranting
Runtime verification
RWTH
Seattle
Slides
Snow storm
Soot
Soot Tutorial
Static Analysis
Strike
TamiFlex
TA strike
Thesis
tracematches
Typestate
Vacation
Website
Winter carnival
Wordpress