| 12254008 |
Responding to task prompt on declarative code using language model |
Benjamin G. Zorn, Carina Suzana NEGREANU, Neil Blunt TORONTO, Brian Paul SLININGER, Advait Sarkar +1 more |
2025-03-18 |
|
| 11636254 |
Provenance aware editing for spreadsheets |
John Herbert Martin WILLIAMS, Joseph John McDaid, Benjamin Edward Rampson, Brian Jones |
2023-04-25 |
$422,763,000 |
| 11461544 |
Spreadsheet with reuse functionality |
Advait Sarkar, John Herbert Martin WILLIAMS |
2022-10-04 |
$279,556,000 |
| 11093702 |
Checking and/or completion for data grids |
Thore Graepel, Filip Radlinski, Pushmeet Kohli, John Winn, Lucas Bordeaux +1 more |
2021-08-17 |
$196,769,000 |
| 10997512 |
Inferring cues for use with digital assistant |
Margaret Novotny, Jacob Miller, William J. Wagner, Yelisaveta Pesenson, Aryn Shelander +4 more |
2021-05-04 |
$162,104,000 |
| 10936804 |
Spreadsheet cell calculation view providing multiple-representation editing |
Neil Blunt TORONTO, Simon Peyton Jones, Advait Sarkar, Richard Matthew McCutchen |
2021-03-02 |
$181,927,000 |
| 10902194 |
Natively handling approximate values in spreadsheet applications |
Neil Blunt TORONTO, Advait Sarkar, Christian Canton, Benjamin Edward Rampson, Johnny Campbell +1 more |
2021-01-26 |
$167,987,000 |
| 10891434 |
System and method for generation and execution of elastic sheet-defined functions and arrays |
Simon Peyton Jones, Advait Sarkar, Richard Matthew McCutchen |
2021-01-12 |
$215,405,000 |
| 10726201 |
Creating and handling lambda functions in spreadsheet applications |
Christopher John Gross, Jeffrey James Duzak, Andrew J. Becker, Claudio Vittorio Russo |
2020-07-28 |
$115,702,000 |
| 10685062 |
Relational database management |
Sameer Singh, Thore Graepel, Lucas Bordeaux |
2020-06-16 |
$163,781,000 |
| 9418086 |
Database access |
Thore Graepel, Nicolas Philippe Marie Rolland, Eric Johannes Borgstrom, Claudio Vittorio Russo |
2016-08-16 |
$41,736,000 |
| 9282121 |
Security language translations with logic resolution |
Moritz Becker, Blair B. Dillaway, Cedric Fournet, Jason F. Mackay |
2016-03-08 |
$59,483,000 |
| 9104961 |
Modeling a data generating process using dyadic Bayesian models |
Thore Graepel, Aditya Vithal Nori, Sriram K. Rajamani, Johannes Borgstroem |
2015-08-11 |
$31,793,000 |
| 8949784 |
Type system for declarative data scripting language |
David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2015-02-03 |
$24,850,000 |
| 8938783 |
Security language expressions for logic resolution |
Moritz Becker, Blair B. Dillaway, Cedric Fournet |
2015-01-20 |
$73,723,000 |
| 8762942 |
Bidirectional type checking for declarative data scripting language |
David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2014-06-24 |
$40,583,000 |
| 8656503 |
Security language translations with logic resolution |
Moritz Becker, Blair B. Dillaway, Cedric Fournet, Jason F. Mackay |
2014-02-18 |
$42,189,000 |
| 8584230 |
Security authorization queries |
Blair B. Dillaway, Moritz Becker, Cedric Fournet |
2013-11-12 |
$25,186,000 |
| 8413119 |
Semantic subtyping for declarative data scripting language by calling a prover |
David E. Langworthy, Gavin Mark Bierman, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2013-04-02 |
$14,898,000 |
| 8201215 |
Controlling the delegation of rights |
Blair B. Dillaway, Moritz Becker, Cedric Fournet |
2012-06-12 |
$20,322,000 |
| 8095969 |
Security assertion revocation |
Blair B. Dillaway, Moritz Becker, Cedric Fournet, Brian A. LaMacchia |
2012-01-10 |
$16,234,000 |
| 8060931 |
Security authorization queries |
Blair B. Dillaway, Moritz Becker, Cedric Fournet |
2011-11-15 |
$16,121,000 |
| 7721335 |
Ambient calculus-based modal logics for mobile ambients |
Luca Cardelli, Giorgio Ghelli |
2010-05-18 |
$13,421,000 |
| 7559080 |
Automatically generating security policies for web services |
Karthikeyan Bhargavan, Cedric Fournet, Christopher G. Kaler |
2009-07-07 |
$34,063,000 |
| 7437718 |
Reviewing the security of trusted software components |
Cedric Fournet, Tomasz Pierre Blanc |
2008-10-14 |
$28,172,000 |
