Travis Carlson

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Programming Language

Operational Semantics

Top Venues

Proc. ACM Program. Lang.

J. Comput. Lang.

Publications

Travis Carlson, Eric Van Wyk
Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial. PPoPP (2019)
Travis Carlson, Eric Van Wyk
Type qualifiers as composable language extensions for code analysis and generation. J. Comput. Lang. 50 (2019)
Travis Carlson, Eric Van Wyk
Type qualifiers as composable language extensions. GPCE (2017)
Ted Kaminski, Lucas Kramer, Travis Carlson, Eric Van Wyk
Reliable and automatic composition of language extensions to C: the ableC extensible language framework. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)