skip to main content

Advanced Search
Browse
About
- Sign in
- Register

Advanced Search
Journals
Magazines
Proceedings
Books
SIGs
Conferences
People
More

Search ACM Digital Library

Advanced Search

AuthorsPublication PagespoplConferenceconference-collections

Conference
Proceedings
Upcoming Events
Authors
Affiliations
Award Winners
More

Conference

POPL

POPL: Principles of Programming Languages

Search within POPL

Home
Conferences
POPL
Authors

Authors of POPL

Most frequent author

Most cited author

Last year's Top subject

Logic and verification

Last year's Top keyword

Most frequent affiliation

Applied Filters

POPL: Principles of Programming Languages

Institutions

Carnegie Mellon University (179)
Microsoft Research (175)
University of Pennsylvania (145)
University of Cambridge (116)
Cornell University (100)
INRIA Institut National de Recherche en Informatique et en Automatique (91)
Stanford University (87)
IBM Thomas J. Watson Research Center (85)
Microsoft Research Cambridge (84)
University of California, Berkeley (81)
Princeton University (70)
Massachusetts Institute of Technology (63)
Imperial College London (57)
Yale University (56)
Max Planck Institute for Software Systems (55)
Nokia Bell Labs (54)
Saarland University (50)
The University of Edinburgh (50)
Northeastern University (49)
University of Wisconsin-Madison (49)

ACM Designations

Member
Fellow
Senior Member
Distinguished Member

Filter by Date

Upon changing this filter the page will automatically refresh

Past 5 years
Past 2 years
Past year

Find by Name:

Showing 1 - 20of2,738 Authors

per page:

10
20
50

Sort by: Count

Name
Surname

Name

Paper Counts

Benjamin Pierce

29
29 Papercounts
R. Harper

24
24 Papercounts
M Felleisen

23
23 Papercounts
Stephanie Weirich

20
20 Papercounts
Xavier Leroy

19
19 Papercounts
Peter Sewell

19
19 Papercounts
David Patrick Walker

18
18 Papercounts
Simon L Peyton-Jones

17
17 Papercounts
Derek Dreyer

17
17 Papercounts
Lars Birkedal

17
17 Papercounts
John C. Mitchell

17
17 Papercounts
Thomas Reps

16
16 Papercounts
Sumit Gulwani

15
15 Papercounts
Andrew W. Appel

15
15 Papercounts
Cédric Fournet

15
15 Papercounts
Andrew D Gordon

14
14 Papercounts
L. Cardelli

14
14 Papercounts
Mooly Sagiv

14
14 Papercounts
Adam Chlipala

14
14 Papercounts
Alex Aiken

14
14 Papercounts

1
2
3
4
5
6
7

Footer

Categories

Journals
Magazines
Books
Proceedings
SIGs
Conferences
Collections
People

About

About ACM Digital Library
ACM Digital Library Board
Subscription Information
Author Guidelines
Using ACM Digital Library
All Holdings within the ACM Digital Library
ACM Computing Classification System
Accessibility Statement

Join

Join ACM
Join SIGs
Subscribe to Publications
Institutions and Libraries

Connect

Contact us via email
ACM on Facebook
ACM DL on X
ACM on Linkedin
Send Feedback
Submit a Bug Report

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2024 ACM, Inc.

Terms of Usage
Privacy Policy
Code of Ethics

Your Search Results Download Request

We are preparing your search results for download ...

We will inform you here when the file is ready.

Your Search Results Download Request

Your file of search results citations is now ready.

Your Search Results Download Request

Your search export query has expired. Please try again.