Filters








111,158 Hits in 8.6 sec

Optimal run time optimization proved by a new look at abstract interpretations [chapter]

Bernhard Steffen
<span title="">1987</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A two stage run time optimization algorithm is presented that combines two well-known techniques in a Herbrand optimal manner: -Kildall's iterative method for data flow analysis and -Morel/Renvoise's partial  ...  It partitions the occurrences of the program terms in a Herbrand optimal manner. This optimality is proved by a new classification approach for abs tra c t in terpre tations.  ...  abstract model During the construction of optimization algorithms questions like -are two given terms representing the same run time values?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-17660-8_47">doi:10.1007/3-540-17660-8_47</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/utj6vlpqobc2tie4g63nwbkc74">fatcat:utj6vlpqobc2tie4g63nwbkc74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503002857/https://link.springer.com/content/pdf/10.1007%2F3-540-17660-8_47.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/e5/ea/e5ea9d1e5bde616e52d2b227af0e305cfdfc9a64.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-17660-8_47"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

OASIS: An optimizing action-based compiler generator [chapter]

Peter Ørbæk
<span title="">1994</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Action Semantics is a new and interesting foundation for semantics based compiler generation.  ...  In this paper we present several analyses of actions, and apply them in a compiler generator capable of generating efficient, optimizing compilers for procedural and functional languages with higher order  ...  Madsen for reading a draft of the paper. I must also thank the anonymous referees for useful and guiding feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57877-3_1">doi:10.1007/3-540-57877-3_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ccirr4ght5b4ddjsds2l6lufki">fatcat:ccirr4ght5b4ddjsds2l6lufki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727160951/https://link.springer.com/content/pdf/10.1007%2F3-540-57877-3_1.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/56/ad/56ad0e60d3b055bcd53a3a16461f43b71532417e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57877-3_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Oasis: An Optimizing Action-based Compiler Generator

Peter Ørbæk
<span title="1994-02-01">1994</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
Action Semantics is a new and interesting foundation for semantics based compiler generation.  ...  In this paper we present several analyses of actions, and apply them in a compiler generator capable of generating efficient, optimizing compilers for procedural and functional languages with higher order  ...  Madsen for reading a draft of the paper. I must also thank the anonymous referees for useful and guiding feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v13i471.6944">doi:10.7146/dpb.v13i471.6944</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g6wwanpyevhgjodggom6f5edpi">fatcat:g6wwanpyevhgjodggom6f5edpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720143129/https://tidsskrift.dk/daimipb/article/download/6944/5906" 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/de/36/de360867b61adcbce4b7eecf9d209f73a8510a39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v13i471.6944"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

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;
Principled but once academic approaches such as Hoare logic and abstract interpretation finally gave birth to quality verification tools, operating over source code (and not just idealized models thereof  ...  before source-level verification tools can be taken really seriously in the critical software industry: not just as sophisticated bug-finders, but as elements of absolute confidence in the correctness of a  ...  The general principles for stating and proving these soundness results are well known; some approaches, such as classic abstract interpretation, even ensure soundness by construction of the analysis.  ... 
<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>

Verified squared

Xavier Leroy
<span title="2011-01-26">2011</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Principled but once academic approaches such as Hoare logic and abstract interpretation finally gave birth to quality verification tools, operating over source code (and not just idealized models thereof  ...  before source-level verification tools can be taken really seriously in the critical software industry: not just as sophisticated bug-finders, but as elements of absolute confidence in the correctness of a  ...  The general principles for stating and proving these soundness results are well known; some approaches, such as classic abstract interpretation, even ensure soundness by construction of the analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1925844.1926387">doi:10.1145/1925844.1926387</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/igdwry5xznbexench47525hjcm">fatcat:igdwry5xznbexench47525hjcm</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/1925844.1926387"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A brief history of just-in-time

John Aycock
<span title="2003-06-01">2003</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Software systems have been using "just-in-time" compilation (JIT) techniques since the 1960s.  ...  Broadly, JIT compilation includes any translation performed dynamically, after a program has started execution.  ...  A path reflects the control flow exhibited by the source program at run-time, a dynamic instead of a static unit of translation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/857076.857077">doi:10.1145/857076.857077</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ityvm2vunbaorehgh4ak5hig2u">fatcat:ityvm2vunbaorehgh4ak5hig2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809082911/http://www.cs.ucf.edu/~dcm/Teaching/COT4810-Spring2011/Literature/JustInTimeCompilation.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/67/ca/67ca507f42234ddce85d9936768b4800f029d752.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/857076.857077"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Surgical precision JIT compilers

Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI &#39;14</a> </i> &nbsp;
Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation.  ...  Adding abstract interpretation turned the simple compiler into an optimizing compiler.  ...  Christian Humer wrote the original Java bytecode interpreter from which we derived the core Lancet compiler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2594291.2594316">doi:10.1145/2594291.2594316</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/RompfSBLCO14.html">dblp:conf/pldi/RompfSBLCO14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f5sjt2lx5vbhncoz5pv45aiuta">fatcat:f5sjt2lx5vbhncoz5pv45aiuta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216191124/https://static.aminer.org/pdf/20170130/pdfs/pldi/c8mru46syvil1uzin5khzanoj3fxfwbp.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/19/0d/190dcdb71a119ec830d6e7e6e01bb42c6c10c2f3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2594291.2594316"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Optimizing modular logic languages

Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
<span title="1998-09-01">1998</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Two approaches have been proposed to overcome this run-time overhead.  ...  Abstract Interpretation A complement to partial deduction in optimizing modular logic languages with implication goals has been proposed in [Ciampolini et al. 1995] , where the authors describe a data-and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289121.289131">doi:10.1145/289121.289131</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/blxpajjd3nelbjbphypl7paqm4">fatcat:blxpajjd3nelbjbphypl7paqm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060520142736/http://www.dsi.unive.it:80/~michele/Papers/cs98.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/0f/a4/0fa4ca6289c695885b90e9266f53316fb4455b7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/289121.289131"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization

Clément Béra, Eliot Miranda, Marcus Denker, Stéphane Ducasse
<span title="">2016</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
To stabilize our bytecode to bytecode just-in-time compiler, we designed a new approach to validate the correctness of dynamic deoptimization.  ...  The approach consists of the symbolic execution of an optimized and an unoptimized bytecode compiled method side by side, deoptimizing the abstract stack at each deoptimization point (where dynamic deoptimization  ...  In this case, it creates a new abstract stack frame with the method inlined (it cannot look up the method to run from the abstract receiver and argument, so it needs the method inlined from the optimizing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2016.15.2.a1">doi:10.5381/jot.2016.15.2.a1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5hchktfsqvdjrglimrthrfdvnq">fatcat:5hchktfsqvdjrglimrthrfdvnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720145438/http://www.jot.fm/issues/issue_2016_02/article1.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/e5/ee/e5eec9c917cac6a6a2566f519c8652aeb93ef0a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2016.15.2.a1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Impact of economics on compiler optimization

Arch D. Robison
<span title="">2001</span> <i title="ACM Press"> Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI &#39;01 </i> &nbsp;
Compile-time program optimizations are similar to poetry: more are written than are actually published in commercial compilers.  ...  Hard economic reality is that many interesting optimizations have too narrow an audience to justify their cost in a general-purpose compiler, and custom compilers are too expensive to write.  ...  The anonymous referees contributed useful criticism of an earlier draft, and pointed out the work on compile-time metaobject protocols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/376656.376751">doi:10.1145/376656.376751</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/37batqclozc2dhxdcbicphpory">fatcat:37batqclozc2dhxdcbicphpory</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030429042036/http://www.eecg.toronto.edu:80/~tsa/crgpapers/arch.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/26/2d/262dfed51eba10068954906e0f0b23af9adf468b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/376656.376751"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Abstract multiple specialization and its application to program parallelization

German Puebla, Manuel Hermenegildo
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract values (substitutions), rather than concrete  ...  producing a new,"multiply specialized" program.  ...  Acknowledgements This work has been funded in part by ESPRIT project``DiSCiPl'' 22532, by CI-CYT project``ELLA'' TIC96-1012-C02-01, and by M.E.C. grant AP96 50831686.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(99)00031-x">doi:10.1016/s0743-1066(99)00031-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fcj63gtvsvey5a7tcm2fjlrqnu">fatcat:fcj63gtvsvey5a7tcm2fjlrqnu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001204744/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/aa3/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDc0MzEwNjY5OTAwMDMxeA%3D%3D.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/4c/8b/4c8bb57a3cee6f8b47cf82957c2fe65fad786375.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(99)00031-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Cutpoints for formal equivalence verification of embedded software

Xiushan Feng, Alan J. Hu
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the 5th ACM international conference on Embedded software - EMSOFT &#39;05</a> </i> &nbsp;
of a design, e.g., before and after an optimization.  ...  Like hardware, embedded software faces stringent design constraints, undergoes extremely aggressive optimization, and therefore has a similar need for verifying the functional equivalence of two versions  ...  This abstraction hides datapath complexity and is safe, but sometimes too conservative -being unable to prove the equivalence of a shift and a divide-by-2, for example -so additional domain-specific rewriting  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1086228.1086284">doi:10.1145/1086228.1086284</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/FengH05.html">dblp:conf/emsoft/FengH05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/urjoxbeyvjdevb7a3hqahkuc2i">fatcat:urjoxbeyvjdevb7a3hqahkuc2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417163327/http://www.cs.ubc.ca/~ajh/mypapers/2005FH.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/d1/2e/d12ea8f04bd14c28f84b764b15c9b210b53ed3d9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1086228.1086284"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Implementation of multiple specialization in logic programs

Germán Puebla, Manuel Hermenegildo
<span title="">1995</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4inzarpn6bccxa4a445nlydsbi" style="color: black;">Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM &#39;95</a> </i> &nbsp;
This involves in general generating several versions of a program predícate for different uses of such predícate, making use of information obtained from global analysis performed by an abstract interpreter  ...  , and finally producing a new, "multiply specialized" program.  ...  One is the method used for selection of the appropriate versión for each cali at run-time. This can be done quite simply by renaming calis and predicates.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/215465.215561">doi:10.1145/215465.215561</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pepm/PueblaH95.html">dblp:conf/pepm/PueblaH95</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ji4i3knb4re5rccvcca566bmdq">fatcat:ji4i3knb4re5rccvcca566bmdq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719064223/http://oa.upm.es/14424/1/HERME_ARC_1995-4.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/e6/a5/e6a58f0eb7b5cdd8eda328bf0bd3b407efbd05c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/215465.215561"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Driving a sound static software analyzer with branch-and-bound

Sven Mattsen, Pascal Cuoq, Sibylle Schupp
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dxowpr35ozcjngoyr7ras65tq4" style="color: black;">2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM)</a> </i> &nbsp;
set by the user.  ...  Frama-C, a framework for the static analysis of C programs, provides a sound value analyzer. This analyzer can optionally be guided by skillfully placed user annotations.  ...  Additional material, including the source code for the SPALTER prototype, can be found at http://www.sts. tu-harburg.de/research/spalter.html.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scam.2013.6648185">doi:10.1109/scam.2013.6648185</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/scam/MattsenCS13.html">dblp:conf/scam/MattsenCS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bedmupp3ire6tmavzxnsb7bqia">fatcat:bedmupp3ire6tmavzxnsb7bqia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170819014307/https://www.computer.org/csdl/proceedings/scam/2013/9999/00/06648185.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/cb/33/cb332334b11c012a64637696eae907cbf715c414.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scam.2013.6648185"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Formally verified speculation and deoptimization in a JIT compiler

Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
<span title="2021-01-04">2021</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dqy7qc7jkzal5bz3gueys3siz4" style="color: black;">Proceedings of the ACM on Programming Languages (PACMPL)</a> </i> &nbsp;
Just-in-time compilers for dynamic languages routinely generate code under assumptions that may be invalidated at run-time, this allows for specialization of program code to the common case in order to  ...  We also present several common compiler optimizations that can leverage speculation to generate improved code. The optimizations are proved correct with the help of a proof assistant.  ...  But, with a JIT, code is produced by the compiler at run-time and has to be put in memory and instructions previously produced can be updated.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3434327">doi:10.1145/3434327</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uf7jy646mvg5zk2kmozutrjyla">fatcat:uf7jy646mvg5zk2kmozutrjyla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210718224727/https://hal.archives-ouvertes.fr/hal-03185848/document" 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/29/7a/297ab1313e928bdb7a3e56b1911968c648f7e161.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3434327"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 111,158 results