https://brianortiz.dev/portfolio/portfolio-1/ https://brianortiz.dev/portfolio/portfolio-2/ https://brianortiz.dev/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://brianortiz.dev/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://brianortiz.dev/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://brianortiz.dev/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://brianortiz.dev/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://brianortiz.dev/publication/2026-06-04-tla-prover 2026-06-04T00:00:00+00:00 https://brianortiz.dev/publication/2026-07-16-can-llms-write-correct-tla-specs 2026-07-16T00:00:00+00:00 https://brianortiz.dev/publication/2026-07-26-tla-bench 2026-07-26T00:00:00+00:00 https://brianortiz.dev/talks/2012-03-01-talk-1 2012-03-01T00:00:00+00:00 https://brianortiz.dev/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00+00:00 https://brianortiz.dev/talks/2014-02-01-talk-2 2014-02-01T00:00:00+00:00 https://brianortiz.dev/talks/2014-03-01-talk-3 2014-03-01T00:00:00+00:00 https://brianortiz.dev/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+00:00 https://brianortiz.dev/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+00:00 https://brianortiz.dev/ https://brianortiz.dev/archive-layout-with-content/ https://brianortiz.dev/categories/ https://brianortiz.dev/collection-archive/ https://brianortiz.dev/cv-json/ https://brianortiz.dev/cv/ https://brianortiz.dev/markdown/ https://brianortiz.dev/non-menu-page/ https://brianortiz.dev/page-archive/ https://brianortiz.dev/portfolio/ https://brianortiz.dev/publications/ https://brianortiz.dev/sitemap/ https://brianortiz.dev/tags/ https://brianortiz.dev/talkmap.html https://brianortiz.dev/talks/ https://brianortiz.dev/teaching/ https://brianortiz.dev/terms/ https://brianortiz.dev/year-archive/ https://brianortiz.dev/markdown_generator/ https://brianortiz.dev/files/paper1.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/files/paper2.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/files/paper3.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/files/slides1.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/files/slides2.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/files/slides3.pdf 2026-08-03T03:06:55+00:00 https://brianortiz.dev/talkmap/map.html 2026-08-03T03:06:55+00:00