Current To Do List:
- Work at Intel (May - August)
- MacroLab implementation work
- talk at Colgate (October 16)
- ISSTA Submission
- Bug Reports Journal
- DPRLE implementation
- PLDI camera ready
- Work at MSR India (February - May)
Current Work
I'm currently pondering all sorts of things...
Past Work
2009
A Decision Procedure for Subset Constraints over Regular Languages
Pieter Hooimeijer and Westley Weimer
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, June 2009
[ PDF available upon request ]
2008
MacroLab: A Framework for Deployment-Specific Code
Decomposition
Timothy Hnat, Tamim Sookoor, Pieter Hooimeijer, Westley Weimer, and
Kamin Whitehouse
Conference on Embedded Networked Sensor Systems (SenSys '08 pp. 225–238),
Raleigh, NC, November 2008
[ PDF | BibTex | doi]
Talking to Strangers Without Taking Their Candy:
Isolating Proxied Content
Adrienne Felt, Pieter Hooimeijer, David Evans, and
Westley Weimer
Workshop on Social Network Systems (SocialNets '08),
pp. 25–30, Glasgow, Scotland, UK, April 2008.
[ PDF]
Generating String Inputs Using Constrained Symbolic Execution
Pieter Hooimeijer
Master's Thesis, Department of Computer Science,
University of Virginia, Charlottesville, Virginia,
May 2008.
[ PDF |
Presentation (PDF) |
BibTex
]
2007
Modeling Bug Report Quality
Pieter Hooimeijer and Westley Weimer.
Proceedings of the twenty-second
IEEE/ACM international conference on Automated software
engineering (ASE '07 pp. 34–43),
Atlanta, Georgia, November 2007.
[ PDF |
Presentation (PDF) |
BibTex |
doi
]
2006
A Library of Large-Scale Distributed Spatial Data Structures
Pieter Hooimeijer; Adviser:
Toshiro K. Ohsumi.
Honors Thesis, Department of Computer Science, Colgate
University, Hamilton, New York, April 2006.
[ PDF |
Presentation
(ppt) |
BibTex |
Source Code (tgz)
]
A Decision Procedure for Subset Constraints over Regular Languages
Pieter Hooimeijer and Westley Weimer
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, June 2009
[ PDF available upon request ]
MacroLab: A Framework for Deployment-Specific Code
Decomposition
Timothy Hnat, Tamim Sookoor, Pieter Hooimeijer, Westley Weimer, and
Kamin Whitehouse
Conference on Embedded Networked Sensor Systems (SenSys '08 pp. 225–238),
Raleigh, NC, November 2008
[ PDF | BibTex | doi]
Talking to Strangers Without Taking Their Candy:
Isolating Proxied Content
Adrienne Felt, Pieter Hooimeijer, David Evans, and
Westley Weimer
Workshop on Social Network Systems (SocialNets '08),
pp. 25–30, Glasgow, Scotland, UK, April 2008.
[ PDF]
Generating String Inputs Using Constrained Symbolic Execution
Pieter Hooimeijer
Master's Thesis, Department of Computer Science,
University of Virginia, Charlottesville, Virginia,
May 2008.
[ PDF |
Presentation (PDF) |
BibTex
]
Modeling Bug Report Quality
Pieter Hooimeijer and Westley Weimer.
Proceedings of the twenty-second
IEEE/ACM international conference on Automated software
engineering (ASE '07 pp. 34–43),
Atlanta, Georgia, November 2007.
[ PDF |
Presentation (PDF) |
BibTex |
doi
]
A Library of Large-Scale Distributed Spatial Data Structures
Pieter Hooimeijer; Adviser:
Toshiro K. Ohsumi.
Honors Thesis, Department of Computer Science, Colgate
University, Hamilton, New York, April 2006.
[ PDF |
Presentation
(ppt) |
BibTex |
Source Code (tgz)
]