| 11216256 |
Determining based on static compiler analysis that execution of compiler code would result in unacceptable program behavior |
John Smiljanic |
2022-01-04 |
| 10827035 |
Data uniqued by canonical URL for rest application |
Mohammad Aminur Rashid, Sekhar Chandra Korupolu, Fabio Saraiva de Souza, Shimpa Saxena |
2020-11-03 |
| 10379824 |
Method for static security enforcement of a DSL |
John Smiljanic |
2019-08-13 |
| 9529702 |
System to enable multi-tenancy testing of business data and validation logic on the cloud |
Ronald van Grinsven, Nagarajender Rao Katoori, Mahesh Bansal, Namita Varma, John Smiljanic +1 more |
2016-12-27 |
| 9514026 |
Debugging analysis in running multi-user systems |
John Smiljanic, James Driscoll |
2016-12-06 |
| 9229611 |
Automatic management of client data consistency |
John Smiljanic |
2016-01-05 |
| 9183113 |
Debugging analysis in running multi-user systems |
John Smiljanic, James Driscoll |
2015-11-10 |
| 9122794 |
System and method for debugging domain specific languages |
John Smiljanic, James Driscoll |
2015-09-01 |
| 9027075 |
Enforcing security rules at runtime |
James Driscoll, Steven P. Muench |
2015-05-05 |
| 7783599 |
Active data push delivery |
Blake Sullivan, Tal Broda, Edward J. Farrell, Xi Li, Congxiao Lu +3 more |
2010-08-24 |
