Monitoring Off-the-Shelf Components
No abstract available.
Related papers
- M3: high-performance memory management from off-the-shelf components ISMM 2014
- Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs CC 2008
- Experience report: a do-it-yourself high-assurance compiler ICFP 2012
- Chaperone contracts for higher-order sessions ICFP 2017
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Transactional memory with strong atomicity using off-the-shelf memory protection hardware PPoPP 2009
- Mostly static program partitioning of binary executables TOPLAS 2009
- Mop: an efficient and generic runtime verification framework OOPSLA 2007