abstract interpreter for GHC Core or STG

[Csaba Hruska]

Yes, I've read Thomas Schilling's PhD thesis (Trace-based
Just-in-timeCompilation for Lazy Functional Programming Languages) a couple
of times.

My STG interpreter almost supports all kinds of primops that GHC does, and
I plan to add the missing ones in the future.
I'd like to use literally the same source code for the concrete and the
abstract interpretation. So IMO this would mean that all kinds of runtime
properties would be approximated by the abstract interpreter.
But the most important property would be the control flow information.

On Mon, Jun 7, 2021 at 5:58 PM Carter Schonwald <carter.schonwald at gmail.com>
wrote:

> 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/0be0f3a4/attachment.html>