|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner |
Symbolic finite state transducers: algorithms and applications.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes |
Fast and Precise Sanitizer Analysis with BEK. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Margus Veanes |
An Evaluation of Automata Algorithms for String Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Westley Weimer |
Solving string constraints lazily. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Hooimeijer, Westley Weimer |
A decision procedure for subset constraints over regular languages. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
decision procedure, regular language |
| 1 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
| 1 | Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
Macrodebugging: global views of distributed program execution. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
wireless embedded networks, macroprogramming, source-level debugging |
| 1 | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
MacroLab: a vector-based macroprogramming framework for cyber-physical systems. |
SenSys |
2008 |
DBLP DOI BibTeX RDF |
cyber-physical systems, programming abstractions, macroprogramming, embedded networks |
| 1 | Pieter Hooimeijer, Westley Weimer |
Modeling bug report quality. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
bug report triage, information retrieval, statistical model, issue tracking |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")