| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://michaelborkowski.github.io/publications/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Mon, 29 Dec 2025 05:23:11 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: DA3C:15317B:850CBB:958A00:69520DE7
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 05:13:11 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210022-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766985191.185814,VS0,VE203
vary: Accept-Encoding
x-fastly-request-id: 93e2d04b43548277d5a216e690344b3123600340
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 17 Mar 2025 21:22:14 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"67d89286-1f71"
expires: Mon, 29 Dec 2025 05:23:11 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 74DA:318CF6:83FB8C:94763C:69520DE7
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 05:13:11 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210022-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766985191.409886,VS0,VE224
vary: Accept-Encoding
x-fastly-request-id: 3993ef2931f96e871400852d36bd03dea88ba8e3
content-length: 2581
Publications - Michael H. Borkowski 
Michael H. Borkowski
Asst. Prof. of Practice at Purdue
- West Lafayette, IN
- Github
- Google Scholar
- ORCID
Publications
Mechanizing Refinement Types
Michael H. Borkowski, Niki Vazou, and Ranjit Jhala. To appear in 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)