CL
Chris Lattner
29
Publications
4,181
Citations
16
h-index
20
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (24)
- Other (2)
- Preprint (2)
- Book Chapter (1)
Filter by Open Access Type
- Open Access (8)
- Closed Access (21)
Filter by Authors
- Chris Lattner (29)
- Vikram Adve (20)
- Dinakar Dhurjati (4)
- Sumant Kowshik (4)
- Doug Gregor (3)
Filter by Topics
- Parallel Computing and Optimization Techniques (18)
- Logic, programming, and type systems (16)
- Security and Verification in Computing (8)
- Advanced Data Storage Technologies (5)
- Formal Methods in Verification (4)