Publication | Publications - Systems Group, ETH Zurich

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).

A declarative language approach to device configuration.

Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, and Simon Peter

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011., March 2011

@inproceedings{abc,
	author = {Adrian Sch{\"u}pbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
	booktitle = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA},
	title = {A declarative language approach to device configuration.},
	url = {http://doi.acm.org/10.1145/1950365.1950382},
	venue = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011.},
	year = {2011}
}