Calvin Lin
    Professor of Computer Science
    University of Texas, Austin
 
   
 
Home
Honors and Awards
Research Projects
Publications
Teaching
Students
Personal
I do research in compilers, with a current focus on security and scalable and precise analysis, including pointer analysis. I also have interests in microarchitecture, and I have written a textbook with Larry Snyder called Principles of Parallel Programming. (Errata for the first printing.)  


Select Publications
  Raccoon: Closing Digital Side-Channels through Obfuscated Execution
with A. Rane and M. Tiwari
USENIX Security Symposium, 2015.

Static Detection of Asymptotic Performance Bugs in Collection Traversals
with O. Olivo and I. Dillig
ACM Conference on Programming Language Design and Implementation, 2015.

A Structured Approach to Teaching Recursion Using Cargo-Bot
with E. Lee, V. Shan, and B. Beth
International Computing Education Research Conference, 2014.

Linearizing Irregular Memory Accesses for Improved Correlated Prefetching
with A. Jain
46th IEEE/ACM International Symposium on Microarchitecture, 2013.
(Finalist, Best Paper Award)

Using Cargo-Bot to Provide Contextualized Learning of Recursion
with J. Tessler and B. Beth
International Computing Education Research Workshop, 2013.

Dynamic Scheduling for Large-Scale Distributed-Memory Ray Tracing
with P. Navratil, H. Childs, and D. Fussell
Eurographics Symposium on Parallel Graphics and Visualization, 2012.
(Best Paper Award)

Flow-Sensitive Pointer Analysis for Millions of Lines of Code
with B. Hardekopf
International Symposium on Code Generation and Optimization, 2011, pp. 289--298.
(Best Paper Award)

Efficient and Extensible Security Enforcement Using Dynamic Data Flow Analysis
with Walter Chang and Brandon Streiff
Computer and Communications Security, 2008, pp. 39-50.

The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code
with Ben Hardekopf
ACM Conference on Programming Language Design and Implementation, June, 2007, pp. 290-299.
(Best Paper Award)

Error Checking with Client-Driven Pointer Analysis
with Samuel Z. Guyer
Science of Computer Programming Journal, vol 58, 2005, pp. 83-114.

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries
with Samuel Z. Guyer
Proceedings of the IEEE, Special issue on program generation, optimization, and adaptation, 93(2), 2005, pp. 342-357.

Adaptive History-Based Memory Schedulers
with Ibrahim Hur
37th International Symposium on Microarchitecture, December, 2004, pp. 343-354.
(Best Paper Award)

Neural Methods for Dynamic Branch Prediction
with Daniel Jiménez
ACM Transactions on Computer Systems, 20(4), November 2002. pp. 369-397.

ZPL: A Machine Independent Programming Language for Parallel Computers
with B. Chamberlain, S. Choi, E. Lewis, L. Snyder, and W. Weathersby
IEEE Transactions on Software Engineering. 26(3), March, 2000, pp. 197-211,

 

The most important thing you can do
is what you're doing when you're doing it.
When you study, study,
and when you play, play.

                    - Pete Carril



  Email:
lin(at)cs.utexas.edu

Office:
GDC 5.512
(512) 471-9560
(512) 471-8885 (Fax)

 


  Office Hours:
Mondays       3:30-4:30
Wednesdays 3:30-4:30


Postal address:
Dept. of Computer Science
The University of Texas at Austin
2317 Speedway, D9500
Austin, TX 78712-1188

 

  Last updated: July 5, 2015