Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Software Development, Programming Principles, Tools, and Languages

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.

 

Publications

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.

More publications ...