Conference paper Open Access

Realizing Implicit Computational Complexity

Aubert, Clément; Rubiano, Thomas; Rusch, Neea; Seiller, Thomas

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="">
  <controlfield tag="005">20230516142649.0</controlfield>
  <controlfield tag="001">7938752</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Rubiano, Thomas</subfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Rusch, Neea</subfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="a">Seiller, Thomas</subfield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">190191</subfield>
    <subfield code="z">md5:5d2f1b7c7588f39ba90d5ee01e770089</subfield>
    <subfield code="u"></subfield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-06-20</subfield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire</subfield>
    <subfield code="o"></subfield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="0">(orcid)0000-0001-6346-3043</subfield>
    <subfield code="a">Aubert, Clément</subfield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Realizing Implicit Computational Complexity</subfield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u"></subfield>
    <subfield code="a">Creative Commons Attribution No Derivatives 4.0 International</subfield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2"></subfield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variables in three different ways, at different stages of maturation.
The first and third projects bend the original typing discipline to gain finer-grained view on statements independence, to optimize loops by hoisting invariant and by splitting loops "horizontally" to parallelize them more efficiently.
The second project refines and implements the original analysis to obtain a fast, modular static analyzer.
All three projects aims at pushing the original type system, inspired from ICC, to its limits, to assess how ICC can in practice leads to original, sometimes orthogonal, approaches.</subfield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.7938751</subfield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.7938752</subfield>
    <subfield code="2">doi</subfield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">publication</subfield>
    <subfield code="b">conferencepaper</subfield>
All versions This version
Views 1717
Downloads 44
Data volume 760.8 kB760.8 kB
Unique views 1717
Unique downloads 44


Cite as