62 citations
- University of Wisconsin–MadisonUS2 papers
- Carnegie Mellon UniversityUS1 paper
- Concordia UniversityCA1 paper
- Korea Advanced Institute of Science and TechnologyKR1 paper
- Microsoft (United States)US1 paper
- Rice UniversityUS1 paper
- Southern University of Science and TechnologyCN1 paper
- University College LondonGB1 paper
- University of Applied Sciences Upper AustriaAT1 paper
- University of MichiganUS1 paper
- University of PennsylvaniaUS1 paper
- University of PittsburghUS1 paper
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 3 cited
Monitoring Assumptions in Assume-Guarantee Contracts
Oleg Sokolsky, Teng Zhang, Insup Lee +1
Pre-deployment verification of software components with respect to behavioral specifications in the assume-guarantee form does not, in general, guarantee absence of errors at run t…
cs.PL2016
Polymorphic Type Inference for Machine Code
Matthew Noonan, Alexey Loginov, David Cok
For many compiled languages, source-level types are erased very early in the compilation process. As a result, further compiler passes may convert type-safe source into type-unsafe…