Update publications.md

Added FSE work
souffle-lang · Oct 7, 2024 · 105a73b · 105a73b
1 parent 1ad8bd8
commit 105a73b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pages/docs/publications.md b/pages/docs/publications.md
@@ -6,6 +6,8 @@ folder: docs
 toc: false
 ---
 ## Publications
+ * Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury:
+Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE 2023: 1216-1228; ([link](https://dl.acm.org/doi/10.1145/3611643.3616363))
  * Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotić, and Bernhard Scholz:
 Building a Join Optimizer for Soufflé. LOPSTR 2022: 83–102; ([link](/pdf/lopstr2022.pdf)).
  * Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz: