| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 19 Dec 2025 21:32:51 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6945c483-1059"
expires: Sat, 27 Dec 2025 16:46:52 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: F765:2D8B9D:6D9B65:7A3807:69500B1D
accept-ranges: bytes
age: 0
date: Sat, 27 Dec 2025 16:36:52 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210052-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766853412.145534,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: dce1dde570e2390428d8b22325d8f9c98d9a56a9
content-length: 1708
Home page of Michael D. Bond
Professor 697 Dreese Labs |
NewsResearchInterested in doing research in PL and systems? To learn more about topics my group is working on these days, see some of our recent publications.We design program analyses and software and hardware systems that make computing more reliable, scalable, and secure. Publications (with open-source implementations) General interests: programming languages, systems, security Current advisees:
Teaching[Spring 2026] CSE 3341: Principles of Programming Languages[Spring 2026] CSE 5349: Research on Rust for Security OtherSelected recent/upcoming activities:
|