https://johnckolesar.github.io/portfolio/portfolio-1/ https://johnckolesar.github.io/portfolio/portfolio-2/ https://johnckolesar.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://johnckolesar.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://johnckolesar.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://johnckolesar.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://johnckolesar.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://johnckolesar.github.io/publication/automated-feedback 2022-10-11T00:00:00-07:00 https://johnckolesar.github.io/publication/checking-equivalence 2022-10-28T00:00:00-07:00 https://johnckolesar.github.io/publication/zksmt 2024-08-14T00:00:00-07:00 https://johnckolesar.github.io/publication/pricing-agreements 2025-04-27T00:00:00-07:00 https://johnckolesar.github.io/publication/crepe 2025-10-18T00:00:00-07:00 https://johnckolesar.github.io/talks/2012-03-01-talk-1 2012-03-01T00:00:00-08:00 https://johnckolesar.github.io/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00-08:00 https://johnckolesar.github.io/talks/2014-02-01-talk-2 2014-02-01T00:00:00-08:00 https://johnckolesar.github.io/talks/2014-03-01-talk-3 2014-03-01T00:00:00-08:00 https://johnckolesar.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://johnckolesar.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://johnckolesar.github.io/ https://johnckolesar.github.io/page-archive/ https://johnckolesar.github.io/publications/ https://johnckolesar.github.io/terms/ https://johnckolesar.github.io/files/checking-equivalence.pdf 2026-03-27T13:43:56-07:00 https://johnckolesar.github.io/files/cv.pdf 2026-03-27T13:43:56-07:00 https://johnckolesar.github.io/talkmap/map.html 2026-03-27T13:43:56-07:00