| 9753708 |
Automatic conversion of sequential array-based programs to parallel map-reduce programs |
Stephen Fink, Rodric Rabbah, Cosmin A. Radoi |
2017-09-05 |
| 9747089 |
Automatic conversion of sequential array-based programs to parallel map-reduce programs |
Stephen Fink, Rodric Rabbah, Cosmin A. Radoi |
2017-08-29 |
| 9747187 |
Simulating black box test results using information from white box testing |
Stephen Fink, Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal +4 more |
2017-08-29 |
| 9720798 |
Simulating black box test results using information from white box testing |
Stephen Fink, Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal +4 more |
2017-08-01 |
| 9135147 |
Automated testing of applications with scripting code |
Shay Artzi, Julian Timothy Dolby, Salvatore A. Guarnieri, Simon H. Jensen, Marco Pistoia +2 more |
2015-09-15 |
| 9075997 |
Global variable security analysis |
Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Takaaki Tateishi +2 more |
2015-07-07 |
| 8903702 |
Generating specifications for expression language expressions and tag libraries |
Shay Artzi |
2014-12-02 |
| 8869127 |
Refactoring programs for flexible locking |
Julian Timothy Dolby, Frank Tip, Max Schaefer |
2014-10-21 |
| 8694971 |
Scalable property-sensitive points-to analysis for program code |
Satish Chandra, Julian Timothy Dolby, Frank Tip |
2014-04-08 |
| 8689191 |
Correct refactoring of concurrent software |
Julian Timothy Dolby, Max Schaefer, Frank Tip, Emina Torlak |
2014-04-01 |
| 8656496 |
Global variable security analysis |
Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Takaaki Tateishi +2 more |
2014-02-18 |
| 8516452 |
Feedback-directed call graph expansion |
Satish Chandra, Stephen Fink |
2013-08-20 |
| 8464223 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs |
Jong-Deok Choi, Keunwoo Lee, Robert O'Callahan, Vivek Sarkar |
2013-06-11 |
| 8434070 |
Generating specifications of client-server applications for static analysis |
Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Robert Wiener |
2013-04-30 |
| 7516446 |
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs |
Jong-Deok Choi, Keunwoo Lee, Robert O'Callahan, Vivek Sarkar |
2009-04-07 |
