Zeleke, McKeever publish at ACM SPLASH
Yegeta Zeleke and Kennon McKeever published results of their research project in the 15th Workshop on Domain-Specific Modeling, which is the longest-running workshop in the history of SPLASH/OOPSLA. Their paper, titled "Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories" focused on enabling young students (e.g., in elementary school) to safely control a dangerous robot, such as autonomous car, through the application of constraint-based checks during the code generation process. Their paper can be accessed on the ACM Digital Library at http://doi.acm.org/10.1145/2846696.2846706.
The bibliographic information for the paper is below, or can be accessed at http://csl.arizona.edu/node/268
K. McKeever, Zeleke, Y., Bunting, M., and Sprinkle, J., "Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories", in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17-22 [Online]. Available: http://doi.acm.org/10.1145/2846696.2846706