Marcos K. Aguilera

Researcher and engineer @VMware, developer of Yesquel ( Former researcher at #MSR, #HPLabs, and #SRC.

[Marcos K. Aguilera @MarcosKAguilera]

@JukkaSuomela (1) correct code
(2) buggy code
(3) generator of buggy code
(4) buggy generator of buggy code

[VMware Research @vmwareresearch]

VMware Research Group is hiring! We seek researchers working in machine learning, systems, and related areas, but we'll also consider strong candidates in all areas. Learn more and apply here: https://t.co/9hMvMjD1xD

[Marcos K. Aguilera @MarcosKAguilera]

@JukkaSuomela Have you decided whether you'll allow AI-powered robots to attend your classes?

[Marcos K. Aguilera @MarcosKAguilera]

@georgemporter The new house has a much larger fireplace.

[Marcos K. Aguilera @MarcosKAguilera]

@JukkaSuomela @fortnow https://t.co/cPSqxuXshH

[Marcos K. Aguilera @MarcosKAguilera]

@georgemporter Exponential

[Marcos K. Aguilera @MarcosKAguilera]

@dave_andersen Well deserved, congratulations!

[Marcos K. Aguilera @MarcosKAguilera]

@dave_andersen And it gets much more complex if both you and your partner have different choices of hdhp, ppo, and hmo, through different employers, with different premiums, deductibles, and hsa contributions, where each employer may cover different subsets of your family, possibly with overlap

[VMware Research @vmwareresearch]

Congratulations to VRG's @gerdzellweger and his co-authors on winning the Intel Best Paper award! If you're attending @hotstorage, this paper will be presented during Session 2 today @ 9:45 PDT.

[VMware Research @vmwareresearch]

Very proud to share that VMware Research's Naama Ben-David was awarded the 2022 PODC Dissertation Award for her dissertation "Theoretical Foundations for Practical Concurrent and Distributed Computation!" Congratulations!!🎉https://t.co/Bh6cbBU26Y

[Marcos K. Aguilera @MarcosKAguilera]

@dave_andersen I capture all streams independently (video, audio, screen) using QuickTime, then do post production in Final Cut Pro. This gives you the most flexibility (e.g., change position/size of each element dynamically), but takes the most time.

[The Siberian Times @siberian_times]

Community statement from Novosibirsk State University: 'We, students, graduates, teachers & other employees of Novosibirsk State University, strongly condemn the war that the Russian state unleashed in Ukraine on February 24, 2022, & express our support to the Ukrainian citizens'

[Marcos K. Aguilera @MarcosKAguilera]

@danrkports "...one of them's a comment to set the record straight about how my paper already solved the problem xyz years ago and you forgot to cite it"

[Marcos K. Aguilera @MarcosKAguilera]

Qhy woulds we wants to edti them twits?

[VMware Research @vmwareresearch]

The ASPLOS '22 Influential Paper Award was presented to Jon Howell and his coauthors Donald E. Porter, Silas Boyd-Wickizer, Reuben Olinsky, and Galen C. Hunt for their 2011 paper "Rethinking the Library OS from the Top Down." Congrats!
https://t.co/k2J9ZvYRQX

[VMware Research @vmwareresearch]

Naama Ben-David was awarded the best paper of PPoPP '22 for her paper with Guy E. Blelloch and Yuanhao Wei, "Lock-free Locks Revisited." Kudos!
https://t.co/fUZLMQKJTl

[VMware Research @vmwareresearch]

We are also very excited to share some recent best paper awards. Congratulations to Michael Wei, who won the NSDI '22 Best Paper Award for his paper with Ali Najafi, "Graham: Synchronizing Clocks by Leveraging Local Clock Properties."
https://t.co/4SZLPnWNr2

[Jacquelyn Melinek @jacqmelinek]

$1.23B in crypto was lost from hacks during Q1 2022, up 695% from $154.6M in Q1 2021

https://t.co/hdursoLyRA

[PLDI @PLDI]

Attention anyone Googling "PLDI"; Google is wrong about the dates. Do not trust the machine. The machine is a liar. The real dates are Mon 13 - Fri 17 June 2022 https://t.co/yleK7ZdLic

[PODC-DISC @podc_disc]

Bernhard Haeupler's keynote talk from DISC 2021 is now available online!
— the first part of the talk (16 min) is about neurodiversity
— the second part of the talk is about universally-optimal distributed optimization
https://t.co/orxxDDA9UC