Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	William R.
Last name:	Harris
DBLP:	38/7508
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty. Security challenges in automotive hardware/software architecture design.	Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 2013	(0)	2013
	Conference paper William R. Harris, Somesh Jha, Thomas W. Reps. Secure Programming via Visibly Pushdown Safety Games.	Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012	(0)	2012
	Conference paper Sumit Gulwani, William R. Harris, Rishabh Singh. Spreadsheet data manipulation using examples.	Commun. ACM 2012, Volume 55	(0)	2012
	Conference paper William R. Harris, Sumit Gulwani. Spreadsheet table transformations from examples.	Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011 2011	(0)	2011
	Conference paper William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani. Alternation for Termination.	Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings 2010	(0)	2010
	Conference paper William R. Harris, Somesh Jha, Thomas W. Reps. DIFC programs by automatic instrumentation.	Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010 2010	(0)	2010
	Conference paper William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. Program analysis via satisfiability modulo path programs.	Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 2010	(0)	2010
	Conference paper William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps. Verifying Information Flow Control over Unbounded Processes.	FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009	(0)	2009

Show item 1 to 8 of 8  

Your query returned 8 matches in the database.