P: a domain-specific language for asynchronous event-driven programming (invited talk abstract).

Shaz Qadeer

Browse the full ISSTA paper archive.