related documents

• An Abstract Domain Combinator for Separately Conjoining Memory Abstractions  Conference Proceeding
• Automatic Analysis of Open Objects in Dynamic Language Programs  Conference Proceeding
• Expectation Invariants for Probabilistic Program Loops as Fixed Points  Conference Proceeding