abstract interpreter for GHC Core or STG

[Carter Schonwald]

Correction it was Thomas schilling !!
And you can Google his Phd thesis trace based just in time compilation for
lazy functional programming languages

And the associated code is on his GitHub nominolo/ lambdachine though I
think it was last touched 7 years ago

On Mon, Jun 7, 2021 at 11:54 AM Carter Schonwald <carter.schonwald at gmail.com>
wrote:

> I’m not aware of any currently.
>
> I would be curious about the now relatively old work that Max bolingbroke
> did for his PhD (I think it was sortah a ghc to Lua JIT?!?)
>
> An important question is : what questions do you want the abstract
> interpreter to suport?
>
> On Mon, Jun 7, 2021 at 10:19 AM Csaba Hruska <csaba.hruska at gmail.com>
> wrote:
>
>> Hello,
>>
>> I wonder if there was an attempt in the past to create an abstract
>> interpreter for GHC Core or STG to approximate the program runtime
>> behaviour?
>> I'm curious because I'd like to turn my external STG interterpreter to an
>> abstract interpreter using the AAM (Abstracting Abstract Machines) method.
>> This approach seems promising to me because a single Haskell code base
>> (ext STG interpreter) could be the specification of the Haskell operational
>> semantics and also be a detailed static analyzer that could help
>> optimization transformations.
>> I'm interested in any attempt that happened during GHC/Haskell evolution.
>>
>> Regards,
>> Csaba Hruska
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20210607/d882d85b/attachment.html>