Research collection
#scheduling-constraints
Research tagged scheduling-constraints: explanations, evidence, limitations and connections between papers.
1 results
Reins steers thread schedules toward concurrency bugs
Reins guides thread scheduling with agent-derived constraints and triggers more injected bugs than the strongest baseline in one test setup.