Skip to main content
To Proof Maintenance & Beyond!
Search
Venues
API
About
kirancodes.me
Venues
/
APLAS
613 papers, 2000–2025.
Search within APLAS
2025
13
2024
18
2023
15
2022
10
2021
17
2020
19
2019
24
2018
22
2017
26
2016
23
2015
26
2014
25
2013
26
2012
27
2011
27
2010
30
2009
24
2008
23
2007
28
2006
25
2005
27
2004
29
2003
27
2002
31
2001
29
2000
22
