Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @GernotHeiser
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @GernotHeiser
-
‘Embarrassingly slow’: Australia’s broadband internet ranked fourth slowest in OECD – well done,
@TurnbullMalcolm!https://thenewdaily.com.au/life/tech/2020/01/28/broadband-speeds-australia-oecd/ …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
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. https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/stg20-non-call-v2.pdf …
#CPSIoTWeek2020Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
I’m looking forward to becoming the head of school in Computer Science and Engineeering in
@UNSW Sydney Australia.https://twitter.com/UNSWEngineering/status/1220121683169669122 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
#lca2020@GernotHeiser Verified seL4 on secure RISC-V processorshttp://youtu.be/wJ96s3pNtI0Thanks. Twitter will use this to make your timeline better. UndoUndo -
Returning home from
#LCA2020 the smell of smoke has been replaced by the smell of extinguished fire. Grateful for the rain!Thanks. Twitter will use this to make your timeline better. UndoUndo -
I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on
#seL4 https://ts.data61.csiro.au/students/phd/ios-android.pml …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Tutorial on running
#seL4 on the Renode simulator, presented by DornerWorks at#RISCVSummitpic.twitter.com/kVeo6XwjDq
Thanks. Twitter will use this to make your timeline better. UndoUndo -
#sel4 posters at#RISCVSUMMIT, presented by Critical Technologies Incpic.twitter.com/bYzRLoXRnP
Thanks. Twitter will use this to make your timeline better. UndoUndo -
What does
#seL4’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 codehttps://microkerneldude.wordpress.com/2019/12/09/what-does-sel4s-license-imply/ …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Are you going to the
#RISCVSUMMIT 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 CoEThanks. Twitter will use this to make your timeline better. UndoUndo -
Entrepreneur Ada Guan, CEO of Rich Data Corporation https://www.richdataco.com was today’s
@UNSW CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite@richdatacopic.twitter.com/jC8b8KOSE7
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
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
@GernotHeiser's excellent blog). Perhaps useful for others?https://bit.ly/2XAUtmSThanks. Twitter will use this to make your timeline better. UndoUndo -
My
#SOSP’09 shirt won CSE’s “most obscure” price in the free-conference-tee competitionpic.twitter.com/yMtdWmGn9X
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thick haze from bush fires in Sydney this morning. Visibility < 1kmpic.twitter.com/0h7sB8WepB
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Can
#seL4 reduce the cost of space satellites? I think it can: https://microkerneldude.wordpress.com/2019/11/19/can-sel4-reduce-the-cost-of-satellites/ …pic.twitter.com/4d52RmL52W
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Ghost Locomotion is providing autonomous driving kits, and
#seL4 keeps them secure and safe: http://techcrunch.com/2019/11/07/ghost-wants-to-retrofit-your-car-so-it-can-drive-itself-on-highways-by-2020/ …@ghosthayesThanks. Twitter will use this to make your timeline better. UndoUndo -
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?https://www.abc.net.au/news/2019-11-05/jacinda-arderns-quickfire-list-of-achievements-goes-global/11673468 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Immensely honoured to have been involved in this work, and it being recognised for its long-term impact
#sel4https://twitter.com/bipartite/status/1189348535109672962 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
Well done to those who managed to submit their full papers to be considered for
#CPSIoTWeek2020. 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. https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/index.html …https://twitter.com/sydney_sider/status/1188681871938543616 …
0:18Thanks. Twitter will use this to make your timeline better. UndoUndo -
Gernot Heiser Retweeted
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: http://j.mp/2pTjWuV
#ClimateChangepic.twitter.com/Ur6eMTfb7B
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.