OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.
Baptiste LepersJosselin GietWilly ZwaenepoelJulia LawallPublished in: EuroSys (2023)
Keyphrases
- linux kernel
- software systems
- source code
- open source
- software engineering
- software projects
- clone detection
- operating system
- software maintenance
- software development
- software architecture
- concurrency control
- software evolution
- database systems
- software components
- bug reports
- bug localization
- metamodel
- artificial intelligence
- file system
- data flow
- transaction processing
- design patterns
- high level
- databases
- analysis tool
- software repositories
- concurrent execution
- database