Stem novo$ (all stems)
3 papers:
- ASPLOS-2015-SungA #named #performance
- DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
- ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance
- DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
- FM-2009-HjortRLPS #modelling #testing #user interface #using
- Model-Based GUI Testing Using Uppaal at Novo Nordisk (UHH, JIR, KGL, MAP, AS), pp. 814–818.