minor

SaswatPadhi · Dec 7, 2023 · 74f356d · 74f356d
1 parent 3e5094e
commit 74f356d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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'