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

Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, and Selva Samuel, R2: An Efficient MCMC Sampler for Probabilistic Programs, in AAAI Conference on Artificial Intelligence (AAAI), AAAI, July 2014

Lenin Ravindranath, Sharad Agarwal, Jitu Padhye, and Chris Riederer, Procrastinator: pacing mobile apps' usage of the network, in ACM MobiSys, ACM International Conference on Mobile Systems, Applications, and Services, 16 June 2014

Andrew Begel, Thomas Fritz, Sebastian Mueller, Serap Yigit-Elliott, and Manuela Zueger, Using Psycho-Physiological Measures to Assess Task Difficulty in Software Development, in Proceedings of the International Conference on Software Engineering, International Conference on Software Engineering, 4 June 2014

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, and Luis Ceze, Expressing and Verifying Probabilistic Assertions, Programming Language Design and Implementation (PLDI), June 2014

Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan, Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), ACM, June 2014

More publications...