Treffer 1 - 20 von 3.811

1

WebAssembly: Yes, but for What?
Wingo, Andy
Communications of the ACM. Nov2025, Vol. 68 Issue 11, p50-54. 5p.

Application program inte... Artificial intelligence Data security Source code Compilers (Computer prog... Binary codes
Zeitschrift
2

Automatic Compiler Tuning for Inlining with Machine Learning.
Huang, Da ; Shi, Xiaohua ; Feng, Yuchen ; et al.
International Journal of Pattern Recognition & Artificial Intelligence. Sep2025, Vol. 39 Issue 11, p1-21. 21p.

Machine learning Compilers (Computer prog... Benchmark problems (Comp... Optimization algorithms Simulated annealing Ensemble learning
Fachzeitschrift
3

Abstractions, Their Algorithms, and Their Compilers.
AHO, ALFRED ; ULLMAN, JEFFREY
Communications of the ACM. Feb2022, Vol. 65 Issue 2, p76-91. 16p. 3 Diagrams, 2 Charts.

Algorithms Computer programming Computer science Programming languages Compilers (Computer prog... Science
Zeitschrift
4

Automatically Translating C to Rust.
Hong, Jaemin ; Ryu, Sukyoung
Communications of the ACM; Nov2025, Vol. 68 Issue 11, p58-65, 8p

C (Computer program lang... PROGRAMMING languages COMPUTER programming LEGACY systems COMPILERS (Computer prog... LANGUAGE models
Zeitschrift
5

Optimizations in C++ Compilers.
GODBOLT, MATT
Communications of the ACM. Feb2020, Vol. 63 Issue 2, p41-49. 9p.

C++ C (Computer program lang... Compilers (Computer prog... Program transformation Code generators
Zeitschrift
6

Fuzzing JavaScript JIT compilers with a high-quality differential test oracle.
Li, Jizhe ; Xu, Haoran ; Wang, Yongjun ; et al.
Computers & Security. Dec2025, Vol. 159, pN.PAG-N.PAG. 1p.

Defect tracking (Compute... JavaScript programming l... Compilers (Computer prog... Computer software testin... Software failures Dynamic testing
Fachzeitschrift
7

SLTP: A Symbolic Travel-Planning Agent Framework with Decoupled Translation and Heuristic Tree Search.
Tang, Debin ; Jiang, Qian ; Yang, Jingpu ; et al.
Electronics (2079-9292); Jan2026, Vol. 15 Issue 2, p422, 23p

TRAVEL planning LANGUAGE models MACHINE learning HEURISTIC COMPILERS (Computer prog... KNOWLEDGE transfer
Fachzeitschrift
8

Heuristics Analyses of Smart Contracts Bytecodes and Their Classifications.
Udokwu, Chibuzor ; Mirhosseini, Seyed Amid Moeinzadeh ; Craß, Stefan
Electronics (2079-9292); Jan2026, Vol. 15 Issue 1, p41, 19p

CLASSIFICATION RISK assessment COMPILERS (Computer prog... COMPUTER security vulner... BLOCKCHAINS
Fachzeitschrift
9

Assessment of Multicore Processor Soft Error Reliability Using BBRO‐DNN and SSF‐FIS Models.
Jadhav, Usha ; Malathi, P.
Concurrency & Computation: Practice & Experience; Jan2026, Vol. 38 Issue 1, p1-32, 32p

MULTICORE processors SOFT errors RELIABILITY in engineeri... COMPILERS (Computer prog... VIRTUAL machine systems FAILURE analysis
Fachzeitschrift
10

Constraint-Efficient Comparators via Weighted Accumulation.
Guzmán-Albiol, Marc ; Bellés-Muñoz, Marta ; Genés-Durán, Rafael ; et al.
Mathematics (2227-7390); Dec2025, Vol. 13 Issue 24, p3959, 25p

COMPARATOR circuits BINARY number system CONSTRAINT satisfaction ALGORITHMS COMPILERS (Computer prog... CONSTRAINT programming
Fachzeitschrift
11

WASP: Stack protection for WebAssembly.
Massey, Ewan ; Olivier, Pierre
Journal of Systems Architecture. Mar2026, Vol. 172, pN.PAG-N.PAG. 1p.

Computer security vulner... Security management Compilers (Computer prog... Computer performance
Fachzeitschrift
12

Practical Verification of Peephole Optimizations with Alive.
Lopes, Nuno P. ; Menendez, David ; Nagarakatte, Santosh ; et al.
Communications of the ACM. Feb2018, Vol. 61 Issue 2, p84-91. 8p. 6 Diagrams, 2 Charts.

Computer programming Programming languages Compilers (Computer prog... Debugging Coding theory
Zeitschrift
13

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler.
Nougrahiya, Aman ; Nandivada, V. Krishna
ACM Transactions on Programming Languages & Systems. Jun2024, Vol. 46 Issue 2, p1-58. 58p.

Compilers (Computer prog... Homeostasis Program transformation
Fachzeitschrift
14

Hopes, Fears, and Software Obfuscation.
BARAK, BOAZ
Communications of the ACM. Mar2016, Vol. 59 Issue 3, p88-96. 9p. 1 Color Photograph, 4 Diagrams, 1 Graph.

Computer software Data encryption Computer science Computer security Compilers (Computer prog...
Zeitschrift
15

Legacy Code, Live Risk: Empirical Evidence of Malware Detection Gaps.
Huang, Gang-Cheng ; Lai, Tai-Hung
Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11862, 18p

MALWARE PROGRAMMING languages LEGACY systems COMPILERS (Computer prog... MALWARE prevention INTERNET security
Fachzeitschrift
16

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.
Cuéllar Gempeler, Santiago ; Harris, Bill ; Parker, James ; et al.
ACM Transactions on Privacy & Security; Nov2025, Vol. 28 Issue 4, p1-35, 35p

COMPUTER security vulner... CRYPTOGRAPHY COMPILERS (Computer prog... RISK assessment APPLIED sciences DISCLOSURE
Fachzeitschrift
17

Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.
Ozdemir, Alex ; Wahby, Riad S. ; Brown, Fraser ; et al.
Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p161-188, 28p

FINITE fields COMPILERS (Computer prog... SOFTWARE validation ENCRYPTION protocols
Fachzeitschrift
18

Register‐Based and Stack‐Based Virtual Machines: Which Perform Better in JIT Compilation Scenarios?
Šimek, Bohuslav ; Fiala, Dalibor ; Dostal, Martin
Software: Practice & Experience; Nov2025, Vol. 55 Issue 11, p1896-1910, 15p

VIRTUAL machine systems COMPUTER performance BENCHMARK problems (Comp... COMPUTER architecture COMPILERS (Computer prog...
Fachzeitschrift
19

USE OF GENETIC ALGORITHMS IN ADAPTIVE COMPILERS FOR CROSS-PLATFORM OPTIMIZATION.
M. G., Berdnyk ; I. P., Starodubskyi
Radio Electronics, Computer Science, Control; 2025, Issue 4, p185-193, 9p

GENETIC algorithms COMPILERS (Computer prog... PROGRAM transformation EVOLUTIONARY algorithms COMPUTER systems COMPUTER performance
Fachzeitschrift
20

基于源代码迁移的编译器优化方法研究. (Chinese)
周 放 ; 刘茂福 ; 李珊枝
Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Oct2025, Vol. 47 Issue 10, p1890-1900, 11p

DEEP learning COMPILERS (Computer prog... MATHEMATICAL optimizatio... PROGRAM transformation FLOWGRAPHS
Fachzeitschrift

Filter