To uncover interesting and actionable information from natural language documents
authored by software developers, many researchers rely on" out-of-the-box" NLP libraries …

Kernel concurrency bugs are challenging to find because they depend on very specific
thread interleavings and test inputs. While separately exploring kernel thread interleavings …

The concurrent programming literature is rich with tools and techniques for data race
detection. Less, however, has been known about real-world, industry-scale deployment …

Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

The usage of empirical methods has grown common in software engineering. This trend
spawned hundreds of publications, whose results are helping to understand and improve …

Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …

As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …

Working in a team for a limited period of time and to deliver a high quality product are some
of the skills students should gain during their studies at the university. Therefore universities …

Multi-threaded programs are challenging to write. Developers often need to reason about a
prohibitively large number of thread interleavings to reason about the behavior of software …

Effective software specifications enable modular reasoning, allowing clients to establish
program properties without knowing the details of module implementations. While some …