2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DS2011★ 2 cited
Parallel Recursive State Compression for Free
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a tree-based multi-core…
cs.PL2011
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Wouter Kuijper, Michael Weber
We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object orien…