By Date

2024

• Oct 9 - Validating Ethereum transactions without storing the entire blockchain
• Oct 2 - Remember AOP? Modular access control for Solidity smart contracts

2023

• Aug 23 - Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
• May 18 - Security & Privacy of Contemporary Distributed Systems

2022

• Oct 4 - Academia Part II: joining DistriNet at KULeuven

2021

• Oct 18 - Steps towards AI Pair Programming

2020

• Oct 18 - Programming languages for programmable money

2019

• Oct 28 - Unix50
• Jun 21 - Code Compass

2018

• Oct 15 - Programming Secure Smart Contracts
• Jul 22 - Isolating application sub-components with membranes

2017

• Oct 27 - DLS 2017 Most Notable Paper Award for 2007
• Jun 26 - DEBS 2017 Best Demo Award

2016

• Dec 16 - 43 years of actors: a taxonomy of actor models
• Nov 14 - Serving on OOPSLA 2017 PC
• Jan 4 - My ES6 development setup

2015

• Nov 3 - My node toolbelt: 10 libraries to boost your node.js productivity
• Apr 17 - Speaking at jsconf.be on "The Road to ES6, and Beyond"

2014

• Jul 16 - Java Fork/Join Parallelism in the Wild
• May 21 - AmbientTalk actors are data race and deadlock free
• Feb 5 - Moving to Bell Labs

2013

• Jul 4 - Direct Proxies talk at ECOOP
• May 22 - Notification Proxies
• Jan 21 - Distributed Resilient Secure ECMAScript (Dr. SES)

2012

• Jun 14 - A brief tour of JavaScript's object model
• May 7 - Proxies and Frozen Objects
• Mar 29 - Membranes in JavaScript
• Feb 16 - Operational Semantics of AmbientTalk
• Feb 7 - Designing the ECMAScript Reflection API

2011

• Nov 25 - Harmony Proxies: Tutorial
• Jan 23 - Why Programming Languages?

2010

• Aug 23 - AmbientTalk at Emerging Languages Camp
• May 25 - Harmony Proxies in Firefox
• Feb 22 - DCDP Workshops

2009

• Nov 2 - JavaScript at Google Research
• Oct 20 - OOPSLA Tutorial

By Tag

AI

• Steps towards AI Pair Programming

AmbientTalk

• Operational Semantics of AmbientTalk
• AmbientTalk at Emerging Languages Camp

Channel9

• AmbientTalk at Emerging Languages Camp

Dr.SES

ELC

• AmbientTalk at Emerging Languages Camp

IoT

• DEBS 2017 Best Demo Award

NLP

• Steps towards AI Pair Programming

OSCON

• AmbientTalk at Emerging Languages Camp

Python

• Steps towards AI Pair Programming

Q

• Distributed Resilient Secure ECMAScript (Dr. SES)

SES

• Programming Secure Smart Contracts
• Distributed Resilient Secure ECMAScript (Dr. SES)

actors

• 43 years of actors: a taxonomy of actor models

ambienttalk

• AmbientTalk actors are data race and deadlock free

atom

• My ES6 development setup

award

• DLS 2017 Most Notable Paper Award for 2007

blockchain

• Validating Ethereum transactions without storing the entire blockchain
• Remember AOP? Modular access control for Solidity smart contracts
• Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
• Security & Privacy of Contemporary Distributed Systems
• Programming languages for programmable money
• Programming Secure Smart Contracts

concurrency

• OOPSLA Tutorial

devtools

• Steps towards AI Pair Programming

ecmascript

• Speaking at jsconf.be on "The Road to ES6, and Beyond"
• Designing the ECMAScript Reflection API
• JavaScript at Google Research

ecmascriptharmony

ecoop

• Direct Proxies talk at ECOOP

es6

• My ES6 development setup

essay

• Why Programming Languages?

event-driven

• OOPSLA Tutorial

eventloopconcurrency

fork/join

• Java Fork/Join Parallelism in the Wild

formalsemantics

freezing

• Proxies and Frozen Objects

invariants

• Proxies and Frozen Objects

java

• Java Fork/Join Parallelism in the Wild

javascript

• Code Compass
• Programming Secure Smart Contracts
• Isolating application sub-components with membranes
• My node toolbelt: 10 libraries to boost your node.js productivity
• Speaking at jsconf.be on "The Road to ES6, and Beyond"
• Direct Proxies talk at ECOOP
• Notification Proxies
• Distributed Resilient Secure ECMAScript (Dr. SES)
• A brief tour of JavaScript's object model
• Proxies and Frozen Objects
• Membranes in JavaScript
• Designing the ECMAScript Reflection API
• Harmony Proxies: Tutorial
• Harmony Proxies in Firefox
• JavaScript at Google Research

jsconf

• Code Compass
• Speaking at jsconf.be on "The Road to ES6, and Beyond"

machinelearning

membranes

• Isolating application sub-components with membranes
• Direct Proxies talk at ECOOP
• Notification Proxies
• Membranes in JavaScript

node

• My ES6 development setup
• My node toolbelt: 10 libraries to boost your node.js productivity

npm

• Code Compass

ometa

• JavaScript at Google Research

oopsla

• Serving on OOPSLA 2017 PC

parallelprogramming

parser

• JavaScript at Google Research

pc

• Serving on OOPSLA 2017 PC

peer-to-peer

• Validating Ethereum transactions without storing the entire blockchain

processing

programming

• Unix50

programminglanguages

promises

• Distributed Resilient Secure ECMAScript (Dr. SES)

proxies

• Isolating application sub-components with membranes
• Direct Proxies talk at ECOOP
• Notification Proxies
• A brief tour of JavaScript's object model
• Proxies and Frozen Objects
• Membranes in JavaScript
• Designing the ECMAScript Reflection API
• Harmony Proxies: Tutorial
• Harmony Proxies in Firefox
• JavaScript at Google Research

reflection

• Designing the ECMAScript Reflection API

security

• Remember AOP? Modular access control for Solidity smart contracts
• Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
• Security & Privacy of Contemporary Distributed Systems
• Isolating application sub-components with membranes

smartcontracts

stream

• DEBS 2017 Best Demo Award

talk

• Direct Proxies talk at ECOOP

teaching

• Security & Privacy of Contemporary Distributed Systems

traits

• JavaScript at Google Research

tutorial

• OOPSLA Tutorial

typescript

• My ES6 development setup

unix

• Unix50

workshop

• DCDP Workshops