https://agusnolasco.github.io/portfolio/portfolio-1/ https://agusnolasco.github.io/portfolio/portfolio-2/ https://agusnolasco.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00-07:00 https://agusnolasco.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00-07:00 https://agusnolasco.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00-07:00 https://agusnolasco.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00-07:00 https://agusnolasco.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00-08:00 https://agusnolasco.github.io/publication/2023-spec-inference 2023-01-01T00:00:00-08:00 https://agusnolasco.github.io/publication/2024-memoria 2024-07-01T00:00:00-07:00 https://agusnolasco.github.io/publication/2026-llm-spec-inference 2026-04-01T00:00:00-07:00 https://agusnolasco.github.io/students/fungo 2025-04-30T00:00:00-07:00 https://agusnolasco.github.io/students/balestra 2026-02-19T00:00:00-08:00 https://agusnolasco.github.io/talks/2012-03-01-talk-1 2012-03-01T00:00:00-08:00 https://agusnolasco.github.io/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00-08:00 https://agusnolasco.github.io/talks/2014-02-01-talk-2 2014-02-01T00:00:00-08:00 https://agusnolasco.github.io/talks/2014-03-01-talk-3 2014-03-01T00:00:00-08:00 https://agusnolasco.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://agusnolasco.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://agusnolasco.github.io/publication/2023-spec-inference https://agusnolasco.github.io/publication/2024-memoria https://agusnolasco.github.io/publication/2026-llm-spec-inference https://agusnolasco.github.io/ https://agusnolasco.github.io/archive-layout-with-content/ https://agusnolasco.github.io/categories/ https://agusnolasco.github.io/collection-archive/ https://agusnolasco.github.io/markdown/ https://agusnolasco.github.io/non-menu-page/ https://agusnolasco.github.io/page-archive/ https://agusnolasco.github.io/portfolio/ https://agusnolasco.github.io/publications/ https://agusnolasco.github.io/sitemap/ https://agusnolasco.github.io/students/ https://agusnolasco.github.io/tags/ https://agusnolasco.github.io/talkmap.html https://agusnolasco.github.io/talks/ https://agusnolasco.github.io/teaching/ https://agusnolasco.github.io/terms/ https://agusnolasco.github.io/year-archive/ https://agusnolasco.github.io/markdown_generator/ https://agusnolasco.github.io/files/certificates/2019-CACIC-testing.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2022-ECI-APIs.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2022-ECI-Satelites.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2023-ECI-Adv-Data-Struct.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2023-ECI-Compiler-Fuzzing.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2023-RIO-Conc-Sys.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2023-RIO-Dec-Mak-Uncert.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2024-RIO-Modal-Log.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2024-RIO-Verif-Fault-Trees.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2025-RIO-Adv-Testing.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2025-RIO-Analysis-Mob-Apps.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/2025-RIO-Fuzzing.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/files/certificates/English-Certif.pdf 2026-03-13T03:53:17-07:00 https://agusnolasco.github.io/talkmap/map.html 2026-03-13T03:53:17-07:00