POPL 2006

36 papers

1. A fixpoint calculus for local and global program flows · Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2. A hierarchical model of data locality · Chengliang Zhang, Chen Ding, Mitsunori Ogihara, Yutao Zhong, Youfeng Wu
3. A logic for information flow in object-oriented programs · Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee
4. A polymorphic modal type system for lisp-like multi-staged languages · Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
5. A verifiable SSA program representation for aggressive compiler optimization · Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai + 1 more
6. A virtual class calculus · Erik Ernst, Klaus Ostermann, William R. Cook
7. Adventures in time and space · Norman Danner, James S. Royer
8. Associating synchronization constraints with data in an object-oriented language · Mandana Vaziri, Frank Tip, Julian Dolby
9. Autolocker: synchronization inference for atomic sections · Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer
10. Certified assembly programming with embedded code pointers · Zhaozhong Ni, Zhong Shao
11. Compiler-directed channel allocation for saving power in on-chip networks · Guangyu Chen, Feihui Li, Mahmut T. Kandemir
12. Decidability and proof systems for language-based noninterference relations · Mads Dam
13. Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations · Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
14. Environment analysis via Delta CFA · Matthew Might, Olin Shivers
15. Fast and loose reasoning is morally correct · Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
16. Formal certification of a compiler back-end or: programming a compiler with a proof assistant · Xavier Leroy
17. Frame rules from answer types for code pointers · Hayo Thielecke
18. Harmless advice · Daniel S. Dantas, David Walker
19. Hybrid type checking · Cormac Flanagan
20. Interruptible iterators · Jed Liu, Aaron Kimball, Andrew C. Myers
21. Modular set-based analysis from contracts · Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
22. N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems · Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
23. On flow-sensitive security types · Sebastian Hunt, David Sands
24. Polymorphic regular tree types and patterns · Jerome Vouillon
25. Protecting representation with effect encapsulation · Yi Lu, John Potter
26. Simplifying reductions · Gautam Gupta, Sanjay V. Rajopadhye
27. Small bisimulations for reasoning about higher-order imperative programs · Vasileios Koutavas, Mitchell Wand
28. Specifying C++ concepts · Gabriel Dos Reis, Bjarne Stroustrup
29. Staged allocation: a compositional technique for specifying and implementing procedure calling conventions · Reuben Olinsky, Christian Lindig, Norman Ramsey
30. Stratified type inference for generalized algebraic data types · François Pottier, Yann Régis-Gianas
31. The Scala experiment: can we provide better language support for component systems? · Martin Odersky
32. The essence of command injection attacks in web applications · Zhendong Su, Gary Wassermann
33. The next 700 data description languages · Kathleen Fisher, Yitzhak Mandelbaum, David Walker
34. The next mainstream programming language: a game developer's perspective · Tim Sweeney
35. Verifying properties of well-founded linked lists · Shuvendu K. Lahiri, Shaz Qadeer
36. Why dependent types matter · James McKinna