Software Systems
Fang-Hsiang Su and Jon Bell are co-authors of Identifying Functionally Similar Code in Complex Codebases.
Suman Jana worked with colleagues to create APEx, a tool for automatically finding error-handling bugs in C code.
In a Proceedings of the IEEE focused on Electronic Design Automation (EDA), Carloni and three other editors bring together perspectives on the future and challenges of EDA.
About
Our systems research includes a broad range of topics encompassing architecture-sensitive database system design, cloud computing, collaborative work, computer and network privacy and security, concurrent and parallel systems, database systems, data warehousing, deterministic multithreading, distributed systems, information extraction and management, file systems, mobile computing, multicore systems, multimedia systems, operating systems, performance evaluation, programming languages and compilers, quantum computing, query languages and processing, social media mining, software development environments and tools, software engineering, software reliability, software testing, thin-client computing virtualization, web search, and web technologies.
Software Systems Laboratory 
Programming Systems Laboratory 
Languages and Compilers Group 
Database Research Group 
Add to GMail