- Sponsor:
- sigplan
Welcome to the Thirty-Fifth Symposium on the Principles of Programming Languages, held Thursday 10--Saturday 12 January 2008 in San Francisco. This volume contains 35 papers, selected from 212 submissions.
Explaining a known idea in a new way may make as strong a contribution as inventing a new idea. This year POPL, taking a leaf from ICFP, encouraged the submission of pearls: elegant essays which illustrate an idea, often by developing a short program. Pearls were held to the same high standards as all POPL submissions. We accepted three pearls in 2008. Taking a leaf from PLDI, this year each talk was twenty minutes, in order to permit a large number of talks on a wide range of subjects, while not fatiguing the audience unduly.
The program committee and additional reviewers wrote a staggering 1100 pages of reviews. Authors saw reviews in advance of the program committee meeting, and were permitted to write a response of up to 500 words. There was extensive online discussion for ten days after the author response period, culminating in a two-day meeting in Edinburgh, attended by all PC members save one (who could not obtain a visa).
Program committee members were permitted to submit papers, but such papers were accepted only if judged clearly better than the average paper accepted to the conference. There were nine PC submissions, of which two were accepted.
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will likely differ from the all familiar styles deployed with great success in the ...
Relevance heuristics for program analysis
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where needed, while maintaining scalability. In this talk I will discuss the ...
Caml trading
Jane Street Capital is a successful proprietary trading company that has shifted from developing software in mainstream programming languages to developing software almost entirely in OCaml, a statically typed functional programming language that has ...
Cited By
- Zhu H, Petri G and Jagannathan S Automatically learning shape specifications Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (491-507)
-
Zhu H, Petri G and Jagannathan S (2016). Automatically learning shape specifications, ACM SIGPLAN Notices, 10.1145/2980983.2908125, 51:6, (491-507), Online publication date: 2-Jun-2016.
- Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Recommendations
Acceptance Rates
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% |