add link to oopsla'23

QinlinChen · Oct 13, 2023 · 5d40383 · 5d40383
1 parent ec19083
commit 5d40383
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.md b/index.md
@@ -23,7 +23,7 @@ I am studying for a Ph.D. degree in the [Pascal Research Group](https://pascal-l
 
 ## Publications
 
-- [The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.](papers/2023_OOPSLA_LambdaV.pdf) (OOPSLA'23)
+- [The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.](papers/2023_OOPSLA_LambdaV.pdf) ([OOPSLA'23](https://2023.splashcon.org/track/splash-2023-oopsla))
   - **Qinlin Chen**, Nairen Zhang, Jinpeng Wang, Tian Tan\*, Chang Xu, Xiaoxing Ma and Yue Li\*.
 
 ## Posts