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
  Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications
with O. Olivo and I. Dillig
ACM Conference on Computer and Communications Security (CCS), 2015.

Explorer: Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
with Y. Feng, X. Wang, and I. Dillig
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2015.

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 (PLDI), 2015.

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

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

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 (CGO), 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 (CCS), 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 (PLDI), June, 2007, pp. 290-299.
(Best Paper Award)

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 (Micro), 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.

 

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: August 11, 2015