Publication

×

Error message

  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Notice: Trying to access array offset on value of type int in element_children() (line 6591 of /var/www/html/site-publications/includes/common.inc).
  • Deprecated function: implode(): Passing glue string after array is deprecated. Swap the parameters in drupal_get_feeds() (line 394 of /var/www/html/site-publications/includes/common.inc).
Beyond Bug-Finding: Sound Program Analysis for Linux.
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, and Feng Zhou
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, San Diego, California, USA, May 2007
@inproceedings{abc,
	author = {Zachary R. Anderson and Eric A. Brewer and Jeremy Condit and Robert Ennals and David Gay and Matthew Harren and George C. Necula and Feng Zhou},
	booktitle = {Proceedings of HotOS{\textquoteright}07: 11th Workshop on Hot Topics in Operating Systems},
	title = {Beyond Bug-Finding: Sound Program Analysis for Linux.},
	url = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf},
	venue = {San Diego, California, USA},
	year = {2007}
}