Exploiting Behavioral Hierarchy for Efficient Model Checking
Abstract elided by the publisher.
Related papers
- Analytical modeling of cache behavior for affine programs POPL 2018
- An automatic code overlaying technique for multicores with explicitly-managed memory hierarchies CGO 2012
- Efficient performance evaluation of memory hierarchy for highly multithreaded graphics processors PPoPP 2012
- METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting CGO 2003
- Modeling Concurrency in Parallel Debugging PPoPP 1990
- A comparison of programming models for multiprocessors with explicitly managed memory hierarchies PPoPP 2009
- Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality PLDI 2001
- Extensible encoding of type hierarchies POPL 2008