https://gowthamk.github.io/news/oopsla19_talk/ 2019-10-25T19:59:00+00:00 https://gowthamk.github.io/news/morning_paper/ 2019-11-25T13:00:00+00:00 https://gowthamk.github.io/news/cu_joining/ 2020-06-10T11:59:00+00:00 https://gowthamk.github.io/news/csci7000_announcement/ 2020-10-27T13:00:00+00:00 https://gowthamk.github.io/news/2021-08-21-csci5535-announcement/ 2021-08-21T13:00:00+00:00 https://gowthamk.github.io/news/papoc22/ 2022-02-22T13:00:00+00:00 https://gowthamk.github.io/news/pldi22/ 2022-03-03T13:00:00+00:00 https://gowthamk.github.io/news/oopsla22pc/ 2022-05-10T13:00:00+00:00 https://gowthamk.github.io/news/pldi23pc/ 2022-12-10T13:00:00+00:00 https://gowthamk.github.io/coq-basics-1.html 2014-04-09T00:00:00+00:00 https://gowthamk.github.io/cap-theorem-notes.html 2014-09-09T11:23:41+00:00 https://gowthamk.github.io/blog/2014/09/Lisp-Reynolds-notes/ 2014-09-15T00:00:00+00:00 https://gowthamk.github.io/sc-vs-linearizability.html 2014-09-23T00:00:00+00:00 https://gowthamk.github.io/sc-drf-wmm.html 2014-11-30T00:00:00+00:00 https://gowthamk.github.io/data-driven-loop-inv.html 2015-01-15T00:00:00+00:00 https://gowthamk.github.io/static-contract-haskell-notes.html 2015-05-04T00:00:00+00:00 https://gowthamk.github.io/cheryl-birthday.html 2015-05-10T00:00:00+00:00 https://gowthamk.github.io/ML-type-inference.html 2015-07-25T00:00:00+00:00 https://gowthamk.github.io/ACID.html 2015-07-31T00:00:00+00:00 https://gowthamk.github.io/feral-concurrency-control.html 2015-09-24T00:00:00+00:00 https://gowthamk.github.io/understanding-quelea-transactions.html 2015-09-28T00:00:00+00:00 https://gowthamk.github.io/understanding-rails-transactions.html 2015-09-30T00:00:00+00:00 https://gowthamk.github.io/fpm-tool.html 2015-10-05T00:00:00+00:00 https://gowthamk.github.io/terry-session-guarantees.html 2015-12-05T00:00:00+00:00 https://gowthamk.github.io/coq-extraction.html 2016-05-31T00:00:00+00:00 https://gowthamk.github.io/disciplined-inconsistency.html 2016-08-19T00:00:00+00:00 https://gowthamk.github.io/dynamo.html 2016-09-20T00:00:00+00:00 https://gowthamk.github.io/effective-serializability.html 2016-11-06T00:00:00+00:00 https://gowthamk.github.io/modular-implicits.html 2017-09-25T00:00:00+00:00 https://gowthamk.github.io/git-inconsistencies.html 2019-11-25T00:00:00+00:00 https://gowthamk.github.io/convergence-vs-consensus.html 2025-10-20T00:00:00+00:00 https://gowthamk.github.io/ad2024/ https://gowthamk.github.io/ad2025/ https://gowthamk.github.io/blog/ https://gowthamk.github.io/ https://gowthamk.github.io/publications/ https://gowthamk.github.io/research/ https://gowthamk.github.io/teaching/ https://gowthamk.github.io/category/formal-verification/ https://gowthamk.github.io/category/coq/ https://gowthamk.github.io/category/distributed-systems/ https://gowthamk.github.io/category/databases/ https://gowthamk.github.io/category/transactions/ https://gowthamk.github.io/category/smt/ https://gowthamk.github.io/category/functional-programming/ https://gowthamk.github.io/category/type-systems/ https://gowthamk.github.io/category/ocaml/ https://gowthamk.github.io/category/git/ https://gowthamk.github.io/docs/Dagstuhl.key/Data/pasted-101.pdf 2026-03-07T22:24:22+00:00 https://gowthamk.github.io/docs/alone_together.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/attapl.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/bidir/ 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/broom-presentation.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/broom-techrep.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/broom.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/cs505.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/cv.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/cv/cv.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/cv/res2.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/diversity-statement/diversity-statement.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/diversity-statement/statement.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/diversity-statement/suny-diversity-statement.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/ecoop18.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/ecoop2018.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/ee570.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/eth-denver.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/hopa13.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/icfp2014.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/icfp77-kaki.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/minsatzee570.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/ml2017.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/mrdt.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/mvd13.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/mvd14.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/new_cv/cv-dec2022.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/new_cv/cv.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/new_cv/cv_for_ai.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/new_cv/cv_for_sec.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/new_cv/cv_with_ref.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/oopsla23a.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/oopsla23b.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/oopsla25.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/oopsla26.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/papoc18.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/papoc22.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/papoc23.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/pldi22.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/popl18.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/presentation.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/proposal-talk.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/purpl-gadt.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/purpl-gadt/ 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/q9.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/quelea-techrep.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/quelea.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/quelea_ieee16.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/reappointment/talk.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/research-statement.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/snapl19.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/tapl.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/techrep.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/thesis.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/usenixsecurity25.pdf 2026-03-07T22:24:23+00:00 https://gowthamk.github.io/docs/vml.pdf 2026-03-07T22:24:23+00:00