Baltasar Dinis (@bsdinis) 's Twitter Profile
Baltasar Dinis

@bsdinis

PhD student @MIT_CSAIL

ID: 1016608878514098176

linkhttps://bsdinis.site calendar_today10-07-2018 09:03:39

1,1K Tweet

148 Takipçi

372 Takip Edilen

NDSS Symposium (@ndsssymposium) 's Twitter Profile Photo

Congratulations to the #NDSS23 Distinguished Paper Award winner: DARWIN: Survival of the Fittest Fuzzing Mutators Patrick Jauernig (Technical University of Darmstadt) et al. Paper and authors available here: ndss-symposium.org/wp-content/upl… Photo Wes/Yamar/WS6Z

Congratulations to the #NDSS23 Distinguished Paper Award winner: 

DARWIN: Survival of the Fittest Fuzzing Mutators

Patrick Jauernig (Technical University of Darmstadt) et al. 

Paper and authors available here: ndss-symposium.org/wp-content/upl…
 
Photo <a href="/hardaker/">Wes/Yamar/WS6Z</a>
SINFO (@sinfoist) 's Twitter Profile Photo

Now it’s time to present our incredible Logistics team! 🤩 It’s thanks to their hard work we had our venue ⛺ and the infrastructure inside, like Audiovisuals and Wifi 😱

Now it’s time to present our incredible Logistics team! 🤩

It’s thanks to their hard work we had our venue ⛺ and the infrastructure inside, like Audiovisuals and Wifi 😱
SINFO (@sinfoist) 's Twitter Profile Photo

Let’s meet our amazing Communications Team! 🥰 Besides managing all the content on our social networks 📱, they also contact media organisations and universities to publicise the event, and people of interest to be present! 🤩

Let’s meet our amazing Communications Team! 🥰

Besides managing all the content on our social networks 📱, they also contact media organisations and universities to publicise the event, and people of interest to be present! 🤩
Daniel Kral (@danielkral1) 's Twitter Profile Photo

There is a new wunder kid on the block: Portugal Economy growing to the moon, while govt runs a large primary surplus and debt-to-GDP ratio drops to lowest in more than a decade. Maybe Portugal can devise an adjustment programme for Germany, which is stuck in limbo since 2018.

There is a new wunder kid on the block: Portugal

Economy growing to the moon, while govt runs a large primary surplus and debt-to-GDP ratio drops to lowest in more than a decade.

Maybe Portugal can devise an adjustment programme for Germany, which is stuck in limbo since 2018.
EuroSys 2023 (@eurosys_conf) 's Twitter Profile Photo

Best paper at #eurosys23: Dissecting BFT Consensus: In Trusted Components we Trust! Suyash Gupta (UC Berkeley), Sajjad Rahnama (UC, Davis), Shubham Pandey (University of California, Davis), Natacha Crooks (UC Berkeley), Mohammad Sadoghi (University of California, Davis)

Derek Dreyer (@herrdreyer) 's Twitter Profile Photo

I am thrilled to say that my collaborators and I are receiving the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for Iris (the "core 4" papers). This is a great honor, and a testament to the work of so many amazing people. eatcs.org/index.php/chur…

I am thrilled to say that my collaborators and I are receiving the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for Iris (the "core 4" papers). This is a great honor, and a testament to the work of so many amazing people.
eatcs.org/index.php/chur…
Leah Silber (@wifelette) 's Twitter Profile Photo

👋I'm the [non-technical, non-Rust, apolitical] human atop RustConf (I'm not part of the project or Foundation). Before explaining anything, I'll just say, wow, what a fuck up. I am SO sorry about and for all of this; how it happened, and that it happened at all. It isn't okay.

Fernando Ramos (@fvramos_ulx) 's Twitter Profile Photo

I'm thrilled to share that our paper Maestro has been accepted to USENIX Association NSDI '24! Joint work with a small yet outstanding team: Francisco Pereira and Luis Pedrosa. Pre-print available: arxiv.org/abs/2307.14791

I'm thrilled to share that our paper Maestro has been accepted to <a href="/usenix/">USENIX Association</a> NSDI '24! Joint work with a small yet outstanding team: <a href="/fchamicapereir1/">Francisco Pereira</a> and Luis Pedrosa. Pre-print available: arxiv.org/abs/2307.14791
SINFO (@sinfoist) 's Twitter Profile Photo

🚨 New speaker alert! 🚨 Meet Manuel Sousa, a former IST student now thriving as an Information Security Engineer at Google!💻✨ Don't miss the chance to get to know Manuel and his work on April 15th! 💙

🚨 New speaker alert! 🚨
Meet Manuel Sousa, a former IST student now thriving as an Information Security Engineer at Google!💻✨
Don't miss the chance to get to know Manuel and his work on April 15th! 💙
Mara (@m_ou_se) 's Twitter Profile Photo

Apparently the concept of users who are not men is "too controversial" in the SerenityOS project, "as to not alienate anyone*". (*Anyone, as long as you go by he/him, of course.) github.com/SerenityOS/ser…

Apparently the concept of users who are not men is "too controversial" in the SerenityOS project, "as to not alienate anyone*".

(*Anyone, as long as you go by he/him, of course.)

github.com/SerenityOS/ser…
lowvram (@lowvram) 's Twitter Profile Photo

lord grant me the kernel hacking skills of a trans girl 🏳️‍⚧️, the networking skills of a furry, and the ml skills of an anime pfp, amen

Irene Zhang (@schemeprincess) 's Twitter Profile Photo

The University of Washington CS school is an unsafe environment for women, so as grad application season starts, please tell your students not to apply. There are at least 3 men in the systems lab that have sexually harassed numerous women and they continue to do so.