Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Wing, Jeannette M. Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 5 of 7 reviews    
  Trustworthy AI
Wing J. Communications of the ACM 10(64): 64-71, 2021.  Type: Article

Artificial intelligence (AI) techniques are useful in creating effective computing tools for diverse applications in areas such as transportation, agriculture, medicine, and justice systems. Yet the credibility of AI is still an interesting subjec...
...
Dec 14 2021  
  Bootstrapping privacy compliance in big data systems
Sen S., Guha S., Datta A., Rajamani S., Tsai J., Wing J.  SP 2014 (Proceedings of the 2014 IEEE Symposium on Security and Privacy,May 18-21, 2014) 327-342, 2014.  Type: Proceedings

In this paper, researchers from Carnegie Mellon and Microsoft Research present their “experience building and operating a system to automate privacy policy compliance checking in Bing.” The claim is impressive: &...
...
Oct 27 2014  
  Respectful Type Converters
Wing J., Ockerbloom J. IEEE Transactions on Software Engineering 26(7): 579-593, 2000.  Type: Article

The respects relation can be used to characterize the information that remains unchanged during type conversions. This basic research paper presents a formal definition of this relation. The definition is based on the Liskov and...
...
Aug 1 2001  
  Specification matching of software components
Zaremski A., Wing J. ACM Transactions on Software Engineering and Methodology 6(4): 333-369, 1997.  Type: Article

A general theory of semantic matches is developed that considers not only functions, but also modules consisting of functions. The authors assume that the behavior of a component is specified by a signature and by pre- and postconditio...
...
Feb 1 1998  
  A behavioral notion of subtyping
Liskov B., Wing J. ACM Transactions on Programming Languages and Systems 16(6): 1811-1841, 1994.  Type: Article

Subtyping, also known informally as inheritance, is an important notion in object-oriented programming, but may lead to unexpected problems if not handled properly. In order to ensure that intrinsic properties are preserved during the ...
...
Jun 1 1996  

 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy