Accelerating Software Development Through Integrated Domain-Driven Program Synthesis

Abstractions for Third-Party Extensibility of Educational Programming Environments

Big Time Series Analytics Using a Distributed Infrastructure

Improving Automated Assessment for Student Open-responses in Mathematics

Development and Application of Reaction Route Graph Representation and Analysis of Catalytic Reaction Networks

Theory and Practice: Improving Retention Performance through Student Modeling and System Building

Generating Members of a Software Product Line Using Combinatory Logic

A Framework for Exploring Finite Models

From Theory to Practice: Evaluating Sparsening Filter designs on a Software-Defined Radio Platform