GPUVerify

Adam Betts, Nathan Chong, Alastair F. Donaldson, +2

EngineeringVerificationComputer ArchitectureSoftware AnalysisFormal Verification +15

Automated testing of graphics shader compilers

Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, +1

Proceedings of the ACM on Programming Languages

EngineeringCompiler TechnologyVerificationSoftware EngineeringComputer-aided Design +18

Concurrency testing using schedule bounding

Paul Thomson, Alastair F. Donaldson, Adam Betts

Systematic ConcurrencyEngineeringVerificationComputer ArchitectureSoftware Engineering +16

Parallel runs of a large air pollution model on a grid of Sun computers

Vassil Alexandrov, Wojciech Owczarz, Paul Thomson, +1

Mathematics and Computers in Simulation

EngineeringEnergy ManagementAtmospheric ScienceSun ComputersAir Quality +9

The Design and Implementation of a Verification Technique for GPU Kernels

Adam Betts, Nathan Chong, Alastair F. Donaldson, +4

ACM Transactions on Programming Languages and Systems

EngineeringGpu BenchmarkingGpu KernelVerificationComputer Architecture +18

GPUVerify

Adam Betts, Nathan Chong, Alastair F. Donaldson, +2

ACM SIGPLAN Notices

EngineeringVerificationComputer ArchitectureSoftware AnalysisFormal Verification +15

Asynchronous programming, analysis and testing with state machines

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, +2

EngineeringVerificationNew Testing TechniqueSoftware EngineeringSoftware Analysis +18

Test-case reduction and deduplication almost for free with transformation-based compiler testing

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, +3

EngineeringCompiler TechnologyVerificationSoftware EngineeringSoftware Analysis +20

Concurrency Testing Using Controlled Schedulers

Paul Thomson, Alastair F. Donaldson, Adam Betts

ACM Transactions on Parallel Computing

Concurrency Testing UsingEngineeringProgram AnalysisSoftware TestingVerification +13

Uncovering bugs in distributed storage systems during testing (not in production

Pantazis Deligiannis, Matt McCutchen, Paul Thomson, +8

Spiral (Imperial College London)

EngineeringMicrosoft Azure CloudDistributed Storage SystemsVerificationStorage Management +23