From: Ralf Jung Date: Tue, 7 Aug 2018 09:10:10 +0000 (+0200) Subject: more https X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/04fb252e44356ce32328819b1a42df753b095190?ds=inline more https --- diff --git a/personal/projects/index.md b/personal/projects/index.md index 72fbb7c..c5d3f4a 100644 --- a/personal/projects/index.md +++ b/personal/projects/index.md @@ -16,7 +16,7 @@ But maybe you are having just the same problem as I did, in which case I hope th * [schsh](schsh/): A collection of scripts and configuration files which can be used to grant someone secure (SSH-based) access to a machine, without giving them a shell or read access to the entire file system. -* [Rust-101](rust-101/): A small tutorial for the [Rust language](http://www.rust-lang.org). +* [Rust-101](rust-101/): A small tutorial for the [Rust language](https://www.rust-lang.org). * [git-mirror](git-mirror/): This can keep multiple git repositories of the same project in sync automatically. For some more of my projects, check out the [public git repositories](https://www.ralfj.de/git/) diff --git a/research/index.html b/research/index.html index 825ee99..14eb3c2 100644 --- a/research/index.html +++ b/research/index.html @@ -4,7 +4,7 @@ title: Ralf Jung
-

I am a PhD student at Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Derek Dreyer, head of the Foundations of Programming group.

+

I am a PhD student at Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Derek Dreyer, head of the Foundations of Programming group.

Previously, I did my Bachelor's thesis in computer science at the Compiler Design chair of the university (also see below).

diff --git a/research/publications.html b/research/publications.html index 5b30140..71d6be5 100644 --- a/research/publications.html +++ b/research/publications.html @@ -8,7 +8,7 @@ slug: Publications

2018

@@ -17,7 +17,7 @@ slug: Publications MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
In ICFP 2018: 23nd ACM SIGPLAN International Conference on Functional Programming
- [paper] [paper website (incl. appendix and Coq formalization)] + [paper] [paper website (incl. appendix and Coq formalization)]