Author Obfuscation using Differential Privacy
On April 6 Natasha Fernandes presented her MRes thesis work on A Novel Framework for Author Obfuscation using Generalised Differential Privacy.
- Threshold concepts in computer science: do they exist and are they useful? by Boustedt et al
- Identifying threshold concepts: from dead end to a new direction by Shinners-Kennedy et al
On March 16 we discussed the following paper: Abstraction ability as an indicator of success for learning computing science? by Bennedssen and Caspersen.
On March 9 we discussed two short papers about the applications and use of WebAssembly:
- TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly by Fu et al.
On March 2 we discussed the paper Mechanising and Verifying the WebAssembly Specification by Watt. More information on WebAssembly can be found at the project site.
Safety-Critical Use of a Formally-Verified Compiler
On January 19 we discussed the paper CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler by Kästner et al.