Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.
Learn about submitted outputs
Download all details for all outputs (spreadsheet)
Download all details for all outputs (spreadsheet) (generating)

Search and filter

Clear search and filter

Filter by

  • University of Cambridge
   None selected
  • 11 - Computer Science and Informatics
   None selected
   None selected
   None selected
   None selected
Download output details for outputs in the current view (spreadsheet)
Download output details for outputs in the current view (spreadsheet) (generating)
Showing outputs 1 to 100 of 202

1000 days of UDP amplification DDoS attacks

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/ECRIME.2017.7945057
Open access status
Compliant
Title of conference / published proceedings
eCrime Researchers Summit, eCrime

A concurrency semantics for relaxed atomics that permits optimisation and avoids ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1145/2837614.2837616
Open access status
Out of scope for open access requirements
Title of journal
ACM SIGPLAN Notices

A Conflict-Free Replicated JSON Datatype

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TPDS.2017.2697382
Open access status
Compliant
Title of journal
IEEE Transactions on Parallel and Distributed Systems

A Fleet of Miniature Cars for Experiments in Cooperative Driving

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/icra.2019.8794445
Title of conference / published proceedings
2019 International Conference on Robotics and Automation (ICRA)

A High Efficiency Hardware Trojan Detection Technique Based on Fast SEM Imaging

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.7873/date.2015.1104
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1007/s10817-015-9322-8
Open access status
Out of scope for open access requirements
Title of journal
Journal of Automated Reasoning

A model of local adaptation

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2816795.2818086
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM Transactions on Graphics

A modular foreign function interface

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1016/j.scico.2017.04.002
Open access status
Compliant
Title of journal
Science of Computer Programming

A Separation Logic for a Promising Semantics

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1007/978-3-319-89884-1_13
Open access status
Compliant
Title of conference / published proceedings
LNCS 10801

A Syntactic Universal and Its Consequences

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1162/ling_a_00153
Open access status
Out of scope for open access requirements
Title of journal
Linguistic Inquiry

A theory of effects and resources: adjunction models and polarised calculi

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2837614.2837652
Title of conference / published proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

A type theory for cartesian closed bicategories

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/LICS.2019.8785708
Open access status
Compliant
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

A Typed, Algebraic Approach to Parsing

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3314221.3314625
Title of conference / published proceedings
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Abstract Diagrammatic Reasoning with Multiplex Graph Networks

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
Title of conference / published proceedings
ICLR

Abusive Language Detection with Graph Convolutional Networks

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/N19-1221
Title of conference / published proceedings
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies

Accelerating Mobile Audio Sensing Algorithms through On-Chip GPU Offloading

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3081333.3081358
Title of conference / published proceedings
MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services

ADaPT: optimizing CNN inference on IoT and mobile devices using approximately separable ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3109761.3109804
Title of conference / published proceedings
IML '17 Proceedings of the 1st International Conference on Internet of Things and Machine Learning

Adaptive Communication: Languages with More Non-Native Speakers Tend to Have Fewer ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1371/journal.pone.0128254
Open access status
Out of scope for open access requirements
Title of journal
PLoS One

Adjusting Laser Injections for Fully Controlled Faults

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1007/978-3-319-10175-0_16
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Lecture Notes in Computer Science

Algebraically Closed Fields in Isabelle/HOL

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-51054-1_12
Open access status
Compliant
Title of conference / published proceedings
Automated Reasoning—10th International Joint Conference, IJCAR 2020

Alone versus in-a-group: A multi-modal framework for automatic affect recognitio ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3321509
Open access status
Compliant
Title of journal
ACM Transactions on Multimedia Computing, Communications and Applications

An analysis of the accuracy of bluetooth low energy for indoor positioning appli ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
Title of conference / published proceedings
27th International Technical Meeting of the Satellite Division of the Institute of Navigation, ION GNSS 2014

An event-triggered programmable prefetcher for irregular workloads

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3173162.3173189
Open access status
Compliant
Title of conference / published proceedings
ACM SIGPLAN Notices

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1007/978-3-030-44914-8_23
Open access status
Compliant
Title of conference / published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Asynchronous Convergence of Policy-Rich Distributed Bellman-Ford Routing Protoco ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3230543.3230561
Title of conference / published proceedings
SIGCOMM 2018 - Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication

Autoencoding Pixies: Amortised Variational Inference with Graph Convolutions for ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.18653/v1/2020.acl-main.367
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics

Automatic Annotation and Evaluation of Error Types for Grammatical Error Correct ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.18653/v1/P17-1074
Title of conference / published proceedings
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics

Automatic audiovisual behavior descriptors for psychological disorder analysis

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.imavis.2014.06.001
Open access status
Out of scope for open access requirements
Title of journal
Image and Vision Computing

Automatic Detection of Self-Adaptors for Psychological Distress

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1109/FG47880.2020.00032
Title of conference / published proceedings
Proceedings - 2020 15th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2020

Axioms for modelling cubical type theory in a Topos

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.4230/LIPIcs.CSL.2016.24
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics, LIPIcs

Bellrock: Anonymous Proximity Beacons from Personal Devices

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1109/PERCOM.2018.8444603
Title of conference / published proceedings
2018 IEEE International Conference on Pervasive Computing and Communications, PerCom 2018

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1145/2694344.2694367
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems

Big Ideas paper: Policy-driven middleware for a legally-compliant Internet of Th ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2988336.2988349
Title of conference / published proceedings
ACM 17th ACM/IFIP/Usenix Middleware

BOAT: Building auto-tuners with structured Bayesian optimization

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3038912.3052662
Title of conference / published proceedings
26th International World Wide Web Conference, WWW 2017

Bounding data races in space and time

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3192366.3192421
Open access status
Compliant
Title of conference / published proceedings
ACM SIGPLAN Notices

Broken Symmetries, Random Morphogenesis, and Biometric Distance

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1109/tbiom.2020.2993225
Open access status
Compliant
Title of journal
IEEE Transactions on Biometrics, Behavior, and Identity Science

Caiipa

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2639108.2639131
Title of conference / published proceedings
Proceedings of the 20th annual international conference on Mobile computing and networking

Candidate re-ranking for SMT-based grammatical error correction.

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
BEA@NAACL-HLT

CHERI Concentrate: Practical Compressed Capabilities

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1109/TC.2019.2914037
Open access status
Compliant
Title of journal
IEEE TRANSACTIONS ON COMPUTERS

CHERI JNI: Sinking the Java Security Model into the C

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3037697.3037725
Open access status
Compliant
Title of conference / published proceedings
OPERATING SYSTEMS REVIEW

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3297858.3304042
Title of conference / published proceedings
International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

CHERIvoke: Characterising pointer revocation using CHERI capabilities for temporal ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3352460.3358288
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the Annual International Symposium on Microarchitecture, MICRO

Chip and skim: Cloning EMV cards with the pre-play attack

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/SP.2014.11
Open access status
Out of scope for open access requirements
Title of journal
Proceedings - IEEE Symposium on Security and Privacy

Cluster-based point set saliency

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
DOI
10.1109/ICCV.2015.27
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Proceedings of the IEEE International Conference on Computer Vision

Clustered sparse Bayesian learning

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015

Coeffects: A calculus of context-dependent computation

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2628136.2628160
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
ACM SIGPLAN Notices

Coherence and normalisation-by-evaluation for bicategorical cartesian closed str ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3373718.3394769
Title of conference / published proceedings
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

Collapsing towers of interpreters

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3158140
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Constrained multi-task learning for automated essay scoring

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/p16-1075
Title of conference / published proceedings
54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Long Papers

Continuous conditional neural fields for structured regression

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1007/978-3-319-10593-2_39
Open access status
Out of scope for open access requirements
Title of journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Control vectors for splines

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1016/j.cad.2014.08.028
Open access status
Out of scope for open access requirements
Title of journal
CAD Computer Aided Design

Conversion of trimmed NURBS surfaces to Catmull-Clark subdivision surfaces

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1016/j.cagd.2014.06.004
Open access status
Out of scope for open access requirements
Title of journal
Computer Aided Geometric Design

Cost-Aware Activity Scheduling for Compressive Sleeping Wireless Sensor Networks

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TSP.2016.2521608
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Signal Processing

CrimeBB: Enabling cybercrime research on underground forums at scale

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1145/3178876.3186178
Title of conference / published proceedings
The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018

Cross-Lingual Lexico-Semantic Transfer in Language Learning

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/p16-1092
Title of conference / published proceedings
Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics

Datafun: A Functional Datalog

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2951913.2951948
Open access status
Technical exception
Title of conference / published proceedings
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming

Dataset and metrics for predicting local visible differences

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1145/3196493
Open access status
Compliant
Title of journal
ACM Transactions on Graphics

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1007/s10817-017-9424-6
Open access status
Compliant
Title of journal
Journal of Automated Reasoning

DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile De ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1109/IPSN.2016.7460664
Title of conference / published proceedings
2016 15th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2016 - Proceedings

Definability of semidefinite programming and lasserre lower bounds for CSPs

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1109/LICS.2017.8005108
Open access status
Compliant
Title of conference / published proceedings
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017

Definable inapproximability: New challenges for duplicator

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1093/logcom/exz022
Open access status
Compliant
Title of journal
Journal of Logic and Computation

Demand around the clock: Time use and data demand of mobile devices in everyday ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3025453.3025730
Title of conference / published proceedings
Conference on Human Factors in Computing Systems - Proceedings

Demonstrating a multi-primary high dynamic range display system for vision exper ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1364/JOSAA.384022
Open access status
Compliant
Title of journal
J Opt Soc Am A Opt Image Sci Vis

Denotational semantics with nominal scott domains

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1145/2629529
Open access status
Out of scope for open access requirements
Title of journal
Journal of the ACM

Density-aware compressive crowdsensing

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.1145/3055031.3055081
Title of conference / published proceedings
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks

Deploying authentication in the wild: Towards greater ecological validity in security ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2020
DOI
10.1093/CYBSEC/TYAA010
Open access status
Compliant
Title of journal
Journal of Cybersecurity

Detecting argument selection defects

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3133928
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Detecting Incorrect Build Rules

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.17863/CAM.35755
Title of conference / published proceedings
ICSE '19: 41st International Conference on Software Engineering

Developing an automated writing placement system for ESL learners

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1080/08957347.2018.1464447
Open access status
Not compliant
Title of journal
Applied Measurement in Education

Dictionary learning inspired deep network for scene recognition

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
Open access status
Compliant
Title of conference / published proceedings
32nd AAAI Conference on Artificial Intelligence, AAAI 2018

Differentiable surface splatting for point-based geometry processing

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3355089.3356513
Open access status
Deposit exception
Title of journal
ACM Transactions on Graphics

Don't Forget the Long Tail! A Comprehensive Analysis of Morphological Generalization ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.18653/v1/D19-1090
Title of conference / published proceedings
Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing

Efficient, portable template attacks

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/TIFS.2017.2757440
Open access status
Compliant
Title of journal
IEEE Transactions on Information Forensics and Security

EMU: Rapid prototyping of networking services

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2017
DOI
10.17863/CAM.13009
Title of conference / published proceedings
Proceedings of the 2017 USENIX Annual Technical Conference, USENIX ATC 2017

Exploring Automatic Diagnosis of COVID-19 from Crowdsourced Respiratory Sound Da ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2020
DOI
10.1145/3394486.3412865
Title of conference / published proceedings
Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining

Exploring C semantics and pointer provenance

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290380
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation O ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1007/978-3-030-17184-1_9
Open access status
Compliant
Title of conference / published proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/BLOC.2019.8751452
Title of conference / published proceedings
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency

FEVER: A large-scale dataset for fact extraction and verification

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.18653/v1/n18-1074
Title of conference / published proceedings
NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference

Firmament: Fast, Centralized Cluster Scheduling at Scale

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
Title of conference / published proceedings
Symposium on Operating Systems Design and Implementation

Focused quantization for sparse CNNs

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
Open access status
Compliant
Title of conference / published proceedings
Advances in Neural Information Processing Systems

Freeze after writing: Quasi-deterministic parallel programming with LVars

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.1145/2535838.2535842
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Fully Automatic Analysis of Engagement and Its Relationship to Personality in Human-Robot ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1109/ACCESS.2016.2614525
Open access status
Compliant
Title of journal
IEEE Access

Game semantics for quantum programming

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2019
DOI
10.1145/3290345
Open access status
Compliant
Title of journal
Proceedings of the ACM on Programming Languages

Gazedirector: Fully articulated eye gaze redirection in video

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.1111/cgf.13355
Open access status
Compliant
Title of conference / published proceedings
Computer Graphics Forum

Globular: an online proof assistant for higher-dimensional rewriting

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.23638/LMCS-14(1:8)2018
Open access status
Compliant
Title of journal
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl, p. 34:1-34:11 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 52).

Grammatical error correction using hybrid systems and type filtering

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2014
DOI
10.3115/v1/w14-1702
Title of conference / published proceedings
CoNLL 2014 - 18th Conference on Computational Natural Language Learning, Proceedings of the Shared Task

Grammatical error correction using neural machine translation

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.18653/v1/n16-1042
Title of conference / published proceedings
2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference

Happier People Live More Active Lives: Using Smartphones to Link Happiness and Physical ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1371/journal.pone.0160589
Open access status
Compliant
Title of journal
PLoS One

HDR image reconstruction from a single exposure using deep CNNs

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2017
DOI
10.1145/3130800.3130816
Open access status
Compliant
Title of journal
ACM Transactions on Graphics

HELIX-RC: An architecture-compiler co-design for automatic parallelization of irregular ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2014
DOI
10.1109/ISCA.2014.6853215
Open access status
Out of scope for open access requirements
Title of journal
Proceedings - International Symposium on Computer Architecture

High-level methods for homotopy construction in associative n-categories

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1109/lics.2019.8785895
Title of conference / published proceedings
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Identifying problems and solutions in scientific text.

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2018
DOI
10.1007/s11192-018-2718-6
Open access status
Compliant
Title of journal
Scientometrics

Information theory and the iriscode

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2016
DOI
10.1109/TIFS.2015.2500196
Open access status
Out of scope for open access requirements
Title of journal
IEEE Transactions on Information Forensics and Security

Inter-battery Topic Representation Learning

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1007/978-3-319-46484-8_13
Open access status
Out of scope for open access requirements
Title of conference / published proceedings
14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part VIII

Internal Universes in Models of Homotopy Type Theory

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2018
DOI
10.4230/LIPIcs.FSCD.2018.22
Open access status
Compliant
Title of conference / published proceedings
Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108

Into the depths of C: Elaborating the de facto standards

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2016
DOI
10.1145/2908080.2908081
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2019
DOI
10.1145/3290384
Open access status
Compliant
Title of conference / published proceedings
Proceedings of the ACM on Programming Languages

Jitsu: Just-in-time summoning of unikernel

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
E - Conference contribution
Year of publication
2015
Title of conference / published proceedings
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015

Keys under doormats: Mandating insecurity by requiring government access to all data ...

Submitting institution
University of Cambridge
Unit of assessment
11 - Computer Science and Informatics
Type
D - Journal article
Year of publication
2015
DOI
10.1093/cybsec/tyv009
Open access status
Out of scope for open access requirements
Title of journal
Journal of Cybersecurity
Showing outputs 1 to 100 of 202

Filter by higher education institution

Select one or more of the following higher education institutions and then click Apply selected filters when you have finished.
No higher education institutions found.

Filter by unit of assessment

Select one or more of the following units of assessment and then click Apply selected filters when you have finished.
No unit of assessments found.

Filter by output type

Select one or more of the following output types and then click Apply selected filters when you have finished.

Filter by year

Select one or more of the following years and then click Apply selected filters when you have finished.

Filter by open access status

Select one or more of the following open access statuses and then click Apply selected filters when you have finished.