Improving quality, efficiency, software trustworthiness
Our research in software development spans all aspects of making developers more productive and software more trustworthy. It includes programming-language design, compilers, specification and verification, development environments and tools, runtime environments, formal models of systems, performance monitoring and optimization, security and privacy, software analytics, and quality improvement.
We work on tools, languages, and methodologies to increase dramatically the productivity of software development. We are interested in analysis tools for existing software and in asking questions about how the software of the future should be designed and developed.
Abram Hindle, Christian Bird, Thomas Zimmermann, and Nachiappan Nagappan, Do Topics Make Sense to Managers and Developers?, in Empirical Software Engineering, Springer, December 2015.
Ravi Mangal, Xin Zhang, Mayur Naik, and Aditya V. Nori, Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances, in SAT '15: International Conference on Theory and Applications of Satisfiability Testing, Springer, September 2015.
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, and Hillel Kugler, Switching Gene Regulatory Networks, in 10th International Conference on Information Processing in Cells and Tissues (IPCAT 2015), Springer, September 2015.
He Zhu, Aditya V. Nori, and Suresh Jagannathan, Learning Refinement Types, in International Conference on Functional Programming (ICFP), ACM – Association for Computing Machinery, August 2015.
Ravi Mangal, Xin Zhang, Mayur Naik, and Aditya V. Nori, A User-Guided Approach to Program Analysis, in Foundations of Software Engineering (FSE), ACM – Association for Computing Machinery, August 2015.
- T2 Temporal Prover
- Sampling software projects
- Tark: A Tool Kit to Mine Linear Temporal Rules
- Cloud Computing Research Group
- Operating Systems Technologies
- Programming Languages and Tools
- Programming Principles and Tools
- The BBC micro:bit
- Robust Distributed System Nucleus (rDSN)
- Certification of Symbolic Transaction
- Society of Devices Applications (SODA)
- Code Hunt Community
- Code Hunt
- Ziria - Wireless Programming for Hardware Dummies
- Live Programming
- Logging practice study
- Code Completion
- Contextual Fuzzing for Mobile App Testing