Works matching Compilers

Results: 3431

A Completely Verified Realistic Bootstrap Compiler.

Published in:

International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 659, doi. 10.1142/S0129054103001947

By:

Bold, Axel;
Von Henke, Friedrich;
Goerigk, Wolfgang

Publication type:

Article

A compiler-based toolkit to teach and learn finite automata.

Published in:

Computer Applications in Engineering Education, 2013, v. 21, n. 3, p. 467, doi. 10.1002/cae.20492

By:

Chakraborty, Pinaki;
Saxena, P. C.;
Katti, C. P.

Publication type:

Article

Milepost GCC: Machine Learning Enabled Self-tuning Compiler.

Published in:

International Journal of Parallel Programming, 2011, v. 39, n. 3, p. 296, doi. 10.1007/s10766-010-0161-2

By:

Fursin, Grigori;
Kashnikov, Yuriy;
Memon, Abdul Wahid;
Chamski, Zbigniew;
Temam, Olivier;
Namolaru, Mircea;
Yom-Tov, Elad;
Mendelson, Bilha;
Zaks, Ayal;
Courtois, Eric;
Bodin, Francois;
Barnard, Phil;
Ashton, Elton;
Bonilla, Edwin;
Thomson, John;
Williams, Christopher K. I.;
O'Boyle, Michael

Publication type:

Article

A Case Study on Compiler Optimizations for the Intel<sup>®</sup> Core<sup>TM</sup> 2 Duo Processor.

Published in:

International Journal of Parallel Programming, 2008, v. 36, n. 6, p. 571, doi. 10.1007/s10766-008-0071-8

By:

Bik, Aart;
Kreitzer, David;
Tian, Xinmin

Publication type:

Article

A MATLAB subset to C compiler targeting embedded systems.

Published in:

Software: Practice & Experience, 2017, v. 47, n. 2, p. 249, doi. 10.1002/spe.2408

By:

Bispo, João;
Cardoso, João M. P.

Publication type:

Article

Object-Oriented Compilers: A Review.

Published in:

IUP Journal of Information Technology, 2017, v. 13, n. 1, p. 36

By:

Chakraborty, Pinaki

Publication type:

Article

Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 463, doi. 10.1007/s10009-024-00760-3

By:

Monniaux, David

Publication type:

Article

Using SPEC CPU2006 to evaluate the sequential and parallel code generated by commercial and open-source compilers.

Published in:

Journal of Supercomputing, 2012, v. 59, n. 1, p. 486, doi. 10.1007/s11227-010-0449-4

By:

Aldea, Sergio;
Llanos, Diego;
González-Escribano, Arturo

Publication type:

Article

Natural instruction level parallelism-aware compiler for high-performance QueueCore processor architecture.

Published in:

Journal of Supercomputing, 2011, v. 57, n. 3, p. 314, doi. 10.1007/s11227-010-0409-z

By:

Abderazek, Ben Abdallah;
Masuda, Masashi;
Canedo, Arquimedes;
Kuroda, Kenichi

Publication type:

Article

Compiler assisted architectural exploration framework for coarse grained reconfigurable arrays.

Published in:

Journal of Supercomputing, 2009, v. 48, n. 2, p. 115, doi. 10.1007/s11227-008-0208-y

By:

Dimitroulakos, Grigorios;
Kostaras, Nikos;
Galanis, Michalis D.;
Goutis, Costas E.

Publication type:

Article

Inside the Intel 10.1 Compilers: New Threadizer and New Vectorizer for Intel Core2 Processors.

Published in:

Intel Technology Journal, 2007, v. 11, n. 4, p. 263

By:

Xinmin Tian;
Su, Ernesto;
Kreitzer, David;
Saito, Hideki;
Krishnaiyer, Rakesh;
Kanhere, Abhay;
Ng, John;
Chu-Cheow Lim;
Ghosh, Somnath

Publication type:

Article

Enhancing Translation Validation of Compiler Transformations with Large Language Models.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2025, v. 35, n. 1, p. 45, doi. 10.1142/S0218194024500475

By:

Wang, Yanzhao;
Xie, Fei

Publication type:

Article

Detecting Compiler Bugs Via a Deep Learning-Based Framework.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 5, p. 661, doi. 10.1142/S0218194022500206

By:

Tang, Yixuan;
Ren, Zhilei;
Jiang, He;
Qiao, Lei;
Liu, Dong;
Zhou, Zhide;
Kong, Weiqiang

Publication type:

Article

Compiler Support for an AI-oriented SIMD Extension of a Space Processor.

Published in:

Ada User Journal, 2022, v. 43, n. 2, p. 125

By:

Solé, Marc;
Kosmidis, Leonidas

Publication type:

Article

Compiler support for effective XSL transformation.

Published in:

Concurrency & Computation: Practice & Experience, 2012, v. 24, n. 14, p. 1572, doi. 10.1002/cpe.1901

By:

Chen, Ching-Mao;
Chu, Fu-Shun;
Chen, Peng-Sheng

Publication type:

Article

Compiler and runtime techniques for software transactional memory optimization.

Published in:

Concurrency & Computation: Practice & Experience, 2009, v. 21, n. 1, p. 7, doi. 10.1002/cpe.1336

By:

Peng Wu;
Michael, Maged M.;
von Praun, Christoph;
Nakaike, Takuya;
Bordawekar, Rajesh;
Cain, Harold W.;
Cascaval, Calin;
Chatterjee, Siddhartha;
Chiras, Stefanie;
Rui Hou;
Mergen, Mark;
Xiaowei Shen;
Spear, Michael F.;
Hua Yong Wang;
Kun Wang

Publication type:

Article

OpenUH: an optimizing, portable OpenMP compiler.

Published in:

Concurrency & Computation: Practice & Experience, 2007, v. 19, n. 18, p. 2317, doi. 10.1002/cpe.1174

By:

Liao, Chunhua;
Hernandez, Oscar;
Chapman, Barbara;
Chen, Wenguang;
Zheng, Weimin

Publication type:

Article

Optimizing code-copying JIT compilers for virtual stack machines.

Published in:

Concurrency & Computation: Practice & Experience, 2006, v. 18, n. 11, p. 1465, doi. 10.1002/cpe.1016

By:

Gregg, David;
Ertl, M. Anton

Publication type:

Article

A compiler for multiple memory models.

Published in:

Concurrency & Computation: Practice & Experience, 2004, v. 16, n. 2/3, p. 197, doi. 10.1002/cpe.771

By:

Midkiff, S. P.;
Lee, J.;
Padua, D. A.

Publication type:

Article

Using knowledge-based systems for research on parallelizing compilers.

Published in:

Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 3, p. 181, doi. 10.1002/cpe.563

By:

Chao-Tung Yang;
Shian-Shyong Tseng;
Yun-Woei Fann;
Ting-Ku Tsai;
Ming-Huei Hsieh;
Cheng-Tien Wu

Publication type:

Article

Compiler IR-Based Program Encoding Method for Software Defect Prediction.

Published in:

Computers, Materials & Continua, 2022, v. 72, n. 3, p. 5251, doi. 10.32604/cmc.2022.026750

By:

Yong Chen;
Chao Xu;
Jing Selena He;
Sheng Xiao;
Fanfan Shen

Publication type:

Article

C-CORE: Clustering by Code Representation to Prioritize Test Cases in Compiler Testing.

Published in:

Computer Modeling in Engineering & Sciences (CMES), 2024, v. 139, n. 2, p. 2069, doi. 10.32604/cmes.2023.043248

By:

Wei Zhou;
Xincong Jiang;
Chuan Qin

Publication type:

Article

Coinductive Natural Semantics for Compiler Verification in Coq †.

Published in:

Mathematics (2227-7390), 2020, v. 8, n. 9, p. 1573, doi. 10.3390/math8091573

By:

Zúñiga, Angel;
Bel-Enguix, Gemma

Publication type:

Article

Using mutants to help developers distinguish and debug (compiler) faults.

Published in:

Software Testing: Verification & Reliability, 2020, v. 30, n. 2, p. N.PAG, doi. 10.1002/stvr.1727

By:

Holmes, Josie;
Groce, Alex

Publication type:

Article

The Automated Generation of Test Cases for Compilers.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 2, p. 81, doi. 10.1002/stvr.4370040204

By:

Burgess, Colin J.

Publication type:

Article

Machine Learning-Driven GCC Loop Unrolling Optimization: Compiler Performance Enhancement Strategy Based on XGBoost.

Published in:

Journal of Circuits, Systems & Computers, 2025, v. 34, n. 1, p. 1, doi. 10.1142/S0218126625500355

By:

Shi, Zhaoyi;
Gao, Jun;
Guan, Xin

Publication type:

Article

EFFECTIVENESS OF COMPILER-DIRECTED PREFETCHING ON DATA MINING BENCHMARKS.

Published in:

Journal of Circuits, Systems & Computers, 2012, v. 21, n. 2, p. 1240006-1, doi. 10.1142/S0218126612400063

By:

NATARAJAN, RAGAVENDRA;
MEKKAT, VINEETH;
HSU, WEI-CHUNG;
ZHAI, ANTONIA

Publication type:

Article

INTERACTIVE IIR SC MULTIRATE COMPILER APPLIED TO MULTISTAGE DECIMATOR DESIGN.

Published in:

Journal of Circuits, Systems & Computers, 2007, v. 16, n. 4, p. 517, doi. 10.1142/S0218126607003770

By:

CHEONG, PHILLIP N.;
MARTINS, R. P.

Publication type:

Article

A high quality compiler tool for application-specific instruction-set processors with library and parallel supports.

Published in:

Multimedia Tools & Applications, 2017, v. 76, n. 4, p. 5905, doi. 10.1007/s11042-015-2653-y

By:

Chen, Benbin;
King, Chung-Ta;
Li, Xiaochao;
Guo, Donghui

Publication type:

Article

PCGC: a performance compact graph compiler based on multilevel fusion-splitting rules.

Published in:

Journal of Supercomputing, 2023, v. 79, n. 15, p. 17419, doi. 10.1007/s11227-023-05298-w

By:

Dong, Dong;
Jiang, Hongxu;
Lin, Hanqun;
Song, Yanfei

Publication type:

Article

CHiPReP—A Compiler for the HiPReP High-Performance Reconfigurable Processor.

Published in:

Electronics (2079-9292), 2021, v. 10, n. 21, p. 2590, doi. 10.3390/electronics10212590

By:

Weinhardt, Markus;
Messelka, Mohamed;
Käsgen, Philipp

Publication type:

Article

Compiler Optimization on Instruction Scheduling for a Specialized Real-Time Floating Point Soft-Core Processor.

Published in:

Advances in Electrical & Computer Engineering, 2019, v. 19, n. 3, p. 57, doi. 10.4316/AECE.2019.03007

By:

KIRCHHOFF, Michael;
WAGNER, Lothar;
FENGLER, Wolfgang

Publication type:

Article

Análise de Ferramentas de Compiladores em Ambientes Virtualizados.

Published in:

Revista Brasileira de Informática na Educação, 2021, v. 29, p. 1262, doi. 10.5753/rbie.2021.2302

By:

Sachs C. de Barbosa, Cinthyan Renata;
Roque e Faria, Carolinne;
M. Campano Junior, Maurílio

Publication type:

Article

TRACO: SOURCE-TO-SOURCE PARALLELIZING COMPILER.

Published in:

Computing & Informatics, 2016, v. 35, n. 6, p. 1277

By:

PALKOWSKI, Marek;
BIELECKI, Wlodzimierz

Publication type:

Article

Using Compiler Directives to Port Large Scientific Applications to GPUs: An Example from Atmospheric Science.

Published in:

Parallel Processing Letters, 2014, v. 24, n. 1, p. -1, doi. 10.1142/S0129626414500030

By:

Lapillonne, Xavier;
Fuhrer, Oliver

Publication type:

Article

An Advanced Compiler Designed for a VLIW DSP for Sensors-Based Systems.

Published in:

Sensors (14248220), 2012, v. 12, n. 4, p. 4466, doi. 10.3390/s120404466

By:

Yang, Xu;
He, Hu

Publication type:

Article

A logic programming approach to predict effective compiler settings for embedded software.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 481, doi. 10.1017/S1471068415000174

By:

BLACKMORE, CRAIG;
RAY, OLIVER;
EDER, KERSTIN;
Eiter, Thomas;
Toni, Francesca

Publication type:

Article

EXPLORATION OF COMPILER OPTIMIZATION SEQUENCES USING A HYBRID APPROACH.

Published in:

Computing & Informatics, 2018, v. 37, n. 1, p. 165, doi. 10.4149/cai_2018_1_165

By:

DE SOUZA XAVIER, Tiago Cariolano;
DA SILVA, Anderson Faustino

Publication type:

Article

ComVIS—Interactive simulation environment for compiler learning.

Published in:

Computer Applications in Engineering Education, 2022, v. 30, n. 1, p. 275, doi. 10.1002/cae.22456

By:

Jovanović, Nenad;
Stamenković, Srećko;
Miljković, Dragiša;
Chakraborty, Pinaki

Publication type:

Article

Evaluation of simulation systems suitable for teaching compiler construction courses.

Published in:

Computer Applications in Engineering Education, 2020, v. 28, n. 3, p. 606, doi. 10.1002/cae.22231

By:

Stamenković, Srećko;
Jovanović, Nenad;
Chakraborty, Pinaki

Publication type:

Article

A new practicum in compiler construction.

Published in:

Computer Applications in Engineering Education, 2014, v. 22, n. 3, p. 429, doi. 10.1002/cae.20566

By:

Chakraborty, Pinaki;
Saxena, P. C.;
Katti, C. P.;
Pahwa, Gauri;
Taneja, Shweta

Publication type:

Article

CONSIDERATIONS ON EFFICIENT LEXICAL ANALYSIS IN THE CONTEXT OF COMPILER DESIGN.

Published in:

Bulletin of the Transilvania University of Braşov: Series III Mathematics & Computer Science, 2023, v. 65, n. 2, p. 159, doi. 10.31926/but.mif.2023.3.65.2.14

By:

BĂICOIANU, Alexandra;
PLAJER, Ioana

Publication type:

Article

Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.

Published in:

Journal of Cryptology, 2009, v. 22, n. 2, p. 259, doi. 10.1007/s00145-008-9023-0

By:

Barbosa, M.;
Moss, A.;
Page, D.

Publication type:

Article

Efficient Compiler Design for a Geometric Shape Domain-Specific Language: Emphasizing Abstraction and Optimization Techniques.

Published in:

EAI Endorsed Transactions on Scalable Information Systems, 2024, v. 11, n. 4, p. 1, doi. 10.4108/eetsis.4346

By:

Gupta, Priya;
ManiKiran, Terala;
Purushotham, Mailapalli;
Suriya, L. Jeya;
Venkata, Rasamsetty Naga;
Nanda, Sambhudutta

Publication type:

Article

Compiler-Assisted Checkpointing of Parallel Codes: The Cetus and LLVM Experience.

Published in:

International Journal of Parallel Programming, 2013, v. 41, n. 6, p. 782, doi. 10.1007/s10766-012-0231-8

By:

Rodríguez, Gabriel;
Martín, María;
González, Patricia;
Touriño, Juan;
Doallo, Ramón

Publication type:

Article

Experiences Developing the OpenUH Compiler and Runtime Infrastructure.

Published in:

International Journal of Parallel Programming, 2013, v. 41, n. 6, p. 825, doi. 10.1007/s10766-012-0230-9

By:

Chapman, Barbara;
Eachempati, Deepak;
Hernandez, Oscar

Publication type:

Article

The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation.

Published in:

International Journal of Parallel Programming, 2013, v. 41, n. 6, p. 753, doi. 10.1007/s10766-012-0211-z

By:

Bae, Hansang;
Mustafa, Dheya;
Lee, Jae-Woo;
Aurangzeb;
Lin, Hao;
Dave, Chirag;
Eigenmann, Rudolf;
Midkiff, Samuel

Publication type:

Article

The Implementation of a High Performance GPGPU Compiler.

Published in:

International Journal of Parallel Programming, 2013, v. 41, n. 6, p. 768, doi. 10.1007/s10766-012-0228-3

By:

Yang, Yi;
Zhou, Huiyang

Publication type:

Article

ACOTES Project: Advanced Compiler Technologies for Embedded Streaming.

Published in:

International Journal of Parallel Programming, 2011, v. 39, n. 3, p. 397, doi. 10.1007/s10766-010-0132-7

By:

Munk, Harm;
Ayguadé, Eduard;
Bastoul, Cédric;
Carpenter, Paul;
Chamski, Zbigniew;
Cohen, Albert;
Cornero, Marco;
Dumont, Philippe;
Duranton, Marc;
Fellahi, Mohammed;
Ferrer, Roger;
Ladelsky, Razya;
Lindwer, Menno;
Martorell, Xavier;
Miranda, Cupertino;
Nuzman, Dorit;
Ornstein, Andrea;
Pop, Antoniu;
Pop, Sebastian;
Pouchet, Louis-Noël

Publication type:

Article

Resource-Aware Compiler Prefetching for Fine-Grained Many-Cores.

Published in:

International Journal of Parallel Programming, 2011, v. 39, n. 5, p. 615, doi. 10.1007/s10766-011-0163-8

By:

Caragea, George;
Tzannes, Alexandros;
Keceli, Fuat;
Barua, Rajeev;
Vishkin, Uzi

Publication type:

Article