Eric Bodden Current conditions in Darmstadt: Cloud and Visibility OK, 2°C (feels like -1°C)
2°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: Vom Konsul, mehr Schnee und Ph.D.s

eric | March 18, 2008

This post is password protected. To view it please enter your password below:


Comments
Enter your password to view comments
Categories
Montreal Blog
Comments rss Comments rss
Trackback Trackback

Soot 2.2.5 is here!

eric | March 18, 2008

image

Today we released version 2.2.5 of Soot, our program analysis and transformation framework for Java. Release 2.2.5 contains some exciting new features, for example:

  • Manu Sridharan’s demand-driven refinement-based context-sensitive points-to analysis, based on Spark
  • a new Thread-local objects analysis, which Halpert et al. used for automatic lock allocation
  • an improved version of our nullness analysis, due to Julian Tibble, and
  • Instance Keys, static representatives of runtime objects.

Furthermore there have been several improvements to the Soot Eclipse plugin to enhance its ease of use.

More information and installation instructions here.

Comments
1 Comment »
Categories
Research Blog
Tags
Eclipse, McGill, Points-to analysis, Sable, Soot
Comments rss Comments rss
Trackback Trackback

A denial-of-service attack on the Java bytecode verifier

eric | March 12, 2008

I just uploaded a somewhat older project report that I wrote about two years ago. The report describes a denial-of-service attack on the pre-Java6 bytecode verifier. People were asking for benchmarks on type inference – I think this is a good one. You can even try out the attack yourself. I have a demo online! See here.

Comments
No Comments »
Categories
Research Blog
Comments rss Comments rss
Trackback Trackback

Largest snowstorm ever!

eric | March 8, 2008

image By Thursday, there had already 316cm of snow come down over Montreal, which is not much below the all time record of 383 centimetres set in 1971. Today we expect another 25 to 50 cm. The view out of the window is just unbelievable (as my pants are unbelievably wet ;-) ). The look on the radar, too…

Comments
No Comments »
Categories
Misc
Tags
Blizzard, Snow storm
Comments rss Comments rss
Trackback Trackback

Ph.D. Students! Here’s your chance to get to beautiful Cyprus!

eric | March 2, 2008

image You are a Ph.D. student in Computer Science and have at lest 12 months before defending your dissertation? Does your thesis topic has anything at all to do with the following topic around object-orientation?

  • Analysis, design methods and design patterns
  • Concurrent, real-time or parallel systems
  • Databases, persistence and transactions
  • Distributed and mobile systems
  • Frameworks, product lines and software architectures
  • Language design and implementation
  • Testing and metrics
  • Programming environments and tools
  • Theoretical foundations, type systems, formal methods
  • Versioning, compatibility, software evolution
  • Aspects, Components, Modularity, Reflection
  • Collaboration, Workflow

Then you might consider submitting to the ECOOP 2008 Doctoral Symposium and PhD Student Workshop. It’s going to be in July at the beautiful Mediterranean island Cyprus! Note that those are two distinct, but joint events:

  • the Doctoral Symposium, and
  • the PhD Students’ workshop.

The former is meant to be for students that have already chosen their topic and have some idea about what they are doing, while the latter is addressed primarily to PhD students in the early stages of their PhD work. The goal is to allow participants to present their research ideas and obtain feedback from the rest of the workshop attendees.

Comments
No Comments »
Categories
Research Blog
Comments rss Comments rss
Trackback 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 RSS Feed Icon (89)
  • Montreal Blog RSS Feed Icon (44)
  • Research Blog RSS Feed Icon (67)
  • Comments (RSS) RSS Feed Icon

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
  • 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
  • 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

March 2008
M T W T F S S
« Feb   Apr »
 12
3456789
10111213141516
17181920212223
24252627282930
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


rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox