Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563405910> ?p ?o ?g. }
- W1563405910 abstract "Abstract : Understanding the performance issues of modern programming language execution can be difficult. These languages have abstract features, such as higher-order functions, laziness, and objects, that ease programming, but which make their mapping to the underlying machine more difficult. Understanding parallel languages is further complicated by the need to describe what computations are performed in parallel and how they are affected by communication and latency in the machine. This lack of understanding can obscure even the asymptotic performance of a program and can also hide performance bugs in the language implementation. The dissertation introduces a framework of provably efficient implementations in which performance issues of a language can be defined and analyzed. We define several language models, each consisting of an operational semantics augmented with the costs of execution. In particular, the dissertation examines three functional languages based on fork-and-join parallelism, speculative parallelism, and data-parallelism, and it examines their time and space costs. We then define implementations of each language model onto several common machine models, prove these implementations correct, and derive their costs. Each of these implementations uses an intermediate model based on an abstract machine to stage the overall implementation. The abstract machine executes a series of steps transforming a stack of active states and store into new states and store. The dissertation proves the efficiency of the implementation by relating the steps to the parallel traversal of a computation graph defined in the augmented operational semantics. Provably efficient implementations are useful for programmers, language implementors and language designers." @default.
- W1563405910 created "2016-06-24" @default.
- W1563405910 creator A5005668991 @default.
- W1563405910 date "1997-04-26" @default.
- W1563405910 modified "2023-09-27" @default.
- W1563405910 title "Semantics-Based Parallel Cost Models and Their Use in Provably Efficient Implementations" @default.
- W1563405910 cites W13464817 @default.
- W1563405910 cites W1480972752 @default.
- W1563405910 cites W1483474820 @default.
- W1563405910 cites W1486230905 @default.
- W1563405910 cites W1488428340 @default.
- W1563405910 cites W1488486758 @default.
- W1563405910 cites W1498111970 @default.
- W1563405910 cites W1501402401 @default.
- W1563405910 cites W1514799413 @default.
- W1563405910 cites W1517465657 @default.
- W1563405910 cites W1527801647 @default.
- W1563405910 cites W1528437110 @default.
- W1563405910 cites W1545300642 @default.
- W1563405910 cites W1567423028 @default.
- W1563405910 cites W1572137164 @default.
- W1563405910 cites W1580664042 @default.
- W1563405910 cites W1581240710 @default.
- W1563405910 cites W1607447456 @default.
- W1563405910 cites W1655990431 @default.
- W1563405910 cites W1829244603 @default.
- W1563405910 cites W184789923 @default.
- W1563405910 cites W1869580648 @default.
- W1563405910 cites W1873031373 @default.
- W1563405910 cites W1968412673 @default.
- W1563405910 cites W1971181882 @default.
- W1563405910 cites W1974146675 @default.
- W1563405910 cites W1977285665 @default.
- W1563405910 cites W1983587324 @default.
- W1563405910 cites W1988638332 @default.
- W1563405910 cites W199766561 @default.
- W1563405910 cites W2001383125 @default.
- W1563405910 cites W2003295303 @default.
- W1563405910 cites W2004618348 @default.
- W1563405910 cites W2006727395 @default.
- W1563405910 cites W2008447317 @default.
- W1563405910 cites W2010526744 @default.
- W1563405910 cites W2014215072 @default.
- W1563405910 cites W2024374951 @default.
- W1563405910 cites W2024929322 @default.
- W1563405910 cites W2025196296 @default.
- W1563405910 cites W2031506023 @default.
- W1563405910 cites W2033191517 @default.
- W1563405910 cites W2034896142 @default.
- W1563405910 cites W2042037097 @default.
- W1563405910 cites W2044862400 @default.
- W1563405910 cites W2045424609 @default.
- W1563405910 cites W2047434043 @default.
- W1563405910 cites W2049875664 @default.
- W1563405910 cites W2050613794 @default.
- W1563405910 cites W2051600983 @default.
- W1563405910 cites W2060213695 @default.
- W1563405910 cites W2062967893 @default.
- W1563405910 cites W2064845040 @default.
- W1563405910 cites W2067661972 @default.
- W1563405910 cites W2068387516 @default.
- W1563405910 cites W2070912453 @default.
- W1563405910 cites W2071077931 @default.
- W1563405910 cites W2073040344 @default.
- W1563405910 cites W2080137162 @default.
- W1563405910 cites W2080304917 @default.
- W1563405910 cites W2082912235 @default.
- W1563405910 cites W2083481894 @default.
- W1563405910 cites W2087240301 @default.
- W1563405910 cites W2087323281 @default.
- W1563405910 cites W2087977509 @default.
- W1563405910 cites W2092423448 @default.
- W1563405910 cites W2101985540 @default.
- W1563405910 cites W2102222848 @default.
- W1563405910 cites W2103890844 @default.
- W1563405910 cites W2106309936 @default.
- W1563405910 cites W2107997203 @default.
- W1563405910 cites W2112708371 @default.
- W1563405910 cites W2113757735 @default.
- W1563405910 cites W2118068485 @default.
- W1563405910 cites W2120490947 @default.
- W1563405910 cites W2120597980 @default.
- W1563405910 cites W2123914565 @default.
- W1563405910 cites W2130566259 @default.
- W1563405910 cites W2132854590 @default.
- W1563405910 cites W2142947709 @default.
- W1563405910 cites W2152993997 @default.
- W1563405910 cites W2159523287 @default.
- W1563405910 cites W2160187405 @default.
- W1563405910 cites W2160673208 @default.
- W1563405910 cites W2161387017 @default.
- W1563405910 cites W2162931767 @default.
- W1563405910 cites W2164393220 @default.
- W1563405910 cites W2171400988 @default.
- W1563405910 cites W2177220416 @default.
- W1563405910 cites W2395933225 @default.
- W1563405910 cites W2436525433 @default.
- W1563405910 cites W23012794 @default.
- W1563405910 hasPublicationYear "1997" @default.
- W1563405910 type Work @default.