Michael LeMay

Research Scientist at Intel Labs

[Michael LeMay @lemaymd]

We still have an internship opening for summer or fall in our DARPA HARDEN-funded project: https://t.co/ZfvQo5LbRV (see for an announcement of the project) #IAmIntel

[Michael LeMay @lemaymd]

I feel privileged to serve as the Intel PI for this project with a fantastic team. https://t.co/JxChDOw0Cp

[Michael LeMay @lemaymd]

It's been inspiring over the past few years that I've volunteered as a judge to see the science & engineering projects that local high school students create and to interact with the students during the BHSE science fair. To my fri…https://t.co/i5wMvKqij3 https://t.co/jKzRkx1Avy

[Michael LeMay @lemaymd]

@lvwr @embarbosa @VShanbhogue @noopwafel @wildsator @henriquek Nicely done, @lvwr ! 🎉

[Michael LeMay @lemaymd]

@portlandgeneral @OHAOregon Rush Hour Rewards and Time Of Day don't mesh well. You started Rush Hour at 4 today, but on-peak pricing didn't kick in until 5. So, you shifted some of my mid-peak AC load into on-peak when Rush Hour finished at 7. Maybe you need a different TOD schedule for summer?

[Michael LeMay @lemaymd]

https://t.co/2oW7dOcpdC

[Michael LeMay @lemaymd]

@tedlieu As someone who lives near the Hillsboro, Oregon airport (HIO), I want to thank you for your leadership on this issue that is important across the entire country. Has the report mandated by your amendment been delivered to Congress yet, and is it available for the public to read?

[Michael LeMay @lemaymd]

Looking forward to (virtually) presenting our paper on "Cryptographic Capability Computing" at MICRO tomorrow: https://t.co/4qm7PsiglL #IamIntel

[Michael LeMay @lemaymd]

Interesting article. Seems time for a corpus of representative sample code from mem safety-related CVEs minimized and made standalone using automated slicing and test input generation. Something consolidated for straightforward building and quantification like Juliet. #IamIntel

[Communications of the ACM @CACMmag]

"The Dogged Pursuit of Bug-Free C Programs: The Frama-C #Software Analysis Platform," in the August 2021 issue, https://t.co/aRnia2ilgo, looks at the @Frama_C platform designed to verify and validate C #code. Nikolai Kosmatov demos the framework in a video https://t.co/6MlZnS1vVe

[Michael LeMay @lemaymd]

@M_TarekIbnZiad Interesting paper! I've also been investigating challenges such as keeping pointers from getting dissociated from their authorized allocations while supporting idioms like temporarily OOB pointers. In case you're interested: https://t.co/9aR0hLhvmP #IamIntel

[Michael LeMay @lemaymd]

@WashcoOregon Adding yet more compounds to polluted indoor air may actually make the situation worse: https://t.co/1eQaDT3y8v

[Michael LeMay @lemaymd]

@CambridgeMaskCo

[Michael LeMay @lemaymd]

@CambridgeMaskCo Here's a magnified image of a tissue that I gently rubbed on the inside of the mask showing some of the numerous carbon fibers that came off

[Michael LeMay @lemaymd]

@CambridgeMaskCo The carbon layer is shedding on my face during my runs, so I must also be inhaling its fibers. That can't be safe, can it?

[Michael LeMay @lemaymd]

@IntelInvolved run commuting to Intel Oregon #EarthDayEveryDay #IamIntel

[Michael LeMay @lemaymd]

@NikeSupport I had to enable the leader board in the settings webpage. The app should tell users that instead of just saying "unavailable".

[Michael LeMay @lemaymd]

@NikeSupport can I send you a direct message to avoid giving my E-mail address to spammers? 🙂

[Michael LeMay @lemaymd]

@NikeSupport I've tried both, and neither work.

[Michael LeMay @lemaymd]

@NikeSupport it still shows the same error. Btw, this is Android 7.1.1.

[Michael LeMay @lemaymd]

@NikeSupport yes, it is.