| 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: Fri, 26 Dec 2025 20:19:28 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B45E:2B0FD4:5BAA1F:661B5C:694EEB78
accept-ranges: bytes
age: 0
date: Fri, 26 Dec 2025 22:00:03 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210085-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1766786404.627017,VS0,VE201
vary: Accept-Encoding
x-fastly-request-id: baf4ff4809de285d520882237838eabf8893c625
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:
|