http://mw.hh.se/wg211/api.php?action=feedcontributions&feedformat=atom&user=Peoadmin 2026-04-05T19:12:26Z User contributions MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M9Taha&diff=2833 2025-11-18T07:43:47Z

<p>Peoadmin: /* Globally Parallel, Locally Sequential */</p> <hr /> <div>[[Category:WG211]]<br /> <br /> <br /> =Globally Parallel, Locally Sequential=<br /> ==Walid Taha==<br /> <br /> A broad and important and resource-intensive class of computations codes are simulators for physical (or &quot;natural'') systems. Too often, such&lt;br /&gt;simulation codes are written in general purpose languages that promote a programming style that is too centered on the details of how the computation is performed, rather than the model itself. In addition, general purpose programming languages do not generally encourage the programmer (or engineer) to pay attention to programming choices that can lead to high resource costs at runtime.&lt;br /&gt;&lt;br /&gt;This report presents our preliminary results with the design of Acumen, a physical modeling language that we are designing with a specific goal of promoting writing codes that can easily be mapped to highly parallel execution platforms. The key features underlying the language's design are promoting a programming style that supports a &quot;globally parallel, locally imperative'' view of the world, as well as preserving deterministic execution even when the underlying computation is performed on a highly parallel platform. The approach appears to be promising, although it is still too early to say whether or not it can be useful in practice.</div>

Peoadmin http://mw.hh.se/wg211/index.php?title=WG211/M8Brady&diff=2832 2025-11-18T07:19:36Z

<p>Peoadmin: </p> <hr /> <div>[[Category:WG211]]<br /> <br /> =Implementing Domain Specific Languages using Dependent Types and Partial Evaluation=<br /> ==Ed Brady==<br /> <br /> In this talk, I will describe the efficient implementation of domain specific languages (DSLs) in Idris, a dependently typed functional&lt;br /&gt;programming language. I will show how Idris can be used to implement a verified network transport protocol, as a DSL. I will present experimental evidence that partial evaluation of such programs yields efficient residual programs whose performance is competitive with their Java and C equivalents and which are also, through the use of dependent types, verifiably type- and resource-safe.</div>

Peoadmin