Hello There

Welcome to this, my website.
I'm Justus and I am a PhD student advised by Malte Schwarzkopf at the Department of Computer Science at Brown University. I am part of the of the Efficient and Trustworthy Operating Systems (ETOS) group which is part of Systems Research at Brown.
Things I work on
My latest project is Paralegal, a static analyzer that finds violations of privacy or security policies in Rust code. The tool supports arbitrary Rust codebases and requires no changes to the application code, other than a few annotations. It supports custom privacy and security policies which lets you tailor the tool to your specific domain and use case. It can also be used on library-only crates. If this interests you, check out the online documentation and the repository.
I contributed to Kani, a model checker for Rust programs. I designed and implemented the first contract mechanism for Kani, which enables users to take advantage of modular verification where they can first verify a function against its contract and then use the contract as a cheap assumption when verifying callers. For more information, see my blog post on the Kani blog.
I contributed to Ohua, a parallelizing compiler. Among other things I implemented an optimization that batches I/O operations to reduce network roundtrips. You can find more information about the compiler on the website.
You may also be interested in the list of scientific publications I was involved in.
Personal stuff
In my spare time I like to climb and boulder, both indoors and outdoors. During the warmer months you'll find me hiking a mountain and during the colder ones on a ski slope if I can help it. I enjoy playing video games, making music and learning about the big issues of our time, like inequality and climate change.
- A few blog posts I wrote about my time in England
- Archive of a technical blog I used to write. I haven't posted anything in a long time thought
Free Palestine. 🇵🇸