PO

Proceedings of the ACM on Programming Languages

Journal

Association for Computing Machinery

2,340

Publications

30,341

Citations

Loading papers...

Search by keywords

Filter by Type

Article (2,225)
Preprint (106)
Paratext (9)

Filter by Open Access Type

Open Access (4)
Closed Access (2,336)

Filter by Authors

Lars Birkedal (36)
Işıl Dillig (31)
Derek Dreyer (29)
Robbert Krebbers (26)
Zhendong Su (21)

Filter by Topics

Logic, programming, and type systems (1,160)
Formal Methods in Verification (756)
Parallel Computing and Optimization Techniques (560)
Software Testing and Debugging Techniques (496)
Security and Verification in Computing (478)