2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 2 cited
On the correctness of a branch displacement algorithm
Jaap Boender, Claudio Sacerdoti Coen
The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions…
cs.SE2009
Strong Dependencies between Software Components
Pietro Abate, Jaap Boender, Roberto Di Cosmo +1
Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems?such as free and open source…