https://csgordon.github.io/ https://csgordon.github.io/books/ https://csgordon.github.io/courses/ https://csgordon.github.io/courses/cs350/ 2015-09-01 https://csgordon.github.io/courses/cs440sp2023/ 2023-04-08 https://csgordon.github.io/courses/cs440sp2024/ 2024-04-08 https://csgordon.github.io/courses/cs440sp2025/ 2025-04-08 https://csgordon.github.io/courses/cs441sp2022/ 2022-04-08 https://csgordon.github.io/courses/cs441sp2024/ 2024-04-08 https://csgordon.github.io/courses/cs647sp19/ 2019-04-01 https://csgordon.github.io/courses/cs647sp21/ 2021-04-01 https://csgordon.github.io/courses/cs647sp23/ 2023-04-01 https://csgordon.github.io/courses/cs647sp25/ 2025-04-01 https://csgordon.github.io/courses/cst680-wi16/ 2016-01-01 https://csgordon.github.io/courses/se320fa2016/ 2016-09-01 https://csgordon.github.io/courses/se320fa2017/ 2017-09-01 https://csgordon.github.io/courses/se320fa2018/ 2018-09-01 https://csgordon.github.io/courses/se320fa2019/ 2019-09-01 https://csgordon.github.io/courses/se320fa2020/ 2020-09-01 https://csgordon.github.io/courses/se320fa2021/ 2021-09-01 https://csgordon.github.io/courses/se320fa2022/ 2022-09-01 https://csgordon.github.io/courses/se576wi2017/ 2017-01-01 https://csgordon.github.io/courses/se576wi2018/ 2018-01-01 https://csgordon.github.io/courses/se576wi2019/ 2019-01-01 https://csgordon.github.io/courses/se576wi2020/ 2020-01-01 https://csgordon.github.io/courses/se576wi2022/ 2022-01-01 https://csgordon.github.io/funding/ https://csgordon.github.io/projects/ https://csgordon.github.io/prospectives/ https://csgordon.github.io/publications/ https://csgordon.github.io/publications/agere19/ 2019-10-22 https://csgordon.github.io/publications/arxivjsinference/ 2016-08-25 https://csgordon.github.io/publications/arxivquantales/ 2017-05-05 https://csgordon.github.io/publications/asenier25/ 2025-11-16 https://csgordon.github.io/publications/asm07/ 2007-06-15 https://csgordon.github.io/publications/controltr/ 2018-11-29 https://csgordon.github.io/publications/cs06-12/ 2006-11-01 https://csgordon.github.io/publications/data06/ 2010-06-01 https://csgordon.github.io/publications/dissertation/ 2014-08-06 https://csgordon.github.io/publications/ecoop13/ 2013-07-03 https://csgordon.github.io/publications/ecoop16/ 2016-07-17 https://csgordon.github.io/publications/ecoop17/ 2017-06-18 https://csgordon.github.io/publications/ecoop20a/ 2020-07-01 https://csgordon.github.io/publications/ecoop20b/ 2020-07-01 https://csgordon.github.io/publications/editorial25/ 2025-09-25 https://csgordon.github.io/publications/editorial25b/ 2025-12-18 https://csgordon.github.io/publications/esop19/ 2019-04-06 https://csgordon.github.io/publications/gulfest/ 2025-10-06 https://csgordon.github.io/publications/handbookphilcs/ 2026-11-16 https://csgordon.github.io/publications/icsenier22/ 2022-05-22 https://csgordon.github.io/publications/merging06/ 2010-11-01 https://csgordon.github.io/publications/merging10/ 2013-02-01 https://csgordon.github.io/publications/msr-tr-2012-79/ 2012-10-01 https://csgordon.github.io/publications/nl4se18/ 2018-11-04 https://csgordon.github.io/publications/nlspectr/ 2022-05-16 https://csgordon.github.io/publications/obt12/ 2012-01-28 https://csgordon.github.io/publications/obt18/ 2018-01-13 https://csgordon.github.io/publications/onward23/ 2023-10-22 https://csgordon.github.io/publications/onward24/ 2024-10-24 https://csgordon.github.io/publications/oopsla12/ 2012-10-22 https://csgordon.github.io/publications/oopsla16/ 2016-11-02 https://csgordon.github.io/publications/oopsla25/ 2025-10-25 https://csgordon.github.io/publications/oscontracts16/ 2016-03-01 https://csgordon.github.io/publications/pldi13/ 2013-06-16 https://csgordon.github.io/publications/plos25/ 2025-10-10 https://csgordon.github.io/publications/preprocessingtr/ 2022-08-23 https://csgordon.github.io/publications/rcupapertr/ 2018-11-28 https://csgordon.github.io/publications/sas23/ 2023-10-22 https://csgordon.github.io/publications/splashe24/ 2024-10-23 https://csgordon.github.io/publications/sra-csic-2016-001/ 2016-05-04 https://csgordon.github.io/publications/tldi12/ 2012-01-28 https://csgordon.github.io/publications/toplas17/ 2017-07-01 https://csgordon.github.io/publications/toplas21/ 2021-04-01 https://csgordon.github.io/publications/ugradthesis/ 2008-06-01 https://csgordon.github.io/publications/uw-cse-11-10-01/ 2011-10-01 https://csgordon.github.io/publications/uw-cse-13-03-02/ 2013-03-02 https://csgordon.github.io/publications/uw-cse-13-04-01/ 2013-04-01 https://csgordon.github.io/service/