Research
I worked with Peter Revesz for both my Master's and Ph.D. In my Master's thesis, we worked on complete security policy languages. This didn't go anywhere, so we turned our research tools to program verification. This resulted in a paper in which we discovered an error in a program that an existing system had verified as correct. For my dissertation, I worked with constraint databases (cdb or constraintdb) in spatial temporal applications.
- Grade-up, Paper: ACM Midsoutheast Conference. Anderson 2017.
- Technology Software and Processes at Khirbet Qeiyafa. Khirbet Qeiyafa Site Report. Anderson and Dant, 2012.
- Survey Recording Techniques and GIS Referencing. Khirbet Qeiyafa Site Report. Perez, Anderson, Dant and Scot, 2012.
- Frameworks vs. Textbooks: Teaching How ORM Frameworks Change Database Design. Presentation: ACM Midsoutheast Conference. Anderson, 2011
2011: Program committee for SARA
- New Virtual Lab Software. Presentation: ACM Midsoutheast Conference. Anderson and Munger, 2010
Scot Anderson: MaxCount Spatiotemporal Aggregate Operator. Encyclopedia of GIS 2017: 1196-1197
Scot Anderson, Peter Z. Revesz: Efficient MaxCount and threshold operators of moving objects. GeoInformatica 13(4): 355-396 (2009)
- Scot Anderson, Peter Z. Revesz: CDB-PV: A Constraint Database-Based Program Verifier. SARA 2007: 35-49
- Scot Anderson: Aggregation Estimation for 2D Moving Points. TIME 2006: 137-144
- Scot Anderson, Peter Z. Revesz: Efficient Threshold Aggregation of Moving Objects. CoRR abs/cs/0611031 (2006)
- Scot Anderson, Peter Z. Revesz: Verifying the Incorrectness of Programs and Automata. SARA 2005: 1-13