A software-hardware cosynthesis approach to digital system simulation. - Kunle Olukotun; Rachid Helaihel; Jeremy R. Levitt; Ricardo Ramírez (IEEE Micro, 1994)

Java as a specification language for hardware-software systems. - Rachid Helaihel; Kunle Olukotun (ICCAD, 1997)

JMTP: an architecture for exploiting concurrency in embedded Java applications with real-time considerations. - Rachid Helaihel; Kunle Olukotun (ICCAD, 1999)