Contact:Christopher EarlSchool 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. ProjectsPushdown 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. Papers |