732 citations
- Microsoft (United States)US99 papers
- Carnegie Mellon UniversityUS41 papers
- Massachusetts Institute of TechnologyUS41 papers
- University of WashingtonUS39 papers
- Stanford UniversityUS32 papers
- University of CambridgeGB31 papers
- University of Science and Technology of ChinaCN31 papers
- Peking UniversityCN28 papers
- University of California, BerkeleyUS28 papers
- Tsinghua UniversityCN24 papers
- University College LondonGB24 papers
- Microsoft Research Asia (China)CN19 papers
5 papers · 2 filters
The TLA+ Toolbox
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineer…
Enabling Open-World Specification Mining via Unsupervised Learning
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit +1
Many programming tasks require using both domain-specific code and well-established patterns (such as routines concerned with file IO). Together, several small patterns combine to…
Are My Invariants Valid? A Learning Approach
Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov +1
Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments ca…
Checking Observational Purity of Procedures
Himanshu Arora, Raghavan Komondoor, G. Ramalingam
Verifying whether a procedure is observationally pure is useful in many software engineering scenarios. An observationally pure procedure always returns the same value for the same…
Towards Predicting the Impact of Software Changes on Building Activities
Michele Tufano, Hitesh Sajnani, Kim Herzig
The pervasive adoption of Continuous Integration practices -- both in industry and open source projects -- has led software building to become a daily activity for thousands of dev…