TOPLAS 2007

45 papers

1. A constraint-based approach to guarded algebraic data types · Vincent Simonet, François Pottier
2. A deterministic logical semantics for pure Esterel · Olivier Tardieu
3. A new foundation for control dependence and slicing for modern program structures · Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
4. A practical interprocedural dominance algorithm · Bjorn De Sutter, Ludo Van Put, Koen De Bosschere
5. A proof theory for machine code · Atsushi Ohori
6. A provenly correct translation of Fickle into Java · Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
7. A static type system for JVM access control · Tomoyuki Higuchi, Atsushi Ohori
8. A step towards unifying schedule and storage optimization · William Thies, Frédéric Vivien, Saman P. Amarasinghe
9. A type discipline for authorization policies · Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
10. A uniform type structure for secure information flow · Kohei Honda, Nobuko Yoshida
11. Allocating architected registers through differential encoding · Xiaotong Zhuang, Santosh Pande
12. An efficient on-the-fly cycle collection · Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan
13. An improved bound for call strings based interprocedural analysis of bit vector frameworks · Bageshri Karkare, Uday P. Khedker
14. Analysis of modular arithmetic · Markus Müller-Olm, Helmut Seidl
15. BI-hyperdoctrines, higher-order separation logic, and abstraction · Bodil Biering, Lars Birkedal, Noah Torp-Smith
16. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem · J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
17. Design, implementation, and evaluation of a compilation server · Han Bok Lee, Amer Diwan, J. Eliot B. Moss
18. Dynamic graph-based software fingerprinting · Christian S. Collberg, Clark D. Thomborson, Gregg M. Townsend
19. Editorial · Martín Abadi, Jens Palsberg
20. Editorial: A changing of the guard · Kathryn S. McKinley, Keshav Pingali
21. Efficient dynamic dispatching with type slicing · Joseph Gil, Yoav Zibin
22. Efficient field-sensitive pointer analysis of C · David J. Pearce, Paul H. J. Kelly, Chris Hankin
23. Empirical study of optimization techniques for massive slicing · David W. Binkley, Mark Harman, Jens Krinke
24. Encapsulating objects with confined types · Christian Grothoff, Jens Palsberg, Jan Vitek
25. Enforcing resource bounds via static verification of dynamic checks · Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
26. Fast online pointer analysis · Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind
27. Forma: A framework for safe automatic array reshaping · Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral
28. Goal-directed weakening of abstract interpretation results · Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
29. Heap reference analysis using access graphs · Uday P. Khedker, Amitabha Sanyal, Amey Karkare
30. Introduction to special ESOP'05 issue · Mooly Sagiv
31. METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies · Jaydeep Marathe, Frank Mueller, Tushar Mohan, Sally A. McKee, Bronis R. de Supinski, Andy Yoo
32. Mutatis Mutandis: Safe and predictable dynamic software updating · Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
33. Optimizing indirect branch prediction accuracy in virtual machine interpreters · Kevin Casey, M. Anton Ertl, David Gregg
34. PPMexe: Program compression · Milenko Drinic, Darko Kirovski, Hoi Vo
35. Profile-based pretenuring · Stephen M. Blackburn, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss, Ting Yang
36. Program termination analysis in polynomial time · Amir M. Ben-Amram, Chin Soon Lee
37. Run-time principals in information-flow type systems · Stephen Tse, Steve Zdancewic
38. Saturn: A scalable framework for error detection using Boolean satisfiability · Yichen Xie, Alex Aiken
39. Slicing as a program transformation · Martin P. Ward, Hussein Zedan
40. Static validation of XSL transformations · Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
41. Termination analysis of logic programs through combination of type-based norms · Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
42. The embedded machine: Predictable, portable real-time code · Thomas A. Henzinger, Christoph M. Kirsch
43. The trace partitioning abstract domain · Xavier Rival, Laurent Mauborgne
44. Transition predicate abstraction and fair termination · Andreas Podelski, Andrey Rybalchenko
45. Type-based publish/subscribe: Concepts and experiences · Patrick Eugster