diff --git a/data/content.toml b/data/content.toml index 31c733ce8..34681aee4 100644 --- a/data/content.toml +++ b/data/content.toml @@ -31,7 +31,7 @@ lesson = 5 [[classes]] title = "Profiling" -leader = "Bennett Wineholt" +leader = "TK" readings = ["ball-larus"] [[classes]] @@ -45,7 +45,7 @@ lesson = 7 [[classes]] title = "Automatic Verification" -leader = "Benjamin Carleton, Surendra Ghentiyala" +leader = "TK" readings = ["alive"] @@ -62,7 +62,7 @@ lesson = 10 [[classes]] title = "Alias-Based Optimization" -leader = "Kei Imada, Jan-Paul Ramos, Ryan Mao, Albert Xiao" +leader = "TK" readings = ["tbaa"] @@ -73,12 +73,12 @@ lesson = 11 [[classes]] title = "GC & Reference Counting" -leader = "Omkar Bhalerao, Sanjit Basker, Justin Ngai, Melinda Fang" +leader = "TK" readings = ["ugc"] [[classes]] title = "Fancy Memory Management" -leader = "Evan, Andy, Emily" +leader = "TK" readings = ["mesh"] @@ -89,12 +89,12 @@ lesson = 12 [[classes]] title = "Dynamic Languages" -leader = "Benny Rubin, Collin Zhang, Alice Sze" +leader = "TK" readings = ["self"] [[classes]] title = "Tracing" -leader = "Vivian Ding and William Wang and Enoch Chen" +leader = "TK" readings = ["tracemonkey"] @@ -103,15 +103,14 @@ readings = ["tracemonkey"] [[classes]] lesson = 13 -# Replaced with guest lecture. -# [[classes]] -# title = "Superoptimization" -# leader = "TK" -# readings = ["super"] +[[classes]] +title = "Superoptimization" +leader = "TK" +readings = ["super"] [[classes]] title = "Synthesis-Aided Compilers" -leader = "Yixiao Du and Matthew Hofmann" +leader = "TK" readings = ["chlorophyll"] @@ -125,10 +124,10 @@ lesson = 14 [[classes]] title = "Compiler Frameworks" -leader = "John Rubio, Arjun Shah, Jiahan Xie" +leader = "TK" readings = ["mlir"] [[classes]] title = "Interactive Verification" -leader = "Zak, Stephen V, Ali" +leader = "TK" readings = ["compcert"] diff --git a/data/schedule.toml b/data/schedule.toml index 789f81f70..b48045d78 100644 --- a/data/schedule.toml +++ b/data/schedule.toml @@ -1,122 +1,111 @@ [[days]] -date = "August 22" +date = "January 21" month = true [[days]] -date = "August 24" +date = "January 23" [[days]] -date = "August 29" -mon = true +date = "January 28" [[days]] -date = "August 31" +date = "January 30" [[days]] -date = "September 5" -mon = true +date = "February 4" month = true [[days]] -date = "September 7" +date = "February 6" [[days]] -date = "September 12" -mon = true +date = "February 11" [[days]] -date = "September 14" +date = "February 13" [[days]] -date = "September 19" -mon = true +date = "February 18" +canceled = true +event = "February break" [[days]] -date = "September 21" +date = "February 20" [[days]] -date = "September 26" -mon = true +date = "February 25" [[days]] -date = "September 28" - +date = "February 27" [[days]] -date = "October 3" -mon = true +date = "March 4" month = true [[days]] -date = "October 5" +date = "March 6" [[days]] -date = "October 10" -mon = true -canceled = true -event = "Fall break" +date = "March 11" [[days]] -date = "October 12" +date = "March 13" [[days]] -date = "October 17" -mon = true +date = "March 18" [[days]] -date = "October 19" -notes = ["Due: [Project](../syllabus/#project) proposal."] +date = "March 20" [[days]] -date = "October 24" -mon = true +date = "March 25" [[days]] -date = "October 26" +date = "March 27" +[[days]] +date = "April 1" +month = true +canceled = true +event = "Spring break" [[days]] -date = "October 31" -mon = true +date = "April 3" +canceled = true +event = "Spring break" [[days]] -date = "November 2" -month = true +date = "April 8" [[days]] -date = "November 7" -mon = true +date = "April 10" [[days]] -date = "November 9" +date = "April 15" +notes = ["Due: [Project](../syllabus/#project) proposal."] [[days]] -date = "November 14" -mon = true +date = "April 17" [[days]] -date = "November 16" -event = "[Guest Lecture](../guest/) by Thierry Lavoie, Oracle" +date = "April 22" [[days]] -date = "November 21" -mon = true +date = "April 24" [[days]] -date = "November 23" -canceled = true -event = "Thanksgiving" +date = "April 29" [[days]] -date = "November 28" -mon = true +date = "May 1" +month = true [[days]] -date = "November 30" +date = "May 6" [[days]] -date = "December 11" -event = "Final project deadline (4:30pm)" +date = "TBD" +event = "Final project deadline" canceled = true -mon = true notes = ["Due: [Project](../syllabus/#project)."] +month = true