Inventor
GILLIES DAVID MITFORD
US8 patents
⚠️ This page may combine multiple inventors who share the name “GILLIES DAVID MITFORD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
5 patentsUS7707566B2Apr 27, 2010
Software development infrastructure
MICROSOFT CORP40 citations90
US7203936B2Apr 10, 2007
Determining guarding predicate from partition graph based deduction to generate inverse predicate expression for branch reversal
MICROSOFT CORP22 citations90
US7426719B2Sep 16, 2008
Method and system for rewriting unwind data in the presence of exceptions
MICROSOFT CORP12 citations82
US7350061B2Mar 25, 2008
Assigning free register to unmaterialized predicate in inverse predicate expression obtained for branch reversal in predicated execution system
MICROSOFT CORP5 citations71
US6834383B2Dec 21, 2004
Method for binary-level branch reversal on computer architectures supporting predicated execution
MICROSOFT CORP10 citations71
HEWLETT PACKARD CO
2 patentsUS6182284B1Jan 30, 2001
Method and system for eliminating phi instruction resource interferences and redundant copy instructions from static-single-assignment-form computer code
HEWLETT PACKARD CO66 citations95
US6249910B1Jun 19, 2001
Apparatus and method for incrementally update static single assignment form for cloned variable name definitions
HEWLETT PACKARD CO58 citations92