https://tnelson.github.io/blog/2025/02/27/on-being-smarter/ 2025-02-27T00:00:00+00:00 https://tnelson.github.io/blog/2025/08/07/copilot/ 2025-08-07T00:00:00+00:00 https://tnelson.github.io/blog/2025/09/22/copilot-2/ 2025-09-22T00:00:00+00:00 https://tnelson.github.io/blog/about/ https://tnelson.github.io/blog/ https://tnelson.github.io/publications/ https://tnelson.github.io/ 2026-03-04T12:24:20+00:00 https://tnelson.github.io/other/nim/ 2026-03-04T12:24:20+00:00 https://tnelson.github.io/other/sprint1/public/ 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/cnd-ecoop25.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/dnfk-cogprin-oopsla22.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/dnhkd-sefm17-studies.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/dwnkb-hotnets20-muppet.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/forge-oopsla24.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/kn-fm19-invited.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/lfs-edu-column.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/lisa10-margrave-final.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ltlf-misconceptions.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ltltutor-cav25.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/nddk-fse17-amalgam.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ndfk-abz12-more-complete-alloy.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ndgk-seconfig19-synth.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ndhfk-hotnets16-monitors.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/nfk-chimp-fm15.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/nfsk-flowlog-nsdi14.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ngdfk-hotsdn13-flowlog.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/nrsdwk-pj21-pbt.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/nsdfk-icse13-aluminum.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/peterson.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/pnk-fm18-coverage.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/projects.html 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/snd-arsec13-geometric.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/sosr15/nfyfk-sosr15-exodus.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/sosr15/nylfk-sosr15-simon.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/ssdnk-fest21-forge.pdf 2026-03-04T12:24:20+00:00 https://tnelson.github.io/publications/wnk-pj20-pbt.pdf 2026-03-04T12:24:20+00:00