Pieter Hooimeijer

18 papers A* 6A 2B 1Misc 2Journal 4Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Informal participation in digital planning: How can third parties use social media to shift power relations in planning? Comput. Environ. Urban Syst. Junyao He, Yanliu Lin, Pieter Hooimeijer, Jochen Monstadt
2019	J	`jnl`	The usefulness of a Web-based Participatory Planning Support System in Wuhan, China. Comput. Environ. Urban Syst. Lin Zhang, Stan C. M. Geertman, Pieter Hooimeijer, Yanliu Lin
2019	A	`conf`	Theory and practice of string solvers (invited talk abstract). ISSTA Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
2015	—	`conf`	Moving Fast with Software Verification. NFM Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
2012	J	`jnl`	HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2012	J	`jnl`	StrSolve: solving string constraints lazily. Autom. Softw. Eng. Pieter Hooimeijer, Westley Weimer
2012	A*	`conf`	Symbolic finite state transducers: algorithms and applications. POPL Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjørner
2011	B	`conf`	An Evaluation of Automata Algorithms for String Analysis. VMCAI Pieter Hooimeijer, Margus Veanes
2011	A*	`conf`	Fast and Precise Sanitizer Analysis with BEK. USENIX Security Symposium Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena, Margus Veanes
2011	A*	`conf`	HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2010	—	`conf`	A modular and extensible macroprogramming compiler. SESENA@ICSE Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2010	A*	`conf`	Solving string constraints lazily. ASE Pieter Hooimeijer, Westley Weimer
2009	A*	`conf`	A decision procedure for subset constraints over regular languages. PLDI Pieter Hooimeijer, Westley Weimer
2009	A	`conf`	HAMPI: a solver for string constraints. ISSTA Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2009	Misc	`conf`	Macrodebugging: global views of distributed program execution. SenSys Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2008	Misc	`conf`	MacroLab: a vector-based macroprogramming framework for cyber-physical systems. SenSys Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse
2008	—	`conf`	Talking to strangers without taking their candy: isolating proxied content. SNS Adrienne Felt, Pieter Hooimeijer, David Evans, Westley Weimer
2007	A*	`conf`	Modeling bug report quality. ASE Pieter Hooimeijer, Westley Weimer