Archive notice: This site is an academic archive of my past research work. It is not updated, and some links or references may be obsolete. For current projects and commercial work, please visit raphaelposs.com.

Events

During my time in academia I was invited to talk to various events:

  • 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.