Filters








3 Hits in 5.9 sec

Verified squared

Xavier Leroy
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;11</a> </i> &nbsp;
The formal verification of programs have progressed tremendously in the last decade.  ...  , but as elements of absolute confidence in the correctness of a critical application.  ...  Copyright is held by the author/owner(s). POPL '11 January 26-28, Austin, TX, USA ACM 978-1-4503-0490-0/11/01. erally C code, possibly Scade/Simulink block diagrams.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926387">doi:10.1145/1926385.1926387</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Leroy11.html">dblp:conf/popl/Leroy11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3vpikqg2fbgnpkd4lxfwqskv24">fatcat:3vpikqg2fbgnpkd4lxfwqskv24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150912050825/https://hal.inria.fr/hal-01076682/file/popl11-invited-talk.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/e0/dce093c308707f06a42780119bc60b2f8df6a473.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926387"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution [article]

Anders Miltner and Adrian Trejo Nuñez and Ana Brendel and Swarat Chaudhuri and Isil Dillig
<span title="2021-12-08">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present a novel bottom-up method for the synthesis of functional recursive programs.  ...  The main challenge is that effective bottom-up methods need to execute sub-expressions of the code being synthesized, but it is impossible to execute a recursive subexpression of a program that has not  ...  In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Austin, Texas, USA) (POPL ’11).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2107.06253v2">arXiv:2107.06253v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/36h2qvwupbecrpyy7w3cys4pjy">fatcat:36h2qvwupbecrpyy7w3cys4pjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211211045234/https://arxiv.org/pdf/2107.06253v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/9c/039cfa6ec008c6b7c9eaaf1efe3adab6325dfa2b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2107.06253v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Safe nondeterminism in a deterministic-by-default parallel language

Robert L. Bocchino, Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;11</a> </i> &nbsp;
We provide a static semantics, dynamic semantics, and a complete proof of soundness for the language, both with and without the barrier removal feature.  ...  A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound search, remains an open question  ...  Dan Grossman and Brad Chamberlain provided helpful suggestions on a draft of this paper and the supporting proofs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926447">doi:10.1145/1926385.1926447</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/BocchinoHHAAWS11.html">dblp:conf/popl/BocchinoHHAAWS11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/faebby5hgfh2xfjtnifsfdpon4">fatcat:faebby5hgfh2xfjtnifsfdpon4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130801172253/http://adamwelc.net/papers/popl11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/e1/4be1e64e3d50328e39eaf7ea7b542626ef7eaee9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1926385.1926447"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>