Home - Topics - Papers - Talks - Theses - Blog - CV - Photos - Funny

Programming Languages

Fact and Fiction in Grounded Set Theory	Aug 19 2026
Idealizing Useful Fictions in Omega Grounded Arithmetic	Aug 18 2026
Internalized Truth in Reflective Grounded Arithmetic	Aug 17 2026
Computable Quantification in Reflective Grounded Arithmetic	Jul 28 2026
Formalizing Paradoxes in Grounded Arithmetic using Isabelle/HOL	Jul 25 2026
Inhabiting Kripke’s truth via a working paracomplete formal arithmetic	Mar 23 2026
Paracomplete logic and the Aymara language	Feb 9 2026
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic	Oct 29 2025
Formalizing Grounded Arithmetic atop Isabelle/Pure – Sascha Kehrli	Sep 30 2025
Reasoning Around Paradox with Grounded Deduction	Sep 12 2024
Matchertext: an escape route from language-embedding hell?	Jan 2 2023
Matchertext: Towards Verbatim Interlanguage Embedding	Dec 29 2022
MinML: concise but general markup syntax	Dec 28 2022
Are Only Type Parameters Generic Enough for Go 2 Generics?	Jul 29 2019
GPUfs: The Case for Operating System Services on GPUs	Dec 1 2014
Maple: Simplifying SDN Programming Using Algorithmic Policies	Aug 13 2013
Lazy Tree Mapping: Generalizing and Scaling Deterministic Parallelism	Jul 29 2013
GPUfs: Integrating a File System with GPUs	Mar 20 2013
Deterministic OpenMP – Amittai F. Aviram	Sep 20 2012
Scaling Software-Defined Network Controllers on Multicore Servers	Jul 1 2012
Deterministic OpenMP for Race-Free Parallelism	May 26 2011
Workspace Consistency: A Programming Model for Shared Memory Parallelism	Mar 6 2011
Alpaca: Extensible Authorization for Distributed Services	Oct 29 2007
Parsing Expression Grammars: A Recognition-Based Syntactic Foundation	Jan 14 2004
Packrat Parsing: Simple, Powerful, Lazy, Linear Time	Oct 4 2002
Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking	Sep 3 2002
Flick: A Flexible, Optimizing IDL Compiler	Jun 15 1997
Using Annotated Interface Definitions to Optimize RPC	Mar 1 1995
Separating Presentation from Interface in RPC and IDLs	Dec 1 1994
Microkernels Should Support Passive Objects	Dec 9 1993
Object-Oriented Display Refreshing	Apr 1 1992