OSDI not POPL

SprocketLab · Apr 28, 2020 · 0a71dd4 · 0a71dd4
1 parent 7154c31
commit 0a71dd4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -53,7 +53,7 @@ <h2 id="schedule">Schedule</h2>
 </tr>
 <tr>
 	<td> 2020&#8211;4&#8211;29 </td>
-	<td> <a href="https://dl.acm.org/doi/pdf/10.1145/2408776.2408795">Symbolic Execution for Software Testing: Three Decades Later (CACM '13)</a> <a href="https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf">(alt version w/printable formatting)</a> &amp; <a href="https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf">KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (POPL '08)</a>                        </td>
+	<td> <a href="https://dl.acm.org/doi/pdf/10.1145/2408776.2408795">Symbolic Execution for Software Testing: Three Decades Later (CACM '13)</a> <a href="https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf">(alt version w/printable formatting)</a> &amp; <a href="https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf">KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (OSDI '08)</a>                        </td>
 	<td> Brian </td>
 </tr>
 </tbody>

diff --git a/src/index.md b/src/index.md
@@ -19,7 +19,7 @@ For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at [https://uchicago.
 | 2020-4-1  | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian  |
 | 2020-4-8  | [Extensible Datasort Refinements (ESOP '17)](https://arxiv.org/pdf/1701.02842) (See also [blog post on terminology](http://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/))                                                                                                                                                                                                                                                                                          | Brian  |
 | 2020-4-15 | [Can functional programming be liberated from the von Neumann paradigm? (2010 Blog Post)](http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm)                                                                                                                                                                                                                                                                                            | Nick   |
-| 2020-4-29 | [Symbolic Execution for Software Testing: Three Decades Later (CACM '13)](https://dl.acm.org/doi/pdf/10.1145/2408776.2408795) [(alt version w/printable formatting)](https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf) & [KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (POPL '08)](https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf)                                                                                                | Brian  |
+| 2020-4-29 | [Symbolic Execution for Software Testing: Three Decades Later (CACM '13)](https://dl.acm.org/doi/pdf/10.1145/2408776.2408795) [(alt version w/printable formatting)](https://people.eecs.berkeley.edu/~ksen/papers/cacm13.pdf) & [KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (OSDI '08)](https://llvm.org/pubs/2008-12-OSDI-KLEE.pdf)                                                                                                | Brian  |
 
 ## Past Terms