Calvin Lin
    Professor of Computer Science
    University of Texas, Austin
Honors and Awards
Research Projects
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
  Secure, Precise, and Fast Floating-Point Operations on x86 Processors
with A. Rane and M. Tiwari
25th USENIX Security Symposium (USENIX Security) 2016.

Back to the Future: Leveraging Belady's Algorithm for Improved Cache Replacement
with A. Jain
43th International Symposium on Computer Architecture (ISCA), 2016.

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.

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)

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)

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


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 12, 2016