Nate Kushman Dina Katabi Enabling Configuration-Independent Automation by Non-Expert Users. 223-236 2010 OSDI http://www.usenix.org/events/osdi10/tech/full_papers/Kushman.pdf conf/osdi/2010 db/conf/osdi/osdi2010.html#KushmanK10