From 74f356dee6b008147d8171b911d1dc63faf5cd64 Mon Sep 17 00:00:00 2001
From: Saswat Padhi <saswatpadhi@protonmail.com>
Date: Thu, 7 Dec 2023 04:14:17 +0000
Subject: [PATCH] minor

---
 _publications/oopsla2018_flashprofile.md | 2 +-
 _publications/syguscomp_loopinvgen.md    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/_publications/oopsla2018_flashprofile.md b/_publications/oopsla2018_flashprofile.md
index 8b7f326..da09a77 100644
--- a/_publications/oopsla2018_flashprofile.md
+++ b/_publications/oopsla2018_flashprofile.md
@@ -19,7 +19,7 @@ tweet: 'We present a technique, called _FlashProfile_{:.small-caps}, to generate
         Furthermore, we show that data profiles can improve accuracy and efficiency of PBE techniques.'
 
 target:
-  short: OOPSLA
+  short: 'PACMPL: OOPSLA'
   full: 'Proceedings of the ACM on Programming Languages Vol. 2 (OOPSLA), 2018'
   link: 'https://2018.splashcon.org/track/splash-2018-OOPSLA'
 
diff --git a/_publications/syguscomp_loopinvgen.md b/_publications/syguscomp_loopinvgen.md
index d07fe4c..ac9b5f4 100644
--- a/_publications/syguscomp_loopinvgen.md
+++ b/_publications/syguscomp_loopinvgen.md
@@ -9,7 +9,7 @@ title: 'LoopInvGen: A Loop Invariant Generator based on Precondition Inference'
 authors: ['Saswat Padhi', '[Rahul Sharma]', '[Todd Millstein]']
 
 target:
-  short: SyGuS-Comp Contribution
+  short: SyGuS-Comp Entry
   full: 'Overview of _LoopInvGen_{:.small-caps}, our submission to the _Inv_{:.small-caps} track of the SyGuS Competition 2019'
   link: 'http://sygus.org/comp/2018'