submit

breandan · Oct 12, 2024 · 1869942 · 1869942
1 parent 00b60d2
commit 1869942
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/latex/tacas2025/tools_track.pdf b/latex/tacas2025/tools_track.pdf
diff --git a/latex/tacas2025/tools_track.tex b/latex/tacas2025/tools_track.tex
@@ -185,7 +185,7 @@
 %
 \title{Tidyparse: A Tool for Realtime Syntax Repair}
 %
-\titlerunning{Realtime syntax repair with resource constraints}
+\titlerunning{Tidyparse: A Tool for Realtime Syntax Repair}
 % If the paper title is too long for the running head, you can set
 % an abbreviated paper title here
 %
@@ -206,7 +206,7 @@
 %
 \begin{abstract}
   We describe the implementation of a tool for real-time syntax correction in an IDE. Upon activation, our tool takes a syntactically invalid source code fragment around the caret position, and produces a small set of suggested repairs. We model the problem of syntax repair as a structured prediction task, whose goal is to generate the most likely valid repair in a small edit distance of the invalid code fragment.
-  \keywords{Error correction \and CFL reachability \and Langauge games.}
+  \keywords{Error correction \and CFL reachability \and Language games.}
 \end{abstract}
 
 \section{Introduction}