News
- Sep 2021: Talking at Data & Dev online about the ins and outs of a career in computer security. (talk: transcript part 1, part 2)
- Dec 2020: Talking at Go Systems Conf SF online about error handling in Go. (talk: slides, video recording)
- Jun 2020: Talking at GopherCon in Berlin, Germany about error handling in distributed systems implemented using Go. (talk: slides)
- Jun 2020: Guest lecture on CockroachDB and Distributed SQL at the Technical University TUDelft, Master Scalable Data Management (MSc SDM).
- Apr 2019: Attended the LLVM Developer Conference in Brussels, Belgium.
- Sep 2018: Delivered technical training to the Cockroach Labs team in New York, NY, USA.
- Apr 2018: Visiting prof. Sven-Bodo Scholz in Edinburgh, UK.
- Oct 2017: Talking at OpenCredo in London, UK about CockroachDB.
- Sep 2017: Attending the Strange Loop conference in St Louis, MI, USA.
- Feb-Mar 2017: Lecturing on Data Structures at the University of Amsterdam (BSc).
- Jan 2017: Guest lecture on Rust and Abstract Machine Models at the University of Amsterdam (talk: slides).
- Oct 2016: Guest lecture on Distributed Storage and Databases at the University of Amsterdam, Master Systems and Network Engineering (MSc SNE).
- Sep 2016: Attending Hack the North in Waterloo, Canada.
- Aug-Dec 2016: Member of the 4th commission on education aspects of the UvA/VU join department of informatics.
- Jun 2016: Attending the Applicative conference in New York, NY, USA.
- Apr-May 2016: Lecturing on Operating Systems at the University of Amsterdam (BSc).
- Feb-Mar 2016: Lecturing on Data Structures at the University of Amsterdam (BSc).
- Jan 2016: Member of the program committee of the HiPEAC ADAPT 2016 workshop.
- Nov 2015: Invited as programming language expert by prof. Sven-Bodo Scholz to the Seminar on Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts, Shonan Village Center, Japan. (talk: slides)
- Nov 2015: Invited as guest researcher by prof. Sven-Bodo Scholz at the University of Herriot-Watt in Edinburgh, UK.
- Oct 2015: Guest lectures on Computer Architecture at the University of Amsterdam, Master Systems and Network Engineering (MSc SNE).
- Sep-Dec 2015: Lecturing on Computer Architecture at the University of Leiden (BSc).
- Jul-Aug 2015: Developed the Leerlijn Informaticavaardigheden with Robert van Wijk and Floris Kroon.
- Aug 2015: Receiving Pekka Jääskeläinen from Tampere University of Technology, Finland, to work on high-performance benchmarking for embedded systems.
- Jul 2015: Participating in the HiPEAC ACACES 2015 summer school in Fiuggi, Italy.
- Apr-May 2015: Lecturing on Operating Systems at the University of Amsterdam (BSc).
- Apr 2015: Received a 500K€ STW research grant (iDAPT) with Andy Pimentel to investigate extra-functional application management, in partnership with ASML.
- Jan 2015: Received a 80K€ RVO/STARS research grant (ReNeXT) with Andy Pimentel for a contribution to the STARS project in partnership with Thales Netherlands. The topic is dynamic modeling of extra-functional behavior on reconfigurable platforms.
- Jan 2015: Participating in the program committee of the ADAPT workshop.
- Dec 2014: Authored a syllabus for the course “Introduction to programming (Java)” at the VU Amsterdam.
- Oct 2014: Invited as member of the defense committee of a PhD candidate in Amsterdam, The Netherlands.
- Oct 2014: Invited as member of the defense committee of a PhD candidate in Prague, Czech Republic.
- Sep 2014: My article on Rust was translated into Japanese.
- Sep 2014: My article on the programmer proficiency matrix was translated into Russian.
- Sep-Dec 2014: Lecturing on Computer Architecture at the University of Leiden (BSc).
- Sep-Dec 2014: Lecturing on Systems Programming and Introduction to Programming at the VU Amsterdam (BSc).
- Aug 2014: Speaking at SIMULTECH conference about high-level simulation of microgrids.
- Jul 2024: New article: Rust for functional programmers.
- Jul 2014: New article: How good are you at programming?.
- Jun 2014: Speaking at the International Workshop on Reproducible Research Methodologies and New Publication Models (TRUST‘14) on Academia 2.0 (paper, slides).
- Apr 2014: Invited as guest lecturer in the BSc course Operating Systems (University of Amsterdam), talking about machine virtualization (slides).
- Apr 2014: New article: Categories from scratch.
- Mar 2014: New article on Haskell for OCaml programmers.
- Feb 2014: Speaking at the PDP conference about analytical-based simulation of Microgrids.
- Feb 2014: Speaking at the OOPSLE Workshop at the CSMR-WCRE 2014 conference about automatic programming language generation and people-specific languages (abstract).
- Jan 2014: Speaking at the Dutch Functional Programming Day 2014 about abstract machine models and compositional hardware virtualization (slides, local copy).
- Dec 2013: Invited as guest lecturer in the MSc program System and Network Engineering (University of Amsterdam), talking about Extrinsically Adaptable Systems (slides, article).
- Nov 2013: Invited lecture on the Microgrid and MGSim at the Chinese Academy of Science, Institute for Computer Technology (ICT, Beijing).
- Nov 2013: Invited lecture on MGSim and fault tolerance at the Beijing Institute of Control Engineering (BICE).
- Oct 2013: Speaking at the CSA seminar about the OpenRISC project and processor (slides).
- Oct 2013: Invited as guest researcher at the University of Hertfordshire (2 days), by prof. Alex Shafarenko, working on AstraKahn.
- Oct 2013: Attending the ORCONF 2013 conference in Cambridge, UK.
- Sep 2013: Invited as guest researcher at the University of Heriott-Watt (4 days), by prof. Sven-Bodo Scholz. Working on the SACCADE project and research opportunities.
- Sep 2013: Participating to the Single-Assignment C “DevCamp” in Liebenau, Austria, as part of the ADVANCE and SACCADE projects.
- Sep 2013: Preliminary experiments with OpenRISC / de0 nano.
- Sep 2013: Introduction to Unix to 1st year BSc students at the UvA.
- Sep-Dec 2013: Lecturing on Computer Architecture at the University of Leiden (BSc).
- Aug 2013: Receiving Pekka Jääskeläinen from Tampere University of Technology, Finland, to work on integrating the TTA core simulator within the MGSim framework.
- Jul 2013: Speaking at the SAMOS conference about the MGSim framework (slides).
- Jun 2013: Invited as guest researcher at the University of Heriott-Watt (1 week), by prof. Sven-Bodo Scholz. Working on Single-Assignment C and research opportunities.
- May 2013: Invited as guest researcher at the University of Hertfordshire (3 days), by prof. Alex Shafarenko. Speaking at the CTCA group about concurrency patterns in interactive monitors (slides).
- Apr 2013: Invited as guest researcher at the University of Hertfordshire (3 days), by prof. Alex Shafarenko. Working on the design of AstraKahn.
- Jan 2013: Speaking at the CSA seminar about epistemology (slides).
- Dec 2012: Invited as guest researcher at the University of Hertfordshire (3 days), by prof. Alex Shafarenko. Working on a collaborative article on S+Net and extra-functional coordination, and the design of AstraKahn.
- Nov 2012: Speaking at the CWI’s Programming Environment Meeting colloquium (invited talk) about transformational systems and hardware virtualization (slides).
- Oct 2012: Speaking at the CSA seminar about the status of SVP-related research (slides).
- Oct 2012: Speaking at the LRDE, Paris, France (invited talk) about microthreading (slides, video).
- Oct 2012: Member of the program committee for the ARCS 2013 conference.
- Sep 2012: Speaking at the Euromicro DSD conference (invited talk) about the Apple-CORE project (slides).
- Sep-Dec 2012: Lecturing on Computer Architecture at the University of Leiden (BSc).
- Sep 2012: Public doctoral defense (slides).
- Jun 2012: Participating to the S-NET and Single-Assignment C “DevCamp” in Wales, UK, as part of the ADVANCE project.
- May 2012: Speaking at the IvI colloquium over Science vs Innovation in Computer Architecture (slides).
- Mar 2012: Attending the ASPLOS Doctoral Workshop, speaking about the Apple-CORE project (slides).
- Feb 2012: Speaking at INTERACT, co-located w/ HPCA, about distributed reference counting (slides).
- Jan 2012: Co-organizing and speaking at the Apple-CORE workshop at the HiPEAC conference (slides).
- Jan 2012: Speaking at the RAPIDO workshop at the HiPEAC conference about heterogeneous integration for simulations (slides).
- Sep-Dec 2012: Lecturing on Computer Architecture at the University of Amsterdam (MSc).
- Sep 2011: Speaking at the CSA seminar about thread-local storage (slides).
- Aug 2011: Speaking at the CSA seminar about progress with SVP and Microgrids (slides).
- Jul 2011: Participating to the Single-Assignment C “DevCamp” in Riga, Latvia, towards finalizing the Apple-CORE project.
- Jan 2011: Speaking at the CSA seminar about the Microgrid OS (slides).
- Aug 2010: Speaking at the HPPC workshop, co-located w/ Euro-Par, about resource-agnostic programming of microgrids (slides).
- Jun 2010: Speaking at the AMP workshop at the PLDI conference about concurrency granularities (slides).
- Sep 2009: Speaking at the Adaptive parallel computing symposium at the ParCo conference.