CF
Cormac Flanagan
University of California, Santa Cruz52
Publications
3,495
Citations
19
h-index
26
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (42)
- Book Chapter (4)
- Preprint (3)
- Report (2)
- Paratext (1)
Filter by Open Access Type
- Open Access (13)
- Closed Access (39)
Filter by Authors
- Cormac Flanagan (52)
- Stephen N. Freund (15)
- Thomas H. Austin (7)
- Dustin Rhodes (4)
- Thomas Schmitz (3)
Filter by Topics
- Security and Verification in Computing (21)
- Parallel Computing and Optimization Techniques (16)
- Distributed systems and fault tolerance (12)
- Advanced Malware Detection Techniques (12)
- Logic, programming, and type systems (11)