The usefulness of a Web-based Participatory Planning Support System in Wuhan, China. | 0 | 0.34 | 2019 |
Theory and practice of string solvers (invited talk abstract) | 1 | 0.35 | 2019 |
StrSolve: solving string constraints lazily. | 15 | 0.64 | 2012 |
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars | 19 | 0.70 | 2012 |
Symbolic finite state transducers: algorithms and applications | 57 | 1.61 | 2012 |
Fast and precise sanitizer analysis with BEK | 73 | 2.27 | 2011 |
An evaluation of automata algorithms for string analysis | 27 | 1.03 | 2011 |
HAMPI: a string solver for testing, analysis and vulnerability detection | 10 | 0.71 | 2011 |
Solving string constraints lazily | 25 | 0.98 | 2010 |
A modular and extensible macroprogramming compiler | 1 | 0.37 | 2010 |
A decision procedure for subset constraints over regular languages | 49 | 2.22 | 2009 |
Macrodebugging: global views of distributed program execution | 28 | 1.72 | 2009 |
HAMPI: a solver for string constraints | 143 | 5.01 | 2009 |
MacroLab: a vector-based macroprogramming framework for cyber-physical systems | 33 | 1.55 | 2008 |
Talking to strangers without taking their candy: isolating proxied content | 14 | 1.35 | 2008 |
Modeling bug report quality | 103 | 5.33 | 2007 |