TOPLAS 2010
21 papers
- A calculus for uniform feature composition
- A hybrid type system for lock-freedom of mobile processes
- A relational approach to interprocedural shape analysis
- A termination analyzer for Java bytecode based on path-length
- An optimization framework for embedded processors with auto-addressing mode
- Detecting bugs in register allocation
- Execution suppression: An automated iterative technique for locating memory errors
- Finite differencing of logical formulas for static analysis
- Hybrid type checking
- JavaCOP: Declarative pluggable types for java
- La dolce vita at TOPLAS
- La prossima vita at TOPLAS
- Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
- Santa Claus: Formal analysis of a process-oriented solution
- Satin: A high-level and efficient grid programming model
- Scratchpad allocation for concurrent embedded software
- Semantic foundations for typed assembly languages
- Semantics of fractional permissions with nesting
- Typing linear constraints
- Verifying safety properties of concurrent heap-manipulating programs
- WYSINWYX: What you see is not what you eXecute