Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
Venues
/
PPoPP
1,184 papers, 1990–2026.
Search within PPoPP
2026
51
2025
50
2024
45
2023
43
2022
46
2021
48
2020
46
2019
60
2018
50
2017
47
2016
55
2015
44
2014
46
2013
45
2012
57
2011
41
2010
49
2009
43
2008
44
2007
43
2006
27
2005
29
2003
26
2001
17
1999
17
1997
25
1995
22
1993
26
1991
21
1990
21
