Automatic Parallelization with Separation Logic

Automatic Parallelization with Separation Logic

Cached

Download Links

by Mohammad Raza , Cristiano Calcagno

Citations:

BibTeX

@MISC{Raza_automaticparallelization,
    author = {Mohammad Raza and Cristiano Calcagno},
    title = {Automatic Parallelization with Separation Logic},
    year = {}
}

Bookmark

OpenURL

Abstract

Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this framework for determining independences between statements in a program which can be used for parallelization. 1

Citations

583	Separation logic: A logic for shared mutable data structures. Symp. on Logic in - Reynolds - 1994
154	Parallelizing programs with recursive data structures - Hendren, Nicolau - 1990
141	Separation and information hiding - O’Hearn, Yang, et al. - 2004
119	Permission accounting in separation logic - Bornat, Calcagno, et al. - 2005
108	A local shape analysis based on separation logic - Distefano, O’Hearn, et al. - 2006
84	P.W.: Symbolic Execution with Separation Logic - Berdine, Calcagno, et al.
69	A general data dependence test for dynamic, pointer-based data structures - Hummel, Hendren, et al. - 1994
66	Shape analysis for composite data structures - Berdine, Calcagno, et al. - 2007
62	Commutativity analysis: A new analysis technique for parallelizing compilers - Diniz - 1997
61	Scalable shape analysis for systems code - Yang, Lee, et al.
55	Local action and abstract separation logic - Calcagno, O’Hearn, et al. - 2007
34	Shape analysis with inductive recursion synthesis - Guo, Vachharajani, et al. - 2007
15	Separation Logic Semantics for Communicating Processes - Hoare, O’Hearn - 2008
14	Smallfoot: Automatic modular assertion checking with separation logic - Berdine, Calcagno, et al. - 2006
8	Compilation techniques for parallel systems - Gupta, Pande, et al. - 1999
4	Identification of HeapCarried Data Dependence Via Explicit Store Heap Models - Marron, Kapur, et al. - 2008
2	Compositional shape analysis - Calcagno, Distefano, et al.
2	Dependence analysis for poiner variables - Horwitz, Pfeiffer, et al. - 1989