Name: Paul Kirth
Type: User
Company: Google
Bio: I am an engineer on Fuchsia's Toolchain team. I completed my PhD in System Security at UC Irvine under Michael Franz. I try to use compilers to improve security
Location: San Francisco, CA
Blog: ics.uci.edu/~pkirth
Paul Kirth's Projects
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
Implementation of ASPQ research
simple python scripts for editing large groups of similar text files
Personal bitburner scripts
The Click modular router: fast modular packet processing and analysis
Simple Compiler for Testing Algorithms and Implementations
basic c++ cipher breaker
An Ansible/Dotfile repo that configures Linux Machines with my prefered dev tools and their settings
Docker files for dev environments, and dotfile testing
My Dotfiles
Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
A Sliding Puzzle Game for Android
Linux kernel source tree
No longer used, use https://github.com/rust-lang/llvm-project instead
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
A small collection of notes on reducing compiler bugs
neovim lsp plugin
A simple max2sat solver written in C++. It takes a .txt file as input, with 2 integers per line. The integer represents the boolean literal, and its sign denotes its truth value positive for true, negative for false. We disallow 0 to avoid problems, so literals are numbered 1 to K, and are considered to be a contiguous range, ie there are no gaps. It has an exact solver that computes the solution by exhaustive enumeration with some small optimizations, and a naive approximate solution. I may at some point implement a simplex solver, but this is unlikely.
Network Compression Detection
A LLVM-based static analysis framework.
A Middlebox Detection Testbed for Planetlab
rust implementation of a prefix tree
Open-source keyboard firmware for Atmel AVR and Arm USB families
A RISC-V ELF psABI Document
Empowering everyone to build reliable and efficient software.
The Servo Browser Engine