Patent | Date |
---|
Automatic conversion of sequential array-based programs to parallel map-reduce programs Grant 9,753,708 - Fink , et al. September 5, 2 | 2017-09-05 |
Simulating black box test results using information from white box testing Grant 9,747,187 - Fink , et al. August 29, 2 | 2017-08-29 |
Automatic conversion of sequential array-based programs to parallel map-reduce programs Grant 9,747,089 - Fink , et al. August 29, 2 | 2017-08-29 |
Simulating black box test results using information from white box testing Grant 9,720,798 - Fink , et al. August 1, 2 | 2017-08-01 |
Automatic Conversion Of Sequential Array-based Programs To Parallel Map-reduce Programs App 20160110176 - Fink; Stephen ;   et al. | 2016-04-21 |
Automatic Conversion Of Sequential Array-based Programs To Parallel Map-reduce Programs App 20160110175 - Fink; Stephen ;   et al. | 2016-04-21 |
Automated testing of applications with scripting code Grant 9,135,147 - Artzi , et al. September 15, 2 | 2015-09-15 |
Global Variable Security Analysis App 20150220739 - Artzi; Shay ;   et al. | 2015-08-06 |
Global variable security analysis Grant 9,075,997 - Artzi , et al. July 7, 2 | 2015-07-07 |
Generating specifications for expression language expressions and tag libraries Grant 8,903,702 - Artzi , et al. December 2, 2 | 2014-12-02 |
Refactoring programs for flexible locking Grant 8,869,127 - Dolby , et al. October 21, 2 | 2014-10-21 |
Global Variable Security Analysis App 20140143880 - Artzi; Shay ;   et al. | 2014-05-22 |
Scalable property-sensitive points-to analysis for program code Grant 8,694,971 - Chandra , et al. April 8, 2 | 2014-04-08 |
Correct refactoring of concurrent software Grant 8,689,191 - Dolby , et al. April 1, 2 | 2014-04-01 |
Global variable security analysis Grant 8,656,496 - Artzi , et al. February 18, 2 | 2014-02-18 |
Automated Testing Of Applications With Scripting Code App 20130290786 - ARTZI; Shay ;   et al. | 2013-10-31 |
Race Detection For Web Applications App 20130275951 - Dolby; Julian ;   et al. | 2013-10-17 |
Feedback-directed call graph expansion Grant 8,516,452 - Chandra , et al. August 20, 2 | 2013-08-20 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs Grant 8,464,223 - Choi , et al. June 11, 2 | 2013-06-11 |
Generating specifications of client-server applications for static analysis Grant 8,434,070 - Artzi , et al. April 30, 2 | 2013-04-30 |
Scalable Property-sensitive Points-to Analysis For Program Code App 20130091487 - CHANDRA; Satish ;   et al. | 2013-04-11 |
Generating Specifications For Expression Language Expressions And Tag Libraries App 20130054221 - ARTZI; Shay ;   et al. | 2013-02-28 |
Simulating Black Box Test Results Using Information From White Box Testing App 20120254839 - Fink; Stephen ;   et al. | 2012-10-04 |
Refactoring Programs For Flexible Locking App 20120174082 - DOLBY; Julian ;   et al. | 2012-07-05 |
Global Variable Security Analysis App 20120131670 - Artzi; Shay ;   et al. | 2012-05-24 |
Simulating Black Box Test Results Using Information From White Box Testing App 20120110551 - Fink; Stephen ;   et al. | 2012-05-03 |
Generating Specifications Of Client-server Applications For Static Analysis App 20120102471 - ARTZI; Shay ;   et al. | 2012-04-26 |
Static Analysis Of Client-server Applications Using Framework Independent Specifications App 20120102474 - Artzi; Shay ;   et al. | 2012-04-26 |
Correct Refactoring Of Concurrent Software App 20110219361 - DOLBY; JULIAN ;   et al. | 2011-09-08 |
Feedback-Directed Call Graph Expansion App 20110138369 - Chandra; Satish ;   et al. | 2011-06-09 |
Method And Apparatus For Efficient And Precise Datarace Detection For Multithreaded Object-oriented Programs App 20090199162 - Choi; Jong-Deok ;   et al. | 2009-08-06 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs Grant 7,516,446 - Choi , et al. April 7, 2 | 2009-04-07 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs App 20030236951 - Choi, Jong-Deok ;   et al. | 2003-12-25 |