update

drcicero · Jan 28, 2024 · 610964f · 610964f
1 parent 1f2d1fb
commit 610964f
Showing 1 changed file with 37 additions and 36 deletions.
diff --git a/cv.html b/cv.html
@@ -214,60 +214,61 @@ <h2 id="education">Education</h2>
     <h2 id="research">Research</h2>
     <p>Research Assistant</p>
     <ul>
-    <li><p>ECOOP 2023.
-    <a href="https://2023.ecoop.org/details/ecoop-2023-papers/40/A-Direct-Style-Effect-Notation-for-Sequential-and-Parallel-Programs">A
-    Direct-Style Effect Notation for Sequential and Parallel
-    Programs</a>. <em>David Richter</em>, Timon Böhler, Pascal
-    Weisenburger, Mira Mezini.<br>
+    <li><p><strong>A Direct-Style Effect Notation for Sequential and
+    Parallel Programs</strong>. <em>David Richter</em>, Timon Böhler,
+    Pascal Weisenburger, Mira Mezini.<br>
+    <a href="https://2023.ecoop.org/details/ecoop-2023-papers/40/A-Direct-Style-Effect-Notation-for-Sequential-and-Parallel-Programs">ECOOP
+    2023. <strong>Distinguished Paper &amp; Distinguished
+    Artifact</strong></a>.
     <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.25">(paper)</a>
     <a href="https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17">(artfact)</a>
     <a href="https://github.com/stg-tud/parseq-notation">(code)</a>
     <a href="https://arxiv.org/abs/2305.08496">(arxiv)</a></p></li>
-    <li><p>FTfJP 2023.
-    <a href="https://2023.ecoop.org/details/FTfJP-2023/3/Using-Rewrite-Strategies-for-Efficient-Functional-Automatic-Differentiation">Using
-    Rewrite Strategies for Efficient Functional Automatic
-    Differentiation</a>. Timon Böhler, <em>David Richter</em>, Mira
-    Mezini.<br>
+    <li><p><strong>Using Rewrite Strategies for Efficient Functional
+    Automatic Differentiation</strong>. Timon Böhler, <em>David
+    Richter</em>, Mira Mezini.<br>
+    <a href="https://2023.ecoop.org/details/FTfJP-2023/3/Using-Rewrite-Strategies-for-Efficient-Functional-Automatic-Differentiation">FTfJP
+    2023</a>.
     <a href="https://dl.acm.org/doi/10.1145/3605156.3606456">(acm)</a>
     <a href="https://arxiv.org/abs/2307.02447">(arxiv)</a></p></li>
-    <li><p>TOPLAS 2023.
-    <a href="https://2022.ecoop.org/details/ecoop-2022-papers/28/Prisma-A-tierless-language-for-enforcing-contract-client-protocols-in-decentralized-">Prisma:
-    A tierless language for enforcing contract-client protocols in
-    decentralized apps</a>. <em>David Richter</em>, David Kretzler,
-    Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira
-    Mezini.<br>
+    <li><p><strong>Prisma: A tierless language for enforcing
+    contract-client protocols in decentralized apps</strong>. <em>David
+    Richter</em>, David Kretzler, Pascal Weisenburger, Guido
+    Salvaneschi, Sebastian Faust, Mira Mezini.<br> TOPLAS 2023.
     <a href="https://dl.acm.org/doi/10.1145/3604629">(acm)</a>
     <a href="https://github.com/stg-tud/prisma">(code)</a></p></li>
-    <li><p>ECOOP 2022.
-    <a href="https://2022.ecoop.org/details/ecoop-2022-papers/28/Prisma-A-tierless-language-for-enforcing-contract-client-protocols-in-decentralized-">Prisma:
-    A tierless language for enforcing contract-client protocols in
-    decentralized apps (Extended Artifact)</a>. <em>David Richter</em>,
-    David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian
-    Faust, Mira Mezini.<br>
+    <li><p>Prisma: A tierless language for enforcing contract-client
+    protocols in decentralized apps (Extended Abstract). <em>David
+    Richter</em>, David Kretzler, Pascal Weisenburger, Guido
+    Salvaneschi, Sebastian Faust, Mira Mezini.<br>
+    <a href="https://2022.ecoop.org/details/ecoop-2022-papers/28/Prisma-A-tierless-language-for-enforcing-contract-client-protocols-in-decentralized-">ECOOP
+    2022</a>.
     <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.35">(paper)</a>
     <a href="https://arxiv.org/pdf/2205.07780.pdf">(arxiv / extended
     version)</a>
     <a href="https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.16">(artifact)</a></p></li>
-    <li><p>ECOOP 2021. Distinguished Paper.
-    <a href="https://2021.ecoop.org/details/ecoop-2021-ecoop-research-papers/9/Multiparty-Languages-the-Choreographic-and-Multitier-Cases">Multiparty
-    Languages: the Choreographic and Multitier Cases (Pearl)</a>.
-    Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, <em>David
-    Richter</em>, Guido Salvaneschi, Pascal Weisenburger.<br>
+    <li><p><strong>Multiparty Languages: the Choreographic and Multitier
+    Cases (Pearl)</strong>. Saverio Giallorenzo, Fabrizio Montesi, Marco
+    Peressotti, <em>David Richter</em>, Guido Salvaneschi, Pascal
+    Weisenburger.<br>
+    <a href="https://2021.ecoop.org/details/ecoop-2021-ecoop-research-papers/9/Multiparty-Languages-the-Choreographic-and-Multitier-Cases">ECOOP
+    2021. <strong>Distinguished Paper</strong></a>.
     <a href="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.22">(paper)</a>
     <a href="https://youtube.com/watch?v=zx07I-f7ZME">(video)</a></p></li>
-    <li><p>REBLS 2019.
-    <a href="https://2019.splashcon.org/details/rebls-2019-papers/3/Turning-Unobservable-into-Unreachable-Dynamic-Reactive-Programming-without-Leaks">Turning
-    Unobservable into Unreachable: Dynamic Reactive Programming without
-    Leaks</a>. <em>David Richter</em>, Ragnar Mogk.<br>
+    <li><p>Turning Unobservable into Unreachable: Dynamic Reactive
+    Programming without Leaks</a>. <em>David Richter</em>, Ragnar
+    Mogk.<br>
+    <a href="https://2019.splashcon.org/details/rebls-2019-papers/3/Turning-Unobservable-into-Unreachable-Dynamic-Reactive-Programming-without-Leaks">REBLS
+    2019</a>.
     <a href="https://2019.splashcon.org/details/rebls-2019-papers/3/Turning-Unobservable-into-Unreachable-Dynamic-Reactive-Programming-without-Leaks">(pdf)</a></p></li>
     </ul>
     <p>Student Research Assistant</p>
     <ul>
-    <li>LIVE 2018.
-    <a href="https://2018.splashcon.org/details/live-2018-papers/10/From-Debugging-Towards-Live-Tuning-of-Reactive-Applications">From
-    Debugging Towards Live Tuning of Reactive Applications</a>. Ragnar
-    Mogk, Pascal Weisenburger, Julian Haas, <em>David Richter</em>,
-    Guido Salvaneschi, Mira Mezini.<br>
+    <li>From Debugging Towards Live Tuning of Reactive Applications.
+    Ragnar Mogk, Pascal Weisenburger, Julian Haas, <em>David
+    Richter</em>, Guido Salvaneschi, Mira Mezini.<br>
+    <a href="https://2018.splashcon.org/details/live-2018-papers/10/From-Debugging-Towards-Live-Tuning-of-Reactive-Applications">LIVE
+    2018</a>.
     <a href="http://www.st.informatik.tu-darmstadt.de/preprints/From-Debugging-Towards-Live-Tuning-of-Reactive-Applications.pdf">(pdf)</a></li>
     </ul>
     <h2 id="projects">Projects</h2>