Oops.

lkuper · Oct 4, 2019 · 8858dca · 8858dca
1 parent bacc2b4
commit 8858dca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/readings.md b/readings.md
@@ -41,7 +41,7 @@ Will, Zehui, Matthew, David L, Gan
 | Monday, 11/11    | No class (Veterans Day)
 | Wednesday, 11/13 | Solver-aided languages                         | TBD <!-- Gan -->     | Niki Vazou et al., [Refinement types for Haskell (ICFP 2014)](https://dl.acm.org/citation.cfm?id=2628161) ([off-campus access link](https://dl-acm-org.oca.ucsc.edu/citation.cfm?id=2628161))
 | Friday, 11/15    | Solver-aided languages                         | Guest lecture: [James Bornholt (UT Austin)](https://www.cs.utexas.edu/~bornholt/) | James Bornholt and Emina Torlak, [Finding code that explodes under symbolic evaluation (OOPSLA 2018)](https://www.cs.utexas.edu/~bornholt/papers/sympro-oopsla18.pdf)
-| Monday, 11/18    | Solver-aided languages **(Project status update week begins)** | Ali Sinan Köksal, Viktor Kuncak, and Philippe Suter, [Constraints as control (POPL 2012)](https://dl.acm.org/citation.cfm?id=2103675) ([off-campus access link](https://dl-acm-org.oca.ucsc.edu/citation.cfm?id=2103675))
+| Monday, 11/18    | Solver-aided languages **(Project status update week begins)** | TBD  | Ali Sinan Köksal, Viktor Kuncak, and Philippe Suter, [Constraints as control (POPL 2012)](https://dl.acm.org/citation.cfm?id=2103675) ([off-campus access link](https://dl-acm-org.oca.ucsc.edu/citation.cfm?id=2103675))
 | Wednesday, 11/20 | Solver-aided systems                           | TBD <!-- David L --> | Valter Balegas et al., [Putting consistency back into eventual consistency (EuroSys 2015)](https://dl.acm.org/citation.cfm?id=2741972) ([off-campus access link](https://dl-acm-org.oca.ucsc.edu/citation.cfm?id=2741972))
 | Friday, 11/22    | Solver-aided systems **(Project status update week ends)** | TBD      | KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan, [Declarative Programming over Eventually Consistent Data Stores (PLDI 2015)](http://kcsrk.info/papers/quelea_pldi15.pdf)
 | Monday, 11/25    | Solver-aided systems                           | TBD                  | Pavel Panchekha and Emina Torlak, [Automated reasoning for web page layout (OOPSLA 2016)](https://dl.acm.org/citation.cfm?id=2984010)