From b84528e59995968211680b1aa38d046dc81531a6 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 11 Jul 2018 12:42:06 +0200 Subject: [PATCH 1/1] blog post: back at mozilla --- .../_posts/2018-07-11-research-assistant.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 personal/_posts/2018-07-11-research-assistant.md diff --git a/personal/_posts/2018-07-11-research-assistant.md b/personal/_posts/2018-07-11-research-assistant.md new file mode 100644 index 0000000..7ff0d91 --- /dev/null +++ b/personal/_posts/2018-07-11-research-assistant.md @@ -0,0 +1,18 @@ +--- +title: "Back at Mozilla" +categories: internship rust +--- + +After my [internship last year has ended]({{ site.baseurl }}{% post_url 2017-08-12-internship-ending %}), I naturally became somewhat less active in the Rust community as I could not work on Rust full-time any more. +Well, for the following months I am going to be back full-time. :) +Thanks to @aturon, I am able to work as a research assistant for Mozilla during this summer (until the end of November). +I don't really know what a "research assistant" is, but I am going to continue the work on Rust memory models, and hopefully also have some time to make progress on `union` semantics. + + + +After exploring [a "validity"-based model]({{ site.baseurl }}{% post_url 2017-08-11-types-as-contracts-evaluation %}) last year, I am going to be looking at an "alias"-based model this year. +That's the kind of model @arielb1, @ubsan and others have been proposing, and I am going to build on top of their work and hopefully come up with something we can actually implement a checker for +(staying true to the [vision I laid out previously]({{ site.baseurl }}{% post_url 2017-06-06-MIR-semantics %}) that we should have an executable operational semantics for MIR, including its [undefined behavior]({{ site.baseurl }}{% post_url 2017-07-14-undefined-behavior %})). +Expect a blog post soon for what I mean by "validity"-based vs. "alias"-based, and for a first draft of such an "alias"-based model. + +Until then, stay tuned! -- 2.30.2