Lobsters

Deconstructing Datalog

In September 2022, after two rounds of revisions, I submitted the final version of my PhD dissertation, Deconstructing Datalog. Datalog is a logic programming language from the ’80s that augments relational algebra with recursive queries. It has both simple...

Programming

Programming

Lobsters

Simplifying Weak Reference Processing in ZGC - Inside.java

What are GC barriers and how do they relate to ahead-of-time compilation? This blog post explores the intersection of HotSpot's GCs and compilers through the lense of implementing GC-agnostic load barriers at the assembly level, and gives key insights on...

More stories

More stories load automatically as you scroll.