Margaret Martonosi on Trustworthy Computer Architectures
Interviews
|
By
Wisse Hettinga
“Traditionally, our instruction set architecture (ISA) interfaces have been ‘operational’, designed more for ease of compiler mapping and optimization rather than with formal specification logic for verifiability”
Margaret Martonosi is the H.T Adams ’35 Professor of Computer Science at Princeton University. With more than 30 years experience in computer architecture, she is in an excellent position to discuss how new computer architectures can cope with today’s challenges. After her keynote speech at the HiPEAC conference in Barcelona, eeNews Europe had the opportunity to meet up with her and discuss her work and the requirements for new trustworthy computer architectures.
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
