Zobrazeno 1 - 10
of 83
pro vyhledávání: '"code transformations"'
Publikováno v:
Proceedings of the ACM on Programming Languages, 5, 1-28
Proceedings of the ACM on Programming Languages, 5(POPL)
Proceedings of the ACM on Programming Languages, 5, POPL, pp. 1-28
Proceedings of the ACM on Programming Languages, 5(POPL)
Proceedings of the ACM on Programming Languages, 5, POPL, pp. 1-28
To avoid compilation errors it is desirable to verify that a compiler is type correct —i.e., given well-typed source code, it always outputs well-typed target code. This can be done intrinsically by implementing it as a function in a dependently ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99a73c7b5a06b9b2e448aeca3b4bbdf0
https://doi.org/10.1145/3434303
https://doi.org/10.1145/3434303
This is part of the replication package of the paper titled "AutoTransform: Automated Code Transformation to SupportModern Code Review Process". The complete replication package is available athttps://github.com/awsm-research/AutoTransform-Replicatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::580c6b9334aea81f05578fe128daf40c
https://zenodo.org/record/6068004
https://zenodo.org/record/6068004
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ZENODO
International Journal of Information Security
International Journal of Information Security
For decades, code transformations have been a vital open problem in the field of system security, especially for cases like malware mutation engines that generate semantically equivalent forms of given malicious payloads. While there are abundant wor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0e893513b1fcf9ea181c0278fea4932
https://zenodo.org/record/4642698
https://zenodo.org/record/4642698
Autor:
Pracner, Doni
Publikováno v:
Универзитет у Новом Саду
CRIS UNS
CRIS UNS
This thesis presents an approach for working with low level source code that enables automatic restructuring and raising the abstraction level of the programs. This makes it easier to understand the logic of the program, which in turn reduces the dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2972af934d29f011656e9e3f6bc55ec
https://nardus.mpn.gov.rs/bitstream/id/37658/IzvestajKomisije.pdf
https://nardus.mpn.gov.rs/bitstream/id/37658/IzvestajKomisije.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Marco Lattuada, Fabrizio Ferrandi
Publikováno v:
Journal of Systems Architecture. 75:1-14
Synthesis of DoAll loops is a key aspect of High Level Synthesis since they allow to easily exploit the potential parallelism provided by programmable devices. This type of parallelism can be implemented in several ways: by duplicating the implementa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bffd1061abefd8728575a9a743f9703
https://doi.org/10.1016/j.sysarc.2017.03.001
https://doi.org/10.1016/j.sysarc.2017.03.001
Autor:
Rodin Aarssen, Tijs van der Storm
Publikováno v:
PEPM 2020: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020, 27-37
STARTPAGE=27;ENDPAGE=37;TITLE=PEPM 2020
PEPM@POPL
STARTPAGE=27;ENDPAGE=37;TITLE=PEPM 2020
PEPM@POPL
Many metaprogramming tasks, such as refactorings, automated bug fixing, or large-scale software renovation, require high-fidelity source code transformations -- transformations which preserve comments and layout as much as possible. Abstract syntax t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13dc56aaa6037fa81ded0c48cf4ee45d
https://research.rug.nl/en/publications/829c095c-8311-40df-8a4c-0dd0471c1e36
https://research.rug.nl/en/publications/829c095c-8311-40df-8a4c-0dd0471c1e36
Publikováno v:
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
Existing compiler techniques can transform code to make its timing behavior independent of sensitive values to prevent information leakage through time side channels. Those techniques are hampered, however, by their static nature and dependence on de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0c61d209a2e411d71b17138529dde3a
https://hdl.handle.net/1854/LU-8533203
https://hdl.handle.net/1854/LU-8533203
Autor:
Pracner Doni
This thesis presents an approach for working with low level source code that enables automatic restructuring and raising the abstraction level of the programs. This makes it easier to understand the logic of the program, which in turn reduces the dev