Programming Languages, Compilers and Software Engineering

Faculty working in this area

Faculty Email website
Eric Atkinson Atkinson's Group
William Hallahan Hallahan's Group
Leslie C. Lander Lander's Group
Yu (David) Liu Liu's Group
Aravind Prakash Prakash's Group

Highlights in this area

Eric Atkinson works on programming languages for uncertainty, including probabilistic programming and nondeterministic belief programming. His research interests include programming languages, program runtimes, program analysis, formal methods and language design for unusual domains. 

William Hallahan is interested in formal methods, including program analysis, verification and synthesis techniques. He applies theses techniques across a variety of domains, including functional programming languages, networking systems and machine learning models.  

Yu (David) Liu researches programming languages and software engineering (energy-aware programming languages, energy-efficient and power-aware language runtimes, energy-aware deep neutral networks), security (formal reasoning of software/hardware interfaces) and robotics (safety and reliability of UAVs).  

Aravind Prakash specializes in source code and binary program analysis with emphasis on security. His recent and ongoing projects include code instrumentation via compiler modifications and binary instrumentation to enforce security policies. His group also works on vulnerability analysis and hardware-software cohesive security.