@inproceedings {179781,
	author = {Tim Nelson and Andrew D. Ferguson and Michael J.G. Scheer and Shriram Krishnamurthi},
	title = {Tierless Programming and Reasoning for {Software-Defined} Networks},
	booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)},
	year = {2014},
	isbn = {978-1-931971-09-6},
	address = {Seattle, WA},
	pages = {519--531},
	url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {180142,
	author = {Benjamin S. Lerner and Matthew J. Carroll and Dan P. Kimmel and Hannah Quay-de la Vallee and Shriram Krishnamurthi},
	title = {Modeling and Reasoning about {DOM} Events},
	booktitle = {3rd USENIX Conference on Web Application Development (WebApps 12)},
	year = {2012},
	isbn = {978-931971-94-2},
	address = {Boston, MA},
	pages = {1--12},
	url = {https://www.usenix.org/conference/webapps12/technical-sessions/presentation/lerner},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {181336,
	author = {Andrew D. Ferguson and Arjun Guha and Jordan Place and Rodrigo Fonseca and Shriram Krishnamurthi},
	title = {Participatory Networking},
	booktitle = {2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE 12)},
	year = {2012},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/hot-ice12/workshop-program/presentation/ferguson},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {266529,
	author = {Joe Gibbs Politz and Spiridon Aristides Eliopoulos and Arjun Guha and Shriram Krishnamurthi},
	title = {{ADsafety}: {Type-Based} Verification of {JavaScript} Sandboxing},
	booktitle = {20th USENIX Security Symposium (USENIX Security 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/usenix-security-11/adsafety-type-based-verification-javascript-sandboxing},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266485,
	author = {Timothy Nelson and Christopher Barratt and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
	title = {The Margrave Tool for Firewall Analysis},
	booktitle = {24th Large Installation System Administration Conference (LISA 10)},
	year = {2010},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/lisa10/margrave-tool-firewall-analysis},
	publisher = {USENIX Association},
	month = nov
}
