Programming Languages and Software Engineering

Everything is becoming programmable: Phones, TVs, tablets, cars, and even watches and glasses! All these programmable devices connect to the Internet to communicate with each other and to access the cloud servers that provide seemingly limitless computation power and storage. There is an exploding demand in application and system software development in order to bring all these devices to life as people continue to discover new ways of using them. Programming Language and Software Engineering research at UCSB addresses the challenges that arise in software development for this modern computing landscape.

Active research topics include: automated software verification techniques for web software; adaptive compiler, runtime, and OS techniques that are guided by dynamically changing program behavior and resource availability; static and dynamic program analysis techniques for modern languages such as JavaScript; new formalisms for modeling and analysis of web services and data-centric workflows; hardware and software techniques for program profiling; program analysis and language design for computer security; novel models and analyses for cloud-based software systems.

Affilated Labs: 
ArchLab, Computer Security Lab, Information Systems and Engineering Lab, Programming Languages Lab, RACELab, Verification Lab

Faculty

Prof. Bultan's research focuses on automated verification techniques and their application to software.

Personal photo

Professor Hardekopf's main research area is Programming Languages, investigating programming language design, analysis, and implementation.

Professor Kemmerer's research interests include formal specification and verification of computer systems, system and network security and reliability, programming and specification language design, and software engineering. 

Chandra Krintz

Chandra has led a number of research projects that have advanced the state-of-the-art in programming systems in ways that improve performance and energy consumption, and that ease development and deployment of software.

Jianwen Su

Enterprises rely on data for the operations and processes to realize the operations. Dr. Su’s research aims at techniques for software systems to support enterprise data and processes.