projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0b781ce
)
more https
author
Ralf Jung
<post@ralfj.de>
Sun, 19 Jun 2022 16:07:09 +0000
(09:07 -0700)
committer
Ralf Jung
<post@ralfj.de>
Sun, 19 Jun 2022 16:07:09 +0000
(09:07 -0700)
research/publications.html
patch
|
blob
|
history
diff --git
a/research/publications.html
b/research/publications.html
index 45b6db0bef4447bc5778100298f0562d94c0728e..7d85125fa65ca6aa02f3e89ba2156b2988dc8c4c 100644
(file)
--- a/
research/publications.html
+++ b/
research/publications.html
@@
-20,7
+20,7
@@
slug: Publications
<b>GhostCell: Separating Permissions from Data in Rust</b><br/>
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer<br>
<i>In <a href="https://icfp21.sigplan.org/">ICFP 2021</a></i><br>
<b>GhostCell: Separating Permissions from Data in Rust</b><br/>
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer<br>
<i>In <a href="https://icfp21.sigplan.org/">ICFP 2021</a></i><br>
- [<a href="http
://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf">paper</a>] [<a href="http
://plv.mpi-sws.org/rustbelt/ghostcell/">paper website</a> (incl. Coq formalization)]
+ [<a href="http
s://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf">paper</a>] [<a href="https
://plv.mpi-sws.org/rustbelt/ghostcell/">paper website</a> (incl. Coq formalization)]
</li></ul>
<ul><li>
</li></ul>
<ul><li>
@@
-171,6
+171,6
@@
slug: Publications
<ul><li>
<b>Unifying Worlds and Resources</b><br/>
Ralf Jung, Derek Dreyer<br>
<ul><li>
<b>Unifying Worlds and Resources</b><br/>
Ralf Jung, Derek Dreyer<br>
- <i>At <a href="http://users-cs.au.dk/birke/hope-2015/">HOPE 2015</a>: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects</i><br>
+ <i>At <a href="http
s
://users-cs.au.dk/birke/hope-2015/">HOPE 2015</a>: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects</i><br>
[<a href="iris/talk-hope2015.pdf">slides</a>] [<a href="https://www.youtube.com/watch?v=9Dyna88piek&list=PLnqUlCo055hX6SsmMr1AmW6quMjvdMPvK&index=10" target="_blank">YouTube</a>]
</li></ul>
[<a href="iris/talk-hope2015.pdf">slides</a>] [<a href="https://www.youtube.com/watch?v=9Dyna88piek&list=PLnqUlCo055hX6SsmMr1AmW6quMjvdMPvK&index=10" target="_blank">YouTube</a>]
</li></ul>