Browsing by Sponsor/Funder GCHQ

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 17 of 17
Issue DateTitleAuthor(s)
11-Nov-2016Abstract domains for type jugglingArceri, V; Maffeis, S;
19-Apr-2016Automatic Test Case Reduction for OpenCLPflanzer, M; Donaldson, AF; Lascu, A;
-CAMP: Cost-Aware Multiparty Session ProtocolsCastro-Perez, D; Yoshida, N; , et al
1-Apr-2019Detecting weak dependence in computer network traffic patterns by using higher criticismPrice-Williams, M; Heard, N; Rubin-Delanchy, P;
May-2019Dynamic analysis for concurrent modern C/C++ applicationsDonaldson, Alastair; Lidbury, Christopher David;
Jan-2022Event structures for the reversible early internal π-calculusGraversen, E; Phillips, I; Yoshida, N; , et al
2-Jun-2016Exposing errors related to weak memory in GPU applicationsSorensen, T; Donaldson, AF;
15-Jun-2020Gillian, Part I: a multi-language platform for symbolic executionFragoso Santos, J; Maksimović, P; Ayoun, S-E; Gardner, P; , et al
2-Apr-2019Multiparty session type-safe web development with static linearityKing, J; Ng, N; Yoshida, N; , et al
17-Nov-2016Network-wide anomaly detection via the Dirichlet processHeard, NA; Rubin-Delanchy, P;
1-Mar-2020Nonparametric self-exciting models for computer network trafficPrice-Williams, M; Heard, N;
23-Mar-2020Not-so-adiabatic quantum computation for the shortest vector problemJoseph, D; Ghionis, A; Ling, C; Mintert, F;
19-Oct-2016Portable Inter-workgroup Barrier Synchronisation for GPUsSorensen, T; Donaldson, AF; Batty, M; Gopalakrishnan, G; Rakamaric, Z, et al
12-Apr-2019Service equivalence via multiparty session type isomorphismsAltayeva, A; Yoshida, N; , et al
6-Nov-2020Static race detection and mutex safety and liveness for Go programsGabet, J; Yoshida, N; , et al
19-Apr-2016The Hitchhiker's Guide to Cross-Platform OpenCL Application DevelopmentSorensen, T; Donaldson, AF;
26-Mar-2021Two quantum Ising algorithms for the shortest-vector problemJoseph, D; Callison, A; Ling, C; Mintert, F;