Papers   ·   Blog   ·   Projects
School of Computing
50 S. Central Campus Drive Rm 3190
University of Utah
Salt Lake City, UT 84112-9205
Office: MEB 3375
Email: cwearl (at_sign) cs (period) utah (period) edu
I am a third year Ph.D. student in the School of Computing at the University of Utah studying under Matthew Might. Broadly, I am interested in Programming Languages, Compilers, and Computer Science Theory.
Specifically, I research new static analysis techniques and develop DSLs within the framework of general-purpose programming languages.
Please check my blog for updates on my research and projects.
Pushdown Control-Flow Analysis and Abstract Garbage CollectionI am working on a technique to combine Pushdown Control-Flow Analysis with Abstract Garbage Collection. The main challenge here is that Pushdown Control-Flow Analysis models a pushdown automata without storing the stack explicitly; however, Abstract Garbage Collection requires precise information from the stack. So any technique to combine the two must keep precise information about every stack without making the search-space infinite.
MatLab in C++I am developing a DSL within C++ (no external library) to provide MatLab-esque syntax that compiles to optimized C/threaded C/GPU code. For example, with my libraries (header files) included and a, b, and c defined as three dimensional arrays meeting certain well-defined conditions, the following code will compile:
c <<= a + sin(b);
Depending on compiler flags, this code will compile to optimized C code (on par with hand-written C), parallel C code (based on pthreads), or parallel CUDA (GPU) code.