AS

Amanda Silver

Microsoft: 27 patents #1,045 of 40,388Top 3%
Overall (All Time): #146,736 of 4,157,543Top 4%
27
Patents All Time

Issued Patents All Time

Showing 25 most recent of 27 patents

Patent #TitleCo-InventorsDate
10417011 Thread-agile execution of dynamic programming language programs Stefan R. Batres, Geoffrey M. Kizer, Gaurav Seth 2019-09-17
9697021 Modifiable high-level intermediate representation of source code Harish Kantamneni, Andrew Cherry, Anders Hauge, Nathan Carlson, Anthony L. Crider +2 more 2017-07-04
9529608 Thread-agile execution of dynamic programming language programs Stefan R. Batres, Geoffrey M. Kizer, Gaurav Seth 2016-12-27
9170787 Componentization of compiler functionality Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Paul A. Vick, Scott Daniel Wisniewski 2015-10-27
9052913 Dynamic token resolution during compilation Harish Kantamneni, Andrew Cherry, Anders Hauge, Nathan Carlson, Anthony L. Crider +2 more 2015-06-09
8732732 Type inference and type-directed late binding Henricus Johannes Maria Meijer, Brian C. Beckman, David N. Schach, Paul A. Vick, Peter F. Drayton +2 more 2014-05-20
8694961 Thread-agile execution of dynamic programming language programs Stefan R. Batres, Geoffrey M. Kizer, Gaurav Seth 2014-04-08
8533693 Embedding expressions in XML literals Henricus Johannes Maria Meijer, David N. Schach, Avner Y. Aharoni, Peter F. Drayton, Brian C. Beckman +1 more 2013-09-10
8479178 Compiler in a managed application context Avner Y. Aharoni, Henricus Johannes Maria Meijer, Timothy Yat Tim Ng, Scott Daniel Wisniewski, Kevin Halverson +3 more 2013-07-02
8473971 Type inference and type-directed late binding Henricus Johannes Maria Meijer, Brian C. Beckman, David N. Schach, Paul A. Vick, Peter F. Drayton +2 more 2013-06-25
8347266 Declarative object identity Henricus Johannes Maria Meijer, Paul A. Vick, Timothy Yat Tim Ng, Harish Kantamneni 2013-01-01
8321836 Late bound programmatic assistance Henricus Johannes Maria Meijer, Paul A. Vick 2012-11-27
8255883 Translating late bound LINQ expressions into database queries David E. Sceppa, Carl Yates Perry, Jeffrey Michael Derstadt, Andrew Conrad, Paul A. Vick +2 more 2012-08-28
8171453 Explicit delimitation of semantic scope Henricus Johannes Maria Meijer, Paul A. Vick 2012-05-01
8032859 Type extensions Henricus Johannes Maria Meijer, Paul A. Vick, Brian C. Beckman 2011-10-04
7945904 Embedding expression in XML literals Henricus Johannes Maria Meijer, David N. Schach, Avner Y. Aharoni, Peter F. Drayton, Brian C. Beckman +1 more 2011-05-17
7873592 Type inference for object-oriented languages Henricus Johannes Maria Meijer, Gavin Mark Bierman, Mads Torgersen, Anders Hejlsberg, Danny Van Velzen +4 more 2011-01-18
7865533 Compositional query comprehensions Henricus Johannes Maria Meijer, Paul A. Vick, Eugueni Zabokritski, Aleksey V. Tsingauz 2011-01-04
7805456 Query pattern to enable type flow of element types Henricus Johannes Maria Meijer, Paul A. Vick, Eugueni Zabokritski, Aleksey V. Tsingauz 2010-09-28
7788651 Anonymous types Henricus Johannes Maria Meijer, Brian C. Beckman, Paul A. Vick 2010-08-31
7779397 Data interfaces Henricus Johannes Maria Meijer, Paul A. Vick, Brian C. Beckman 2010-08-17
7769755 Efficient execution of aggregation queries Henricus Johannes Maria Meijer, Paul A. Vick, Evgueni Zabokritski, Aleksey V. Tsingauz 2010-08-03
7730079 Query comprehensions Henricus Johannes Maria Meijer, Anders Hejlsberg, Paul A. Vick 2010-06-01
7716656 Nullable and late binding Henricus Johannes Maria Meijer, Brian C. Beckman, Paul A. Vick, Avner Y. Aharoni, David N. Schach +1 more 2010-05-11
7624374 Readers and scanner design pattern Henricus Johannes Maria Meijer, Paul A. Vick, Chris A. Suver 2009-11-24