This paper introduces an innovative approach that combines Large Language Models
(LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially …

Kernel concurrency bugs are notoriously difficult to identify, while their consequences
severely threaten the reliability and security of the entire system. Especially in the kernel …

Remote pair programming is widely used in software development, but no research has
examined how race affects these interactions between developers. We embarked on this …

Determining whether multiple instructions can access the same memory location is a critical
task in binary analysis. It is challenging as statically computing precise alias information is …

As concurrent programming becomes increasingly prevalent, effectively identifying and
addressing concurrency issues such as data races and deadlocks is critical. This study …

Software permeates every facet of our lives, improving their convenience and efficiency, and
its sphere of influence continues to expand, leading to novel applications and services …