| 10210170 |
Chunk storage deduplication using graph structures |
Lars Kuhtz, John Thomas Erickson, Sudipta Sengupta, Vinod Sridharan, Xianzheng Dou |
2019-02-19 |
$69,212,000 |
| 10162626 |
Ordered cache tiering for program build files |
Erik Mavrinac, John Thomas Erickson, Vinod Sridharan, Dandan He |
2018-12-25 |
|
| 8959496 |
Automatic parallelization in a tracing just-in-time compiler system |
Nikolai Tillmann, Michal J. Moskal, Manuel A. Fahndrich, Daniel J P Leijen, Barend H. Venter |
2015-02-17 |
$31,357,000 |
| 8533680 |
Approximating finite domains in symbolic state exploration |
Nikolai Tillmann, Wolfgang Grieskamp |
2013-09-10 |
$23,590,000 |
| 8473895 |
Providing diverse solutions using design space exploration |
Ethan K. Jackson, Nikolaj S. Bjorner, Eunsuk Kang |
2013-06-25 |
$15,479,000 |
| 8468505 |
State as a first-class citizen of an imperative language |
Wolfgang Grieskamp, Yuri Gurevich, Nikolai Tillmann |
2013-06-18 |
$36,705,000 |
| 8387021 |
Symbolic runtime checking of quantified contracts |
Dries Vanoverberghe, Nikolai Tillmann, Jonathan Paul de Halleux, Nikolaj S. Bjorner |
2013-02-26 |
$11,012,000 |
| 8250524 |
Contract programming for code error reduction |
Michael Barnett, Manuel A. Fahndrich, Brian Grunkemeyer |
2012-08-21 |
$14,505,000 |
| 8112740 |
Core object-oriented type system for semi-structured data |
Erik Meijer, Barend H. Venter, Chia-Hsun Chen, Christopher J. Lovett, Matthew J. Warren |
2012-02-07 |
$21,648,000 |
| 8112751 |
Executing tasks through multiple processors that process different portions of a replicable task |
Daniel J P Leijen |
2012-02-07 |
$21,648,000 |
| 8103495 |
Feature oriented protocol modeling |
Margus Veanes, Colin Campbell |
2012-01-24 |
$16,228,000 |
| 8073879 |
Systems and methods that transform constructs from domain to domain |
Henricus Johannes Maria Meijer, Oludare Obasanjo |
2011-12-06 |
$11,336,000 |
| 8060859 |
Core object-oriented type system for semi-structured data |
Erik Meijer, Barend H. Venter, Chia-Hsun Chen, Christopher J. Lovett, Matthew J. Warren |
2011-11-15 |
$16,121,000 |
| 8046746 |
Symbolic execution of object oriented programs with axiomatic summaries |
Nikolai Tillmann, Wolfgang Grieskamp |
2011-10-25 |
$24,710,000 |
| 7937694 |
Fast flattening of nested streams |
Henricus Johannes Maria Meijer |
2011-05-03 |
$28,388,000 |
| 7926025 |
Symbolic program model compositions |
Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp |
2011-04-12 |
$11,368,000 |
| 7912863 |
Compositional lifting of operations over structural types |
Henricus Johannes Maria Meijer, Gavin Mark Bierman |
2011-03-22 |
$15,289,000 |
| 7882495 |
Bounded program failure analysis and correction |
Nikolai Tillmann, Jonathan Paul de Halleux |
2011-02-01 |
$15,193,000 |
| 7844951 |
Specification generation from implementations |
Feng-Lun CHEN, Nikolai Tillmann, Wolfgang Grieskamp |
2010-11-30 |
$23,766,000 |
| 7822853 |
Stabilization of distributed systems |
Ethan K. Jackson |
2010-10-26 |
$19,005,000 |
| 7797687 |
Parameterized unit tests with behavioral purity axioms |
Nikolai Tillmann, Wolfgang Grieskamp |
2010-09-14 |
$27,616,000 |
| 7774376 |
Type-system extensions for object-oriented language based on coercive subtyping with restrictions |
Henricus Johannes Maria Meijer, Gavin Mark Bierman |
2010-08-10 |
$15,662,000 |
| 7774787 |
Method for specifying and verifying multi-threaded object-oriented programs with invariants |
K. Rustan M. Leino, Bart Jacobs |
2010-08-10 |
$15,662,000 |
| 7747985 |
Conformance testing of multi-threaded and distributed software systems |
Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more |
2010-06-29 |
$14,156,000 |
| 7730462 |
Generalized comprehension in imperative languages |
Wolfgang Grieskamp, Henricus Johannes Maria Meijer |
2010-06-01 |
$13,800,000 |
