William R. Harris Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. DATE 2013: 458-463
2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sumit Gulwani, William R. Harris, Rishabh Singh: Spreadsheet data manipulation using examples. Commun. ACM 55(8): 97-105 (2012)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Somesh Jha, Thomas W. Reps: Secure Programming via Visibly Pushdown Safety Games. CAV 2012: 581-598
2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Sumit Gulwani: Spreadsheet table transformations from examples. PLDI 2011: 317-328
2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Somesh Jha, Thomas W. Reps: DIFC programs by automatic instrumentation. ACM Conference on Computer and Communications Security 2010: 284-296
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani: Alternation for Termination. SAS 2010: 304-319
2009
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789

Coauthor Index

1Alexandre Bouard
[c7]
2Sagar Chaki
[c1]
3Samarjit Chakraborty
[c7]
4Sumit Gulwani
[j1] [c5]
5Aarti Gupta
[c3]
6Franjo Ivancic
[c3]
7Somesh Jha
[c7] [c6] [c4] [c1]
8Nicholas Kidd
[c1]
9Akash Lal
[c2]
10Martin Lukasiewycz
[c7]
11Aditya V. Nori
[c2]
12Thomas Peyrin
[c7]
13Axel Poschmann
[c7]
14Sriram K. Rajamani
[c2]
15Thomas W. Reps
[c6] [c4] [c1]
16Florian Sagstetter
[c7]
17Sriram Sankaranarayanan
[c3]
18Rishabh Singh
[j1]
19Sebastian Steinhorst
[c7]
20Marko Wolf
[c7]

Colors in the list of coauthors

Last update Sat May 25 04:27:31 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page