Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
Venues
/
TOPLAS
1,205 papers, 1979–2026.
Search within TOPLAS
2026
10
2025
20
2024
15
2023
22
2022
26
2021
21
2020
15
2019
23
2018
19
2017
18
2016
13
2015
12
2014
19
2013
14
2012
17
2011
21
2010
21
2009
23
2008
33
2007
45
2006
27
2005
33
2004
28
2003
20
2002
21
2001
17
2000
28
1999
32
1998
33
1997
35
1996
27
1995
37
1994
63
1993
29
1992
18
1991
25
1990
24
1989
26
1988
27
1987
25
1986
21
1985
32
1984
32
1983
28
1982
35
1981
24
1980
31
1979
20
