Submission deadline in 2 months: RV 2010 at Malta

Eric | March 30, 2010

RV Conference

 

 

 

 

 

 

 

 

 

Just in case you did not know yet: RV is becoming a conference. Submissions are due June 1st.

Runtime  verification (RV)  is concerned with monitoring and analysis of software  or hardware system executions.  The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime  checking,   runtime  reflection,   runtime  analysis,   dynamic analysis,  symbolic dynamic analysis, trace analysis, log file analysis, etc.  RV can be used for many  purposes,  such as program understanding, systems  usage  understanding,  security  or  safety  policy monitoring,
debugging,  testing,  verification  and  validation,  fault  protection, behavior  modification (e.g.,  recovery),  etc.  A running system can be abstractly regarded as a generator of execution traces,  i.e., sequences of relevant  states or events.  Traces can be processed in various ways, e.g.,  checked  against formalized specifications, analyzed with special algorithms,  visualized,  etc.

Read the rest of this entry »

Comments
Comments Off on Submission deadline in 2 months: RV 2010 at Malta
Categories
Research
Tags
RV

Using Soot and TamiFlex to analyze DaCapo

Eric | March 29, 2010

In this tutorial, I describe how to use TamiFlex to facilitate the static analysis of the DaCapo benchmarks with Soot. You can also find this tutorial on the TamiFlex website.

Also feel free to use our scripts for this purpose. You can also find many details in our Technical Report.

Step 0: Downloading the necessary components

To analyze DaCapo benchmarks with Soot, first download the following:

Read the rest of this entry »

Comments
Comments Off on Using Soot and TamiFlex to analyze DaCapo
Categories
Research
Tags
Soot, Soot Tutorial, TamiFlex

Soot 2.4.0 released

Eric | March 29, 2010

I am pleased to announce that Soot version 2.4.0 is now available at:
http://www.sable.mcgill.ca/soot/

This release contains the following additions and improvements:

  1. Hossein Sadat-Mohtasham’s implementation of program dependency graphs
  2. Support for creating sound call graphs even for programs that use reflection, custom class loaders and runtime-generated classes. For this purpose, Soot uses TamiFlex to create a runtime log file that contains information about how reflection is being used. Spark then uses the log file during call-graph and points-to graph construction. See this tutorial for details.

Also we incorporated fixes to numerous bugs. Thanks for reporting bugs and/or providing fixes! See http://www.sable.mcgill.ca/soot/CHANGES for details.

As of version 2.2.0 the Soot bugzilla is available at: http://svn.sable.mcgill.ca/bugzilla/. We encourage you to add any Soot bugs there.

Comments
5 Comments »
Categories
Research
Tags
Soot, TamiFlex

Taming Reflection – Static Analysis in the Presence of Reflection and Custom Class Loaders

Eric | March 25, 2010

I am happy to announce the first release of TamiFlex, our new tool suite for “taming reflection”. TamiFlex comes with an accompanying Technical Report. Using TamiFlex, you can, in combination with static-analysis tools such as Soot 2.4.0, analyze even such programs statically that use reflection and custom class loaders.

For instance, we describe how to use TamiFlex to statically analyze the new DaCapo “bach” release with Soot. This document gives an overview of the architecture of TamiFlex.

Read the rest of this entry »

Comments
Comments Off on Taming Reflection – Static Analysis in the Presence of Reflection and Custom Class Loaders
Categories
Research
Tags
Soot, TamiFlex

AOSD 2011 in Brazil

Eric | March 19, 2010


AOSD 2011

AOSD 2010 in Rennes and St Malo just finished. It was a great event, I really enjoyed the conference a lot. You can find some photos here. There was lots of interesting papers. The paper Execution Levels for Aspect-Oriented Programming by Eric Tanter won the best-paper award, certainly deserved, I think it’s great work.

It turns out that AOSD 2011 is going to be in beautiful Pernambuco, Brazil. It’s certainly going to be a great event, too. I hope to see you all there. AOSD 2011 is going to have two submission deadlines:

First Round

Research paper submission:Thursday, July 1st, 2010 (23:59 Samoan time)
Acceptance notification:Monday, September 6th, 2010 (23:59 Samoan time)

Second Round

Research paper submission:Friday, October 1st, 2010 (23:59 Samoan time)
Acceptance notification:Friday, December 10th, 2010 (23:59 Samoan time)
Camera-ready copy:Thursday, January 13th, 2011 (23:59 Samoan time)

You can submit to each round separately – both rounds are largely independent. However, if you submit to the first deadline then you have the advantage of (1) maybe having your paper accepted earlier or (2) if it gets rejected with a “resubmit again later” then you can re-submit an improved paper to the 2nd deadline. The goal is to enable a more journal-like review process that allows for correcting papers instead of having to reject them right away.

Comments
Comments Off on AOSD 2011 in Brazil
Categories
Misc, Research
Tags
AOSD