Issued Patents All Time
Showing 25 most recent of 43 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10210170 | Chunk storage deduplication using graph structures | Lars Kuhtz, John Thomas Erickson, Sudipta Sengupta, Vinod Sridharan, Xianzheng Dou | 2019-02-19 |
| 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 |
| 8533680 | Approximating finite domains in symbolic state exploration | Nikolai Tillmann, Wolfgang Grieskamp | 2013-09-10 |
| 8473895 | Providing diverse solutions using design space exploration | Ethan K. Jackson, Nikolaj S. Bjorner, Eunsuk Kang | 2013-06-25 |
| 8468505 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Yuri Gurevich, Nikolai Tillmann | 2013-06-18 |
| 8387021 | Symbolic runtime checking of quantified contracts | Dries Vanoverberghe, Nikolai Tillmann, Jonathan Paul de Halleux, Nikolaj S. Bjorner | 2013-02-26 |
| 8250524 | Contract programming for code error reduction | Michael Barnett, Manuel A. Fahndrich, Brian Grunkemeyer | 2012-08-21 |
| 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 |
| 8112751 | Executing tasks through multiple processors that process different portions of a replicable task | Daniel J P Leijen | 2012-02-07 |
| 8103495 | Feature oriented protocol modeling | Margus Veanes, Colin Campbell | 2012-01-24 |
| 8073879 | Systems and methods that transform constructs from domain to domain | Henricus Johannes Maria Meijer, Oludare Obasanjo | 2011-12-06 |
| 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 |
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Nikolai Tillmann, Wolfgang Grieskamp | 2011-10-25 |
| 7937694 | Fast flattening of nested streams | Henricus Johannes Maria Meijer | 2011-05-03 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp | 2011-04-12 |
| 7912863 | Compositional lifting of operations over structural types | Henricus Johannes Maria Meijer, Gavin Mark Bierman | 2011-03-22 |
| 7882495 | Bounded program failure analysis and correction | Nikolai Tillmann, Jonathan Paul de Halleux | 2011-02-01 |
| 7844951 | Specification generation from implementations | Feng-Lun CHEN, Nikolai Tillmann, Wolfgang Grieskamp | 2010-11-30 |
| 7822853 | Stabilization of distributed systems | Ethan K. Jackson | 2010-10-26 |
| 7797687 | Parameterized unit tests with behavioral purity axioms | Nikolai Tillmann, Wolfgang Grieskamp | 2010-09-14 |
| 7774376 | Type-system extensions for object-oriented language based on coercive subtyping with restrictions | Henricus Johannes Maria Meijer, Gavin Mark Bierman | 2010-08-10 |
| 7774787 | Method for specifying and verifying multi-threaded object-oriented programs with invariants | K. Rustan M. Leino, Bart Jacobs | 2010-08-10 |
| 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 |
| 7730462 | Generalized comprehension in imperative languages | Wolfgang Grieskamp, Henricus Johannes Maria Meijer | 2010-06-01 |