POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2016 Proceeding- General Chair:
- Rastislav Bodik,
- Program Chair:
- Rupak Majumdar
Next Conference
POPL '25
- Sponsor:
- sigplan
Abstract
No abstract available.
Cited By
- Moiseenko E, Kokologiannakis M and Vafeiadis V (2022). Model checking for a multi-execution memory model, Proceedings of the ACM on Programming Languages, 6:OOPSLA2, (758-785), Online publication date: 31-Oct-2022.
- Maillard K, Lennon-Bertrand M, Tabareau N and Tanter É (2022). A reasonably gradual type theory, Proceedings of the ACM on Programming Languages, 6:ICFP, (931-959), Online publication date: 29-Aug-2022.
- Sakkas G, Endres M, Cosman B, Weimer W and Jhala R Type error feedback via analytic program repair Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, (16-30)
- Lahav O and Boker U Decidable verification under a causally consistent shared memory Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, (211-226)
- Chatterjee K, Fu H and Goharshady A (2019). Non-polynomial Worst-Case Analysis of Recursive Programs, ACM Transactions on Programming Languages and Systems, 41:4, (1-52), Online publication date: 31-Dec-2020.
Index Terms
- Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Recommendations
Acceptance Rates
Overall Acceptance Rate824of4,130submissions,20%
| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| POPL '15 | 227 | 52 | 23% |
| POPL '14 | 220 | 51 | 23% |
| POPL '04 | 176 | 29 | 16% |
| POPL '03 | 126 | 24 | 19% |
| POPL '02 | 128 | 28 | 22% |
| POPL '01 | 126 | 24 | 19% |
| POPL '00 | 151 | 30 | 20% |
| POPL '99 | 136 | 24 | 18% |
| POPL '98 | 175 | 32 | 18% |
| POPL '97 | 225 | 36 | 16% |
| POPL '96 | 148 | 34 | 23% |
| POPL '94 | 173 | 39 | 23% |
| POPL '93 | 199 | 39 | 20% |
| POPL '92 | 204 | 30 | 15% |
| POPL '91 | 152 | 31 | 20% |
| POPL '89 | 191 | 30 | 16% |
| POPL '88 | 177 | 28 | 16% |
| POPL '87 | 108 | 29 | 27% |
| POPL '83 | 170 | 28 | 16% |
| POPL '82 | 121 | 38 | 31% |
| POPL '81 | 121 | 24 | 20% |
| POPL '79 | 146 | 27 | 18% |
| POPL '78 | 135 | 27 | 20% |
| POPL '77 | 105 | 25 | 24% |
| POPL '76 | 90 | 20 | 22% |
| POPL '75 | 100 | 23 | 23% |
| POPL '73 | 100 | 22 | 22% |
| Overall | 4,130 | 824 | 20% |