[Soot-list] what happens if you mix Scala ASTs with Jimple?

[Eric Bodden]

Thanks for the pointer Miguel, that looks like very interesting work.

Actually I wonder, though, why one would not just use Jimple directly
to optimize Scala. After all, Scala compiles to bytecode and Soot can
optimize bytecode. Do you have examples of cases where proposed IR
allows for more optimization potential than a Jimple IR on the same
code? That would be interesting for me to know.

Eric

On 30 June 2011 17:36, Garcia Gutierrez Miguel Alfredo
<miguelalfredo.garcia at epfl.ch> wrote:
>
> Hi,
> Not much, only that you get a stackless, 3-address-like, fully typed,
> representation.
> Hint: Perhaps an interoperation facility Soot-ScalaASTs can come out of
> this.
> And given that the conversion from an expression language into a Jimple-like
> language takes place within the compilation pipeline (which can be extended
> via compiler plugins) you've got at your disposal all the Scala compiler
> goodies you might need. Including the Parallel Collections framework [1]
> (no, really, just pass a closure and fork/join will kick in).
> Check it out!
> The PDF at
>   http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/2011Q2/Moving3A.pdf
> is the technical documentation for the sources at
>   http://lampsvn.epfl.ch/trac/scala/browser/scala-experimental/trunk/imp/src
> Compiler plugin stuff
>   http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/
> If you want to use this plugin *today*, please notice [2] (that came to
> light during the development of this plugin). Alternatively, the plugin
> sources show how to workaround that.
>
> [1] http://infoscience.epfl.ch/record/165523/files/techrep.pdf
> [2] http://issues.scala-lang.org/browse/SI-4738
>
> --
> Miguel Garcia
> Swiss Federal Institute of Technology
> EPFL - IC - LAMP1 - INR 328 - Station 14
> CH-1015 Lausanne - Switzerland
> http://lamp.epfl.ch/~magarcia/
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt