Skip to main content

Compositional DSLs for Enhancing Software

Primary Investigators:
Daniel Balasubramanian
Brief Description of Project:
The goal of this project is to study how domain-specific languages (DSLs) can be used to represent components of legacy systems and to use the DSLs to enhance those components. The project involves formal methods, compilers, and program analysis, such as symbolic execution.

Desired Qualifications:
An interest in compilers, formal methods, or programming languages. Experience with logic programming, symbolic execution, or SMT solvers is helpful, but not required.
Nature of Supervision:
Direct supervision, as well as working side-by-side with the intern. Intern will also assist two ISIS staff engineers.
A Brief Research Plan (period is for 10 weeks):
-Introduction to project and existing code review
-Write additional test cases for existing code base
-Create new domains and examples based on sponsor (DARPA) provided challenge problems
-Write brief project report and presentation
Number of Open Slots: 1
Contact Information:
Name: Daniel Balasubramanian
Department: Computer Science