Past Research

Quick links:

current research

publications

presentations

I am a post-doctoral fellow at Mira Mezini’s Software Technology Group at Technische Universität Darmstadt, Germany. I am also being funded through, and doing research for the Center for Advanced Security Research Darmstadt (CASED), Research Area “Secure Services”. Find out more about my current research here.

Until summer 2009, I used to be a Ph.D. candidate at the Sable Research Group in the School of Computer Science at McGill University in Montreal, Quebec, Canada. In the following you find some information about my past and ongoing research. You might also want to subscribe to my research-related blog (RSS).

Clara: My Ph.D. Thesis Project

Clara is a framework for the static optimization of finite-state (typestate) runtime monitors. Clara is the major result of my doctoral research. You can find out more about Clara on its own webpage.

Overview of past research related to my PhD thesis

My ongoing research is in the field of runtime monitoring and runtime verification. In my work I try to make those technologies accessible to averagely-skilled programmers, through:

  1. easier specification formalisms, that can are close to known programming models
  2. efficient systems for runtime verification that allow for the verification of properties stated in such formalisms on available consumer PCs.

In order to perform efficient instrumentation of Java programs, we use extensions to the aspect-oriented programming language AspectJ, as implemented in the AspectBench Compiler. Hence, I have also a natural interest in aspect-oriented programming and design. A more complete description of my research plan can be found in my contributions to the ECOOP 2007 and OOPSLA 2007 Doctoral Symposia.

My past research in further detail

Find out more about my past and current research in the following fields:
Alternating automaton with two valuations: x->1 and x->2

… or just browse my …

Publications image Presentations image CV / Resume image
Comments rss
Comments rss
Trackback
Trackback

5 Responses to “Past Research”

  1. Arun Mittal says:
    September 29, 2009 at 1:49 am

    Hi
    I have one issue with running benchmark.

    I am sure i am doing something wrong and there is no example either on the website which i can follow to make it work. what i did was i wrote command

    java -jar dacapo-2006-10.jar benchmarks/bms/avrora/

    I thought it should work because there are lot on benchmarks in bms folder so i thought of running one of them.

    But it said unknown benchmark.

    Other thing which i did was

    java -jar dacapo-9.10-beta0.jar -c benchmarks/harness/src/MMTkCallback.java

    it didn’t work either . It gave me error message

    Could not find callback class benchmarks/harness/src/MMTkCallback.java

    Please provide me some example so that i can move forward.

    I want to clarify something from you as i am new to this benchmarking thing. I have one virtual machine and one native machine. I want to compare the performance of JVM on both the machine. So if i run same benchmark in both the machine what results it will provide me. will those be in terms of memory usage, CPU, how the JVM is performing?

    I really want to see the performance of JVM in both the machines. Please help me . I will really appreciate that.

    Thanks

    Arun Mittal

  2. eric says:
    September 29, 2009 at 8:10 am

    Hi Arun.

    The commanhd line options for DaCapo are explained here. Hope that helps, Eric.

  3. Arun Mittal says:
    September 29, 2009 at 5:04 pm

    Hi Eric

    Thanks for reply. Earlier I went through that link but i could not still figure out. i followed the procedure which is mentioned but i am getting same messages which i explained in previous message.

    I will appreciate if you can simply write an example that runs benchmark.

    Thanks

    Arun Mittal

  4. Eric says:
    September 29, 2009 at 5:14 pm

    java -jar dacapo-2006-10.jar antlr

    This should run antlr, for example.

    java -jar dacapo-2006-10.jar

    This should show you all command line options.

  5. Arun Mittal says:
    September 29, 2009 at 6:46 pm

    Hi Eric

    I knew that i am doing something wrong but i could not figure out what it was . I was using dacapo-9.10-beta0.jar and it gave me same error which i mentioned but then i downloaded dacapo-2006-10-MR2.jar and when i ran the command it gave me results.

    I dont whether it is a bug or i didn’t follow the protocol.

    Anyways i will use dacapo-2006-10-MR2.jar and start moving forward.

    I really appreciate the time you gave me.

    Thanks

    Arun Mittal

Leave a Reply