Haoxian Zhao

Learn More
We present Boom, a comprehensive analysis tool for Bool-ean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction , where thread counters are used in a program-context aware way. While designed for bounded counters, this method also integrates well with the Karp-Miller(More)
Our research team is developing an agent-based test bed for the integrated study of retail and wholesale power markets operating over transmission and distribution networks with smart-grid functionality. The test bed will seam together two existing test beds, the AMES Wholesale Power Market Test Bed developed by a group of researchers at Iowa State(More)
  • 1