Csaba Hruska (@csaba_hruska) 's Twitter Profile
Csaba Hruska

@csaba_hruska

I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization)
FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧

ID: 762011262129668097

linkhttp://grin-compiler.github.io calendar_today06-08-2016 19:43:37

974 Tweet

1,1K Takipçi

688 Takip Edilen

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

I've implemented STM primops in the External STG Interpreter. Now I'm using the STM tests from GHC test suite to iron out the bugs.

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

I think it would be worthwhile to have quickcheck tests for GHC native RTS. I'd expect to find lots of bugs in complex C code.

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

AFAIK ghc-debug can not decode all closure types. (right?) So I plan to make an experiment manually, I'd like to modify the GHC RTS GC to dump the whole heap to a file during the traversal and then analyse it with custom offline tools.

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

I plan to check feasibility of the bidirectional state conversion between the native Haskell RTS and External STG Interpreter

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

It would be great to have a Haskell EDSL like specification of GHC native RTS internal C structures. It would make easy and safe to develop native RTS tools. i.e. whole RTS state snapshot I/O

Stefan Marr (@smarr) 's Twitter Profile Photo

An Introduction to Interpreters and JIT Compilation stefan-marr.de/2023/09/pliss-… Last week, I attended PLISS and had great time. In my own lectures, I talked, probably unsurprisingly, about how one can build interpreters, and how JIT compilation works. 😀 Slides in the blog post.

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

I did not know about the rr-project. You can record and replay native program execution. This project is a great source of inspiration for debugger developers. rr-project.org

Csaba Hruska (@csaba_hruska) 's Twitter Profile Photo

I'm trying to locate a memory leak with GHC tooling. I want to see how far I can get. I also want to experience its convenience. If I get stuck then I'll switch to my custom tooling as an extension.

I'm trying to locate a memory leak with GHC tooling. I want to see how far I can get. I also want to experience its convenience. If I get stuck then I'll switch to my custom tooling as an extension.