skip to main content
10.1145/1328438acmconferencesBook PagePublication PagespoplConference Proceedingsconference-collections
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM2008 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Francisco California USA January 7 - 12, 2008
ISBN:
978-1-59593-689-9
Published:
07 January 2008
Sponsors:
Next Conference
January 19 - 25, 2025
Denver , CO , USA
Bibliometrics
Skip Abstract Section
Abstract

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.

invited-talk
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 ...

invited-talk
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 ...

invited-talk
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 ...

Contributors
  • University of California, Berkeley
  • The University of Edinburgh
  1. Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    Recommendations

    Acceptance Rates

    Overall Acceptance Rate824of4,130submissions,20%
    YearSubmittedAcceptedRate
    POPL '152275223%
    POPL '142205123%
    POPL '041762916%
    POPL '031262419%
    POPL '021282822%
    POPL '011262419%
    POPL '001513020%
    POPL '991362418%
    POPL '981753218%
    POPL '972253616%
    POPL '961483423%
    POPL '941733923%
    POPL '931993920%
    POPL '922043015%
    POPL '911523120%
    POPL '891913016%
    POPL '881772816%
    POPL '871082927%
    POPL '831702816%
    POPL '821213831%
    POPL '811212420%
    POPL '791462718%
    POPL '781352720%
    POPL '771052524%
    POPL '76902022%
    POPL '751002323%
    POPL '731002222%
    Overall4,13082420%