Search Results - Software and its engineering Software notations and tools Compilers Preprocessor

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

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

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++…”
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

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 described in lower-level general purpose languages…”
Get full text

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

“… Despite its error-proneness and low abstraction level, the preprocessor is still widely used in present-day software projects to implement variable software…”
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

“… the preprocessor's compile-time variability with C's runtime-variability. In this work, we design and implement a desugaring tool, SugarC, that transforms away real-world preprocessor usage…”
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…”
Get full text

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

“…, JIT compiler bugs can lead to exploitable vulnerabilities in the resulting JIT-compiled code…”
Get full text

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

“… In order to achieve this, development of compilers that support the latest hardware is continuously under development…”
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…”
Get full text

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

“… These "software phase markers" can be used to easily detect phase changes across different inputs to a program without hardware support…”
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

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

“… Traditional parallelizing compilers do not work effectively on most integer programs, and software profiling slows down program execution too much for real-time…”
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

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

“… The tool provides the basic functionality of a traditional preprocessor where directives are embedded in a serial Fortran program and interpreted by the preprocessor to produce parallel Fortran code with MPI calls…”
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 modelling-in-the-large…”
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

Implementing generalized operator overloading by Miles, William S., Johnson, Leroy F.

“… Our idea is to use unrestricted operator overloading as a tool to map the problem domain notation directly into an existing programming language…”
Get full text