add my research page; make its links absolute; tune spacing

On branch master
	deleted:    _posts/2015-10-10-welcome.md
Untracked files:
	_posts/2015-10-09-welcome.md
no changes added to commit (use "git add" and/or "git commit -a")

diff --git a/_includes/menu-level.html b/_includes/menu-level.html
index 2b6ca01d25e5ea86b3bc8de57b1c8d5193bc3e49..03cdc1380b82f877e51b2f830d273004068c4b15 100644 (file)
--- a/_includes/menu-level.html
+++ b/_includes/menu-level.html
@@ -1,5 +1,5 @@
 <ul><!--{% for item in include.menu %}
 <ul><!--{% for item in include.menu %}

-    --><li class="{{ item.class }}"><a class="{{ item.class }}" href="{{ item.url }}">{{ item.title }}</a></li><!--
+    --><li class="{{ item.class }}"><a class="{{ item.class }}" href="{% if page.absolute_urls %}{{ site.url }}{% endif %}{{ item.url }}">{{ item.title }}</a></li><!--

     {% if item.sub %}
         --><li class="sub">{% include menu-level.html menu=item.sub %}</li><!--
     {% endif %}
     {% if item.sub %}
         --><li class="sub">{% include menu-level.html menu=item.sub %}</li><!--
     {% endif %}

diff --git a/_layouts/default.html b/_layouts/default.html
index aba9c6c0724b0ec74199c5a5afc39a12e77fb997..5d27d6c709f154e0f73167316327a49fab792c25 100644 (file)
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -8,7 +8,7 @@
     <title>{% if page.pretitle %}{{ page.pretitle }} • {% endif %}{{ page.title }}</title>
     {% if page.excerpt %}<meta name="description" content="{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}">{% endif %}
 
     <title>{% if page.pretitle %}{{ page.pretitle }} • {% endif %}{{ page.title }}</title>
     {% if page.excerpt %}<meta name="description" content="{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}">{% endif %}
 

-    <link rel="stylesheet" href="/style.css">
+    <link rel="stylesheet" href="{% if page.absolute_urls %}{{ site.url }}{% endif %}/style.css">

     {% capture canonicalurl %}{{ page.url | replace:'index.html','' }}{% endcapture %}
     <link rel="canonical" href="{{ canonicalurl | prepend: site.url }}">
     {% if page.rss %}<link rel="alternate" type="application/rss+xml" title="{{ site.blog.title }}" href="/blog/feed.xml" />{% endif %}
     {% capture canonicalurl %}{{ page.url | replace:'index.html','' }}{% endcapture %}
     <link rel="canonical" href="{{ canonicalurl | prepend: site.url }}">
     {% if page.rss %}<link rel="alternate" type="application/rss+xml" title="{{ site.blog.title }}" href="/blog/feed.xml" />{% endif %}

diff --git a/cs/research.html b/cs/research.html
new file mode 100644 (file)
index 0000000..2222b7f
--- /dev/null
+++ b/cs/research.html
@@ -0,0 +1,60 @@
+---
+title: Research
+absolute_urls: true
+hide: true
+---
+
+<p>I am a PhD student at <a href="http://www.mpi-sws.org/" target="_blank">Max Planck Institute for Software Systems (MPI-SWS)</a> and <a href="http://www.uni-saarland.de/" target="_blank">Saarland University</a> under the supervision of <a href="http://www.mpi-sws.org/~dreyer/" target="_blank">Derek Dreyer</a>, head of the <a href="http://plv.mpi-sws.org/" target="_blank">Foundations of Programming group</a>.</p>
+
+<p>Previously, I did my Bachelor's thesis in computer science at the <a href="http://www.cdl.uni-saarland.de/index.php">Compiler Design chair</a> of the university (also see below).</p>
+
+<p>I am currently working on logics to support modular reasoning about higher-order concurrent imperative programs. The focus is on providing simple building blocks that are powerful enough to recover previous reasoning techniques.</p>
+
+<p>In my free time, I like to run internet services myself and work on free software.
+This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world.
+See my <a href="https://www.ralfj.de" target="_blank">personal website</a> for more information, in particular some of my <a href="https://www.ralfj.de/projects" target="_blank">software projects</a>.</p>
+
+<h2 style="clear:both;">Thesis, Publications, Workshop Submissions</h2>
+
+<h4>2015</h4>
+
+<ul><li>
+  <b>Unifying Worlds and Resources</b><br/>
+  Ralf Jung, Derek Dreyer<br>
+  In HOPE 2015: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects<br>
+  [<a href="https://www.youtube.com/watch?v=9Dyna88piek&amp;list=PLnqUlCo055hX6SsmMr1AmW6quMjvdMPvK&amp;index=10" target="_blank">talk</a>] [<a href="iris/talk-hope2015.pdf">talk (slides)</a>]
+</li></ul>
+
+<ul><li>
+  <b>Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning</b><br/>
+  Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer<br>
+  In POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages<br>
+  [<a href="http://plv.mpi-sws.org/iris/">website</a>] [<a href="http://plv.mpi-sws.org/iris/paper.pdf">paper</a>] [<a href="http://plv.mpi-sws.org/iris/appendix.pdf">appendix</a>] [<a href="http://plv.mpi-sws.org/iris/distrib/iris-20141024.zip">coq</a>] [<a href="iris/talk-popl2015.pdf">talk (slides)</a>]
+</li></ul>
+
+<h4>2013</h4>
+<ul><li>
+  <b>An Intermediate Language To Formally Justify Memory Access Reordering</b> (Bachelor's Thesis)<br/>
+  Ralf Jung, Supervisor: Sebastian Hack, Advisor: Sigurd Schneider<br>
+  [<a href="bachelor/bachelor.pdf">pdf</a>] [<a href="bachelor/bachelor-talk.pdf">slides</a>] [<a href="bachelor/bachelor.zip">coq</a>]
+</li></ul>
+</p>
+
+<h2>Contact</h2>
+
+<h4>E-Mail Address</h4>
+
+<p>jung AT mpi-sws DOT org</p>
+
+<h4>Phone Number</h4>
+
+<p>+49 (681) 9303 8717</p>
+
+<h4>Work Address</h4>
+
+<p>
+Room 438<br/>
+MPI-SWS (Campus E1.5)<br/>
+66123 Saarbr&uuml;cken<br/>
+Germany 
+</p>

diff --git a/style.scss b/style.scss
index 914f5f9f13660b5d65e3e0532eb9929d90ac9204..2539cd007380f7b621db833c10a30cefad237076 100644 (file)
--- a/style.scss
+++ b/style.scss
@@ -42,7 +42,7 @@ h1, h2, h3, h4 {
 h1 {
     margin-top: 0.1em;
     font-size: 200%;
 h1 {
     margin-top: 0.1em;
     font-size: 200%;

-    margin-bottom: 0.4em;
+    margin-bottom: 0.5em;

 }
 h2 {
     margin-top: 0.5em;
 }
 h2 {
     margin-top: 0.5em;


@@ -77,9 +77,6 @@ body { /* This centers us in the page, and handles the "too wide" case */
 }
 
 /* The content of the frame */
 }
 
 /* The content of the frame */

-#-title h1 {
-    margin: 0;
-}

 #-content {
     margin-left: $intrusion-width;
     padding: $outer-margin;
 #-content {
     margin-left: $intrusion-width;
     padding: $outer-margin;


@@ -124,7 +121,7 @@ body { /* This centers us in the page, and handles the "too wide" case */
         background-color: $background-color;
     }
     a.root {
         background-color: $background-color;
     }
     a.root {

-        margin-top: 0.5em;
+        margin-top: 0.7em;

         border-bottom: solid $text-color 1px;
         margin-bottom: 0.3em;
     }
         border-bottom: solid $text-color 1px;
         margin-bottom: 0.3em;
     }


@@ -215,6 +212,8 @@ body { /* This centers us in the page, and handles the "too wide" case */
     }
 
     #-pretitle, .subtitle {
     }
 
     #-pretitle, .subtitle {

+        margin-bottom: 1em;
+

         h1 {
             display: inline-block;
             font-size: 165%;
         h1 {
             display: inline-block;
             font-size: 165%;


@@ -225,7 +224,7 @@ body { /* This centers us in the page, and handles the "too wide" case */
         }
     }
     .subtitle {
         }
     }
     .subtitle {

-        margin-top: 1.5em;
+        margin-top: 2em;

     }
 
     #-title {
     }
 
     #-title {