~lobsters | Bookmarks (16)
-
Abstracting Denotational Interpreters
Abstracting Denotational Interpreters | Sebastian Graf, Simon Peyton Jones, Sven Keidel Abstract We explore denotational interpreters:...
-
Case Study: Securing MMU-less Linux Using CHERI
MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also...
-
Validation of Modern JSON Schema: Formalization and Complexity
Skip to main content Download PDF Abstract:JSON Schema is the de-facto standard schema language for JSON...
-
The possibility of making $138,000 from shredded banknote pieces using computer vision
Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors...
-
Yacc is dead (2010)
We present two novel approaches to parsing context-free languages. The first approach is based on an...
-
A Modern Compiler for the French Tax Code
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...