api-abi-posix-related.md

• ConfFuzz - Fuzzing for Interface Vulnerabilities

  • ConfFuzz paper- NDSS23

• A study of modern linux api usage and compatibility: What to support when you're supporting,eurosys16

• Analyzing a Decade of Linux System Calls

• Eris: A tool for combinatorial testing of the linux system call interface

• Diversification of system calls in linux binaries

• Techniques for the abstraction of system call traces to facilitate the understanding of the behavioural aspects of the Linux kernel, 2011

• A binary-compatible unikernel

• Diversification of system calls in linux kernel

• A syscall-level binary-compatible unikernel

• POSIX abstractions in modern operating systems: the old, the new, and the missing

• Transcending POSIX: The End of an Era?

• Understanding and Mitigating Twin Function Misuses in Operating System Kernel, IEEE Transactions on Computers, 2023

• Application Programming Interface (API) Research: A Review of the Past to Inform the Future,2019

• Describing and measuring API usability with the cognitive dimensions,2005

• How to Run {POSIX} Apps in a Minimal Picoprocess, ATC13

• SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems,sosp15

• Reasoning about the POSIX file system: local update and global pathnames

• POSIX and the verification grand challenge: A roadmap

• A concurrent specification of POSIX file systems

• Reasoning about POSIX file systems

• {POSIX} is Dead! Long Live... errr... What Exactly?