https://www.cs.ubc.ca/~alexsumm/ 2026-04-22T19:07:02+00:00 https://www.cs.ubc.ca/~alexsumm/ https://www.cs.ubc.ca/~alexsumm/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2026-03-05T22:43:01+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=papers&rev=1772750581&do=diff Conference and Journal Publications 2026 * Automated Proofs of Reduce Specifications for Imperative Data Structures [ pdf (draft) ] * Jamie Kai, and Alexander J. Summers 2025 * Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees text/html 2026-03-05T22:41:30+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=kaisummers26.pdf&ns=0&rev=1772750490&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="kaisummers26.pdf" loading="lazy" width="500" height="500" /> text/html 2026-01-19T20:02:54+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=home&rev=1768852974&do=diff Welcome to my home page (typically a work in progress). As an academic on paper, I go by the alias Alexander J. Summers, but in other capacities (including, for example, real life) you can call me Alex. I'm a Full Professor in the Department of Computer Science at the University of British Columbia (UBC) in Vancouver, Canada, where I'm very happy to be a member of the text/html 2025-08-30T22:33:19+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=dohrausummersurbanmuengermueller18b.pdf&ns=0&rev=1756593199&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="dohrausummersurbanmuengermueller18b.pdf" loading="lazy" width="500" height="500" /> text/html 2025-08-30T22:29:17+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=astrauskasmuellerpolisummers18.pdf&ns=0&rev=1756592957&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="astrauskasmuellerpolisummers18.pdf" loading="lazy" width="500" height="500" /> text/html 2025-08-26T23:11:46+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=grannanbilyfialageerdemedeirosmuellersummers25.pdf&ns=0&rev=1756249906&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="grannanbilyfialageerdemedeirosmuellersummers25.pdf" loading="lazy" width="500" height="500" /> text/html 2025-08-25T20:19:47+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=dardiniersammlerparthasarathysummersmueller25.pdf&ns=0&rev=1756153187&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="dardiniersammlerparthasarathysummersmueller25.pdf" loading="lazy" width="500" height="500" />