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
INRIA Institut National de Recherche en Informatique et en AutomatiqueRemove filter

ACM Designations

Member
Fellow
Senior 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 - 20of61 Authors

per page:

10
20
50

Sort by: Count

Name
Surname

Name

Paper Counts

Xavier Leroy

8
8 Papercounts
François Pottier

5
5 Papercounts
Alan Schmitt

5
5 Papercounts
Catalin Hritcu

4
4 Papercounts
Karthikeyan Bhargavan

3
3 Papercounts
Cyril Cohen

3
3 Papercounts
Fabrice E Rastello

2
2 Papercounts
Luc Maranget

2
2 Papercounts
Nicolas Tabareau

2
2 Papercounts
Matthieu Sozeau

2
2 Papercounts
Tahina Ramananandro

2
2 Papercounts
Pierre Marie Pédrot

2
2 Papercounts
Boris Djalal

2
2 Papercounts
Kenji Maillard

2
2 Papercounts
Albert Cohen

1
1 Papercounts
Alain Deutsch

1
1 Papercounts
Y. Bertot

1
1 Papercounts
Nadji Gauthier

1
1 Papercounts
D. Rémy

1
1 Papercounts
Sylvie Boldo

1
1 Papercounts

1
2
3
4

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.