vRAM: Faster Verifiable RAM With Program-Independent Preprocessing Yupeng Zhang∗ , Daniel Genkin† , ∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡ , ∗ and Charalampos Papamanthou∗ ∗ University † Universi

Source URL: web.eecs.umich.edu

BreakApp: Automated, Flexible Application Compartmentalization Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, Andr´e DeHon, Jonathan M. Smith University of Pennsylvania {nvas, karel, nroess, ndd, andre, j

Source URL: nikos.vasilak.is

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• High-level programming languages
• Scripting languages
• Functional languages
• Programming languages
• Loadable kernel module
• Coupling
• Modular programming
• Kernel

MarchSmoke Whitepaper. V 2.2 Prepared by: Jonathan Hunter,

Source URL: icorating.com

• Medicinal plants
• Cannabis
• Medicine
• Herbalism
• Entheogens
• Euphoriants
• Cannabis smoking
• Health
• Medical cannabis
• Legality of cannabis
• 420
• Everipedia

PUMP: A Programmable Unit for Metadata Processing Udit Dhawan1 Nikos Vasilakis1 Jonathan M. Smith1 Thomas F. Knight, Jr.3 1

Source URL: nikos.vasilak.is

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: unsat.cs.washington.edu

• Formal methods
• Theoretical computer science
• Automation
• Safety case
• Embedded system
• Electromagnetism
• Computing
• Carbon nanotubes
• Electrical engineering

PDF Document

Source URL: www.jonathan-cook.net

PDF Document

Source URL: www.jonathan-cook.net

PDF Document

Source URL: www.jonathan-weber.eu

PDF Document

Source URL: www.jonathan-cook.net

PDF Document

Source URL: www.jonathan-weber.eu