C4: the C compiler concurrency checker.
Matt WindsorAlastair F. DonaldsonJohn WickersonPublished in: ISSTA (2021)
Keyphrases
- high level programming languages
- programming language
- software systems
- concurrency control
- database systems
- general purpose
- concurrent programming
- concurrent execution
- computer hardware
- transaction processing
- code generation
- distributed memory machines
- highly optimized
- parallel execution
- java bytecode
- databases
- java virtual machine
- real time
- level parallelism
- dynamic allocation
- data flow
- distributed environment
- decision trees