Search
for Author
All Reviews
Rajamani, Sriram K.
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
3
of
3
reviews
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
Compositional may-must program analysis: unleashing the power of alternation
Godefroid P., Nori A., Rajamani S., Tetali S. ACM SIGPLAN Notices 45(1): 43-56, 2010. Type: Article
The problem of software model checking is quite simply stated: is it possible to reach a particular instruction in the program when executing it? This paper is the culmination of nearly a decade of effort toward solving this problem. T...
...
Apr 2 2010
Proofs from tests
Beckman N., Nori A., Rajamani S., Simmons R. Software testing and analysis (Proceedings of the 2008 International Symposium on Software Testing and Analysis, Seattle, WA, Jul 20-24, 2008) 3-14, 2008. Type: Proceedings
Based in the area of software verification that uses model-checking methods, this paper builds on the recent verification methods that employ the technique of counterexample guided abstraction refinement (CEGAR) for prov...
...
Sep 29 2008
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy