Gernot Heiser

@GernotHeiser

Microkernel dude

sometimes in Sydney
Vrijeme pridruživanja: siječanj 2010.

Tweetovi

Blokirali ste korisnika/cu @GernotHeiser

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @GernotHeiser

  1. 29. sij

    ‘Embarrassingly slow’: Australia’s broadband internet ranked fourth slowest in OECD – well done, !

    Poništi
  2. proslijedio/la je Tweet
    28. sij

    Are you from non US institutions and would love to be in Sydney for CPS-IoT Week 2020? We're pleased to announce Student Travel Grants for Non-US Institutions.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    23. sij

    I’m looking forward to becoming the head of school in Computer Science and Engineeering in Sydney Australia.

    Poništi
  4. proslijedio/la je Tweet
    16. sij

    Verified seL4 on secure RISC-V processors

    Poništi
  5. 17. sij

    Returning home from the smell of smoke has been replaced by the smell of extinguished fire. Grateful for the rain!

    Poništi
  6. 18. pro 2019.

    I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on

    Poništi
  7. 12. pro 2019.

    Tutorial on running on the Renode simulator, presented by DornerWorks at

    Poništi
  8. 12. pro 2019.

    posters at#RISCVSUMMIT, presented by Critical Technologies Inc

    Poništi
  9. 8. pro 2019.

    What does ’s license imply? tl;dr nothing you should have to worry about; it won’t infect your valuable IP and in most cases you shouldn’t even touch the GPLed code

    Poništi
  10. 5. pro 2019.

    Are you going to the in San Jose next week? There’ll be a number of seL4 activities: My talk "seL4 on RISC-V: Verified OS for True Security” Wed 1.50pm, the DornerWorks tutorial "seL4 on RISC-V Renode”, and a poster from the seL4-US CoE

    Poništi
  11. 5. pro 2019.

    Entrepreneur Ada Guan, CEO of Rich Data Corporation was today’s CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite

    Poništi
  12. proslijedio/la je Tweet
    4. pro 2019.

    We compiled a long list of Threats to Validity/Relevance in Security Research for our students, building on common sense & our papers on malware experiments and on benchmarking (and inspired by 's excellent blog). Perhaps useful for others?

    Poništi
  13. 30. stu 2019.

    My ’09 shirt won CSE’s “most obscure” price in the free-conference-tee competition

    Official t-shirt of SOSP’09
    Poništi
  14. 20. stu 2019.

    Thick haze from bush fires in Sydney this morning. Visibility < 1km

    Poništi
  15. 18. stu 2019.
    Poništi
  16. 7. stu 2019.

    Ghost Locomotion is providing autonomous driving kits, and keeps them secure and safe:

    Poništi
  17. 5. stu 2019.

    Ok, the Kiwis were 20 years behind in outlawing automatic weapons. But beyond that, we achieved in five years maybe 10% of what she did in two. Why can’t we have a government that deserves the name?

    Poništi
  18. 29. lis 2019.

    Immensely honoured to have been involved in this work, and it being recognised for its long-term impact

    Poništi
  19. proslijedio/la je Tweet
    28. lis 2019.

    Well done to those who managed to submit their full papers to be considered for . Here’s some treat for you - a sneak peek of Sydney. If you didn’t manage, don’t fret. We will soon let you know which workshops are open for submission.

    Poništi
  20. proslijedio/la je Tweet

    Scientists in Siberia have discovered an area of sea that is "boiling" with methane because of melting permafrost. Escaping methane is just one of the positive feedback loops that threatens to greatly exacerbate global heating. Read more:

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·