https://www.cs.ubc.ca/~alexsumm/ 2026-09-15T02:49:49+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-08-25T00:15:10+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=papers&rev=1787616910&do=diff Conference and Journal Publications 2027 * Modular Responsiveness Verification of Rust Async Runtimes [ pdf (draft) ] * Yanze Li, Ivan Beschatznikh and Alexander J. Summers * To appear at ESOP 2027 2026 * Crimps: Indexical Separation Logics for Order-Invariant Specifications text/html 2026-08-24T22:09:34+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=lietal27.pdf&ns=0&rev=1787609374&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="lietal27.pdf" loading="lazy" width="500" height="500" /> text/html 2026-08-14T03:15:38+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=cpsc-410&rev=1786677338&do=diff CPSC 410: Advanced Software Engineering (3 credits) Specification, design, construction and validation of multi-version software systems. Prerequisites: Either (a) CPSC 310 or (b) one of EECE 310, CPEN 321 and one of EECE 315, CPEN 331. text/html 2026-08-14T03:10:18+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=teaching&rev=1786677018&do=diff I currently teach two courses at UBC on a semi-regular basis: the 4th year undergrad course CPSC 410 (Advanced Software Engineering), and the graduate-level course CPSC 539S (Program Verifiers and Program Verification). Upcoming courses: * Sep-Dec 2026: CPSC 410 - Advanced Software Engineering text/html 2026-08-04T18:24:07+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?id=home&rev=1785867847&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 2026-07-15T04:56:32+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=xiaoetal26.pdf&ns=0&rev=1784091392&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="xiaoetal26.pdf" loading="lazy" width="500" height="500" /> text/html 2026-07-11T07:08:59+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=kaisummers26.pdf&ns=0&rev=1783753739&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-05-12T20:33:33+00:00 alexsummers (alexsummers@undisclosed.example.com) https://www.cs.ubc.ca/~alexsumm/doku.php?image=krml304.pdf&ns=0&rev=1778618013&tab_details=history&media_do=diff&do=media <img src="https://www.cs.ubc.ca/~alexsumm/lib/images/fileicons/svg/pdf.svg" alt="krml304.pdf" loading="lazy" width="500" height="500" /> 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" />