ProfessorsProfessors of University of California, Santa CruzCormac Flanagan

Cormac Flanagan

University of California, Santa Cruz

H-index: 55

North America-United States

About Cormac Flanagan

Cormac Flanagan, With an exceptional h-index of 55 and a recent h-index of 27 (since 2020), a distinguished researcher at University of California, Santa Cruz, specializes in the field of Programming Languages - Software Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

Multi-Execution Lattices Fast and Slow

The Anchor verifier for blocking and non-blocking concurrent software

Transparent IFC enforcement: Possibility and (in) efficiency results

Cormac Flanagan Information

University	University of California, Santa Cruz
Position	Professor of Computer Science
Citations(all)	14906
Citations(since 2020)	2688
Cited By	13442
hIndex(all)	55
hIndex(since 2020)	27
i10Index(all)	109
i10Index(since 2020)	55
Email	Access Email
University Profile Page	University of California, Santa Cruz
Google Scholar	View Google Scholar Profile

Cormac Flanagan Skills & Research Interests

Programming Languages - Software Engineering

Top articles of Cormac Flanagan

Title	Journal	Author(s)	Publication Date
Multi-Execution Lattices Fast and Slow	arXiv preprint arXiv:2103.13667	Maximilian Algehed Cormac Flanagan	2021/3/25
The Anchor verifier for blocking and non-blocking concurrent software	Proceedings of the ACM on Programming Languages	Cormac Flanagan Stephen N Freund	2020/11/13
Transparent IFC enforcement: Possibility and (in) efficiency results		Maximilian Algehed Cormac Flanagan	2020/6/22