Search Results - "software and its engineering software notations and tools compilers preprocessors"

An analysis of the variability in forty preprocessor-based software product lines by Liebig, Jörg, Apel, Sven, Lengauer, Christian, Kästner, Christian, Schulze, Michael

“…Over 30 years ago, the preprocessor cpp was developed to extend the programming language C by lightweight metaprogramming capabilities. Despite its…”
Get full text

Semantic Analysis of Macro Usage for Portability by Pappas, Brent, Gazzillo, Paul

“…C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to…”
Get full text

HexT5: Unified Pre-Training for Stripped Binary Code Information Inference by Xiong, Jiaqi, Chen, Guoqiang, Chen, Kejiang, Gao, Han, Cheng, Shaoyin, Zhang, Weiming

“…Decompilation is a widely used process for reverse engineers to significantly enhance code readability by lifting assembly code to a higher-level C-like…”
Get full text

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis by Brauckmann, Alexander, Polgreen, Elizabeth, Grosser, Tobias, O'Boyle, Michael F. P.

“…MLIR is an emerging compiler infrastructure for modern hardware, but existing programs cannot take advantage of MLIR's high-performance compilation if they are…”
Get full text

Speculative Decoding for Verilog: Speed and Quality, All in One by Xu, Changran, Liu, Yi, Zhou, Yunhao, Huang, Shan, Xu, Ningyi, Xu, Qiang

“…The rapid advancement of large language models (LLMs) has revolutionized code generation tasks across various programming languages. However, the unique…”
Get full text

SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C by Patterson, Zachary, Zhang, Zenong, Pappas, Brent, Wei, Shiyi, Gazzillo, Paul

“…Variability-aware analysis is critical for ensuring the quality of con-figurable C software. An important step toward the development of variability-aware…”
Get full text

PyraNet: A Multi-Layered Hierarchical Dataset for Verilog by Nadimi, Bardia, Boutaib, Ghali Omar, Zheng, Hao

“…Recently, there has been a growing interest in leveraging Large Language Models for Verilog code generation. However, the current quality of the generated…”
Get full text

Experiences Building an MLIR-Based SYCL Compiler by Tiotto, Ettore, Perez, Victor, Tsang, Whitney, Sommer, Lukas, Oppermann, Julian, Lomuller, Victor, Goli, Mehdi, Brodman, James

“…Similar to other programming models, compilers for SYCL, the open programming model for heterogeneous computing based on C++, would benefit from access to…”
Get full text

Representing and Reasoning about Dynamic Code by Bartels, Jesse, Stephens, Jon, Debray, Saumya

“…Dynamic code, i.e., code that is created or modified at runtime, is ubiquitous in today's world. The behavior of dynamic code can depend on the logic of the…”
Get full text

A Flang Plugin for Fortran Feature Characterization by Cabrera, Anthony M., Bernholdt, David E.

“…As new compute systems are developed, there is still a need to compile and execute codes authored in Fortran on these leading edge systems. In order to achieve…”
Get full text

Selecting Software Phase Markers with Code Structure Analysis by Lau, Jeremy, Perelman, Erez, Calder, Brad

“…Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar…”
Get full text

Static Validation of C Preprocessor Macros by Saebjernsen, A., Lingxiao Jiang, Quinlan, D., Zhendong Su

“…The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this…”
Get full text

Advanced ahead-of-time compilation for Javascript engine: work-in-progress by Park, HyukWoo, Kim, SungKook, Moon, Soo-Mook

“…JavaScript1 is heavily used in the web, yet it is much slower than other languages. To improve the JavaScript performance, ahead-of-time compilation (AOTC) has…”
Get full text

Dynamic Class Hierarchy Mutation by Su, Lixin, Lipasti, Mikko H.

“…Class hierarchies in object-oriented programs are used to capture various attributes of the underlying objects they represent, allowing programmers to…”
Get full text

Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems by Franke, Björn, O'Boyle, M. F. P.

“…This paper develops a complete auto-parallelisation approach for multiple-address space digital signal processors (DSPs). It combines a pointer conversion…”
Get full text

TEST: a tracer for extracting speculative threads by Chen, Michael, Olukotun, Kunle

“…Thread-level speculation (TLS) allows sequential programs to be arbitrarily decomposed into threads that can be safely executed in parallel. A key challenge…”
Get full text

A programmable preprocessor for parallelizing Fortran-90 by Rosing, Matt

“…A programmable preprocessor that generates portable and efficient parallel Fortran-90 code has been successfully used in the development of a variety of…”
Get full text

A macro preprocessor for the simulation language network II.5 by Thuente, David J., Sedlmeyer, Robert L.

“…Network II.5 [Garrison 1989] is a powerful simulation tool for the design and analysis of multiprocessor systems, but lacks features to support…”
Get full text

Interprocedural compilation of irregular applications for distributed memory machines by Agrawal, Gagan, Saltz, Joel

“…Data parallel languages like High Performance Fortran (HPF) are emerging as the architecture independent mode of programming distributed memory parallel…”
Get full text