1 Synthesizing optimal 8051 code (lab.whitequark.org) 3 points by schougaard 1691 days ago