From 8858dca132f6b320101d13855ca8e888f48648ff Mon Sep 17 00:00:00 2001 From: Lindsey Kuper Date: Fri, 4 Oct 2019 00:31:24 -0700 Subject: [PATCH] Oops. --- readings.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readings.md b/readings.md index 16de203..bfaf739 100644 --- 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 | 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 | 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)