Filter dates
Overview
- parallel computers
- machine learning
- runtime environment
- automated theorem provers
- university of north carolina
Publications
Introducing and Interfacing with Cybersecurity - A Cards Approach.
CoRR
Communicating on Security within Software Development Issue Tracking.
CoRR
F1TENTH: An Over-taking Algorithm Using Machine Learning.
ICAC
Benchmarking Parallelism in Unikernels.
Euro-Par Workshops
Improving GHC Haskell NUMA profiling.
FHPNC@ICFP
A Playful Learning Exercise: Kashmir Crisis.
GALA