Software Systems
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.
An easy-to-use, powerful Android profiler that helps teams develop high-performance apps.
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