@inproceedings{chpeffects,
  author = {Longfield, Stephen and Nkounkou, Brittany and Manohar, Rajit and Tate, Ross},
  title = {Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications},
  booktitle = {{PLDI} '15: Proceedings of the 2015 {ACM} {SIGPLAN} conference on Programming Language Design and Implementation},
  year = {2015},
  location = {Portland, Oregon},
  publisher = {{ACM}},
  address = {New York, NY, USA},
  doi = {http://dx.doi.org/10.1145/2737924.2737967},
  url = {http://www.cs.cornell.edu/~ross/publications/chpeffects/}
}