Concept
Undefined behavior
Related publications (15)
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs
Mathias Josef Payer, Jianhao Xu
Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...
Berkeley2023From C/C plus plus Code to High-Performance Dataflow Circuits
Paolo Ienne, Andrea Guerrieri, Lana Josipovic
High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization
Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...
IEEE COMPUTER SOC2020SAT Based Exact Synthesis using DAG Topology Families
Giovanni De Micheli, Mathias Soeken, Winston Jason Haaswijk
SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new typ ...
IEEE2018Spatial: A Language and Compiler for Application Accelerators
Christos Kozyrakis, Yunqi Zhang
Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...
ASSOC COMPUTING MACHINERY2018Elastic Program Transformations
Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...
EPFL2017Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Martin Odersky, Philipp Haller, Eugene Burmako
As more applications migrate to the cloud, and as “big data” edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...
2013Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Martin Odersky, Philipp Haller, Eugene Burmako
As more applications migrate to the cloud, and as "big data" edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...
Assoc Computing Machinery2013CoRD: A Collaborative Framework for Distributed Data Race Detection
George Candea, Cristian Zamfir, Baris Can Cengiz Kasikci
Modern concurrent software is riddled with data races and these races constitute the source of many problems. Data races are hard to detect accurately before software is shipped and, once they cause failures in production, developers find it challenging to ...
Usenix2012Towards the Glass Transition in Vibrated Granular Matter
Granular materials are large sets of macroscopic particles that interact solely via contact forces. The static behavior depends on the contact network and on the surface friction forces between grains; when they are set in motion (typically by vibrations) ...
EPFL2012