View all research projects
Research project

Consequencer

  • Research funder:
    EPSRC
  • Status:
    Not active

Research outputs

Finding rare concurrent programming bugs:
2018
Type: conference
Parallel bug-finding in concurrent programs via reduced interleaving instances
2017
Type: conference
Using shared memory abstractions to design eager sequentializations for weak memory models
2017
DOI: 10.1007/978-3-319-66197-1_12
Type: conference
Concurrent program verification with Lazy sequentialization and interval analysis
2017
DOI: 10.1007/978-3-319-59647-1_20
Type: conference
A pragmatic verification approach for concurrent programs
2017
Type: thesis
Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation
2017
DOI: 10.1007/978-3-662-54580-5_26
Type: conference
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions
2016
Type: conference