From ec692a3dcd495e6b87f7d3ea4c485df36141b5a7 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 2 Oct 2024 13:52:33 +0200 Subject: [PATCH 1/1] twinsem paper: directly link to current location --- research/publications.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/research/publications.html b/research/publications.html index 3ed5559..7bab2e1 100644 --- a/research/publications.html +++ b/research/publications.html @@ -107,7 +107,7 @@ slug: Publications Reconciling High-Level Optimizations and Low-Level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
In OOPSLA 2018
- [paper] [paper website] + [paper] [paper website]