William J. Bowman | Home🔗🔒 SSL Verified

Table of Contents

• ↓ Coordinates🔗
• ↓ Papers (Chronological)🔗
• ↓ Talks🔗
• ↓ Other🔗
• ↓ Top Alternatives to williamjbowman.com

6-Month Traffic Trend Estimate

Official Contact & Profiles

Visual representation extracted from williamjbowman.com

Content Snippets from williamjbowman.com

"William J. Bowman is an Assistant Professor of computer science in the Software Practices Lab at University of British Columbia. Broadly speaking, he is interested in making it easier for programmers to communicate their intent to machines, and preserving that intent through compilation. More specifically, their research interests include secure and verified compilation, dependently typed programming, verification, meta-programming, and interoperability. His recent work examines type-preserving compilation of dependently typed programming languages like Coq, a technique that can enable preserving security and correctness invariants of verified software through compilation and statically enforcing those invariants in the low-level (assembly-like) code generated by compilers."

"If you’re interesting in working with me, check my lab website to see open positions and for advice on applying: williamjbowman.com/arli/."

"[email protected] (pref), or [email protected] (unreliable)."

"Fast and Extensible Hybrid Embeddings with Micros Sean Bocirnea and William J. Bowman Proceedings of the Scheme and Functional Programming Workshop (SCHEME). 2025. Macro embedding is a popular approach to defining extensible shallow embeddings of object languages in Scheme-like host languages. While macro embedding has even been shown to enable implementing extensible typed languages in systems like Racket, it comes at a cost: compile-time performance. In this paper, we revisit micros-syntax to intermediate representation (IR) transformers, rather than source syntax to source syntax transformers (macros). Micro embedding enables stopping at an IR, producing a deep embedding and enabling high performance compile-time functions over an efficient IR, before shallowly embedding the IR back into source syntax. Combining micros with several design patterns to enable the IR and functions over it to be extensible, we achieve extensible hybrid embedding of statically typed languages with significantly improved compile-time compared to macro-embedding approaches. We describe our design patterns and propose new abstractions packaging these patterns.AbstractAbstract (Hide) | Preprint"

Key Topics & Focus Areas for williamjbowman.com:

Coordinates🔗

Papers (Chronological)🔗

Talks🔗

Other🔗