Publications related to Undefined behavior

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

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 ...

Berkeley2023

From 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 INC2022

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer, Duo Xu

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 SOC2020

SAT 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 ...

IEEE2018

Spatial: 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 MACHINERY2018

Instant 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 ...

2013

Instant 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 Machinery2013

CoRD: 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 ...

Usenix2012

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Undefined behavior

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

From C/C plus plus Code to High-Performance Dataflow Circuits

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

SAT Based Exact Synthesis using DAG Topology Families

Spatial: A Language and Compiler for Application Accelerators

Elastic Program Transformations

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

CoRD: A Collaborative Framework for Distributed Data Race Detection

Towards the Glass Transition in Vibrated Granular Matter

Graph Chatbot

Chat with Graph Search

From C/C plus plus Code to High-Performance Dataflow Circuits

CoRD: A Collaborative Framework for Distributed Data Race Detection

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Spatial: A Language and Compiler for Application Accelerators

SAT Based Exact Synthesis using DAG Topology Families

Elastic Program Transformations

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Towards the Glass Transition in Vibrated Granular Matter

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization