The ACM SIGPLAN Conference on Programming Language and Design has its roots in the 1979 Symposium on Compiler Construction, and has grown to be the premiere conference in its area. While computer science has matured to include many other subfields, the core area PLDI represents needs to remain vital and current. The difficult job of the program committee in 2007, and the selection of a record number of papers, is a welcome sign of this vitality. .
In my role as General Chair, I would like to thank our Program Chair, Professor Kathryn McKinley, Tutorial Chair, Professor Michelle Mills Strout, Poster Chair, Stephen Fink, and Submissions Chair, Maria Jump, as well as our program committee members, for their excellent job. I also acknowledge the strong organizational support from ACM and my assistant Cheryl Eng.
Finally, I'd like to reflect on two defining moments in our community this year. Two giants in the area of programming languages, Joseph Goguen and Ken Kennedy, passed away, and our community mourns their passing. More joyously, the A.M. Turing Award this year goes to one of the founders of our area, Frances Allen, for "contributions that fundamentally improved the performance of computer programs in solving problems, and accelerated the use of high performance computing." We honor and celebrate Fran's achievements at FCRC and PLDI 2007.
Cited By
-
Chen L, Tang Y, Zhou M, Wei S, Sun W, Cai X and Ahmad B (2023). Optimize value-flow analysis based static vulnerability detection by solver rating Third International Conference on Computer Network Security and Software Engineering (CNSSE 2023), 10.1117/12.2683173, 9781510666511, (15)
-
Xu L, Tang Y, Chen H, Jia S and Dong H (2023). A method to web application taint analysis by computing data dependency 6th International Conference on Computer Information Science and Application Technology (CISAT 2023), 10.1117/12.3003984, 9781510668546, (102)
- Tang W, Hu Y, Fan G, Yao P, Wu R, Bai G, Wang P and Zhang C Transcode Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, (829-841)
- Kasampalis T, Park D, Lin Z, Adve V and Roşu G Language-parametric compiler validation with application to LLVM Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (1004-1019)