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.
Meredith Ringel Morris, Andrew Begel, and Ben Wiedermann, Understanding the Challenges Faced by Neurodiverse Software Engineering Employees: Towards a More Inclusive and Productive Technical Workforce, in Proceedings of ASSETS 2015, ACM – Association for Computing Machinery, October 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.
Ravi Mangal, Xin Zhang, Aditya V. Nori, and Mayur Naik, 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.
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, Aditya V. Nori, and Mayur Naik, 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
- Open Source Software from Microsoft for Academics
- The BBC micro:bit and Microsoft
- 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