@INPROCEEDINGS{neamtiu:popl08,
  AUTHOR = {Iulian Neamtiu and Michael Hicks and Jeffrey S. Foster and Polyvios Pratikakis},
  TITLE = {Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming},
  BOOKTITLE = {Proceedings of the {ACM} Conference on Principles of Programming Languages (POPL)},
  PAGES = {37--50},
  MONTH = JAN,
  YEAR = 2008
}