Concept
Source-to-source compiler
Related publications (82)
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 ...
Berkeley2023SimMMDG: A Simple and Effective Framework for Multi-modal Domain Generalization
Olga Fink, Ismail Nejjar, Han Sun, Hao Dong
In real-world scenarios, achieving domain generalization (DG) presents significant challenges as models are required to generalize to unknown target distributions. Generalizing to unseen multi-modal distributions poses even greater difficulties due to the ...
2023Understanding Revision Behavior in Adaptive Writing Support Systems for Education
Paola Mejia Domenzain, Luca Mouchel, Thiemo Wambsganss
Revision behavior in adaptive writing support systems is an important and relatively new area of research that can improve the design and effectiveness of these tools, and promote students' self-regulated learning (SRL). Understanding how these tools are u ...
Zenodo2023On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022Automated Verification of Network Function Binaries
George Candea, Solal Vincenzo Pirelli
Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...
USENIX Association2022