English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#osdi search results

xiaoma's profile picture. Building #Observability @Splunk. Serving Engineers. Teaching Machines. Marathoner. Snowboarder. Quantified-selfer. Built @Medium @PatternInsight PhD @IllinoisCS
Xiao Ma
@xiaoma
Jul 20, 2012

To those who also get rejections from #OSDI :-)

xiaoma's tweet image. To those who also get rejections from #OSDI :-)
0
1
0
0
0
rescrv's profile picture. Person, seeker of truth, software engineer. Looking for my path in life.
Robert Escriva
 @rescrv
Oct 7, 2014

On the job board at #osdi. $20 billion in the bank because they didn't spend money on printed brochures.

rescrv's tweet image. On the job board at #osdi. $20 billion in the bank because they didn't spend money on printed brochures.
0
0
2
0
0
GernotHeiser's profile picture. Microkernel dude, UNSW prof, looking for PhD students in OS
Gernot Heiser
 @GernotHeiser
Aug 15, 2020

Finally survived the #OSDI PC, happy to have an acceptance rate of 24% of the papers I reviewed, far above conference average. There'll be some good OS papers. But now finally breakfast, after 3h meeting from 7am (better than the 5.30am start yesterday) 🙂

GernotHeiser's tweet image. Finally survived the #OSDI PC, happy to have an acceptance rate of 24% of the papers I reviewed, far above conference average. There'll be some good OS papers. But now finally breakfast, after 3h meeting from 7am (better than the 5.30am start yesterday) 🙂
4
2
56
0
0
tianyin_xu's profile picture. Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Tianyin Xu
@tianyin_xu
Jul 12, 2024

Xudong Sun (@xu_dong_sun) from @IllinoisCS gave a great talk for his work on building formally verified cluster management (like #Kubernetes) controllers towards provably correct cloud infra. The paper receives a Jay Lepreau best paper at #OSDI and is at usenix.org/conference/osd…

tianyin_xu's tweet image. Xudong Sun (@xu_dong_sun) from @IllinoisCS gave a great talk for his work on building formally verified cluster management (like #Kubernetes) controllers towards provably correct cloud infra. The paper receives a Jay Lepreau best paper at #OSDI and is at usenix.org/conference/osd…
xu_dong_sun's profile picture. Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Xudong Sun
 @xu_dong_sun
Jul 11, 2024

I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)

xu_dong_sun's tweet image. I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)
21
26
180
23
51K
4
10
87
4
8K
tianyin_xu's profile picture. Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Tianyin Xu
@tianyin_xu
Sep 8, 2024

Cathy Cai (@Cat_overflow) kicked off the @IllinoisCDS Systems Research Seminar this semester. She presented her work @MSFTResearch on Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity and the VBASE system. The work is published at #OSDI '23.

tianyin_xu's tweet image. Cathy Cai (@Cat_overflow) kicked off the @IllinoisCDS Systems Research Seminar this semester. She presented her work @MSFTResearch on Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity and the VBASE system. The work is published at #OSDI '23.
tianyin_xu's tweet image. Cathy Cai (@Cat_overflow) kicked off the @IllinoisCDS Systems Research Seminar this semester. She presented her work @MSFTResearch on Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity and the VBASE system. The work is published at #OSDI '23.
4
8
57
7
7K
rodrigo_fonseca's profile picture. @rfonseca@mas.to on mastodon. Sr Principal Research Manager at Azure Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.
Rodrigo Fonseca
 @rodrigo_fonseca
Jul 14, 2022

Flying back from #osdi over Yosemite, impressive view of the Washburn fire which is pretty close to the giant sequoia Mariposa grove! 😬

rodrigo_fonseca's tweet image. Flying back from #osdi over Yosemite, impressive view of the Washburn fire which is pretty close to the giant sequoia Mariposa grove! 😬
1
1
12
0
0
mustach_io's profile picture. questions are my currency. inspire and be inspired. asst prof @ Rice CS https://t.co/NR1x1Zsx3x. @daut@systems.discuss @mustachio@infosec.exchange
Nathan "el bigode" Dautenhahn
 @mustach_io
Feb 7, 2024

I went to #OSDI (or was it #SOSP?) a long time ago and now I am invited back to Monterey foe Love on a regular basis

mustach_io's tweet image. I went to #OSDI (or was it #SOSP?) a long time ago and now I am invited back to Monterey foe Love on a regular basis
1
0
0
0
291
alibaba_cloud's profile picture. Computing for the Value beyond Computation
Alibaba Cloud
@alibaba_cloud
Jul 4, 2024

Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.

alibaba_cloud's tweet image. Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.
3
0
4
0
6K
YVigfusson's profile picture. Associate Prof @emory_csi @SimbiosysLab. Goal: scalable, secure, societally-beneficial systems. Hacker/Entrepreneur/Pianist/Exoskeleton for 4 viklings.
Ymir Vigfusson
 @YVigfusson
Aug 15, 2020

Excited that our work on efficiently serving deep neural networks (DNNs) will appear at #OSDI 2020! (Spoiler: consolidate all system choices to make performance predictable) Preprint version: arxiv.org/pdf/2006.02464. @0xREZA @mpi_jcmace @SimbiosysLab

YVigfusson's tweet image. Excited that our work on efficiently serving deep neural networks (DNNs) will appear at #OSDI 2020! (Spoiler: consolidate all system choices to make performance predictable) Preprint version: arxiv.org/pdf/2006.02464. @0xREZA @mpi_jcmace @SimbiosysLab
0
5
19
0
0
msbaz2013's profile picture. Assistant Professor of Computer Science and Engineering (CSE) at the University of Michigan
Muhammad Shahbaz
 @msbaz2013
Mar 22, 2024

Another milestone touched in making in-network ML a reality. Super excited to share that our paper, Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents, will appear in #OSDI '24! Spearheaded by our upcoming rising star, @qizhengz_alex, and the team!

msbaz2013's tweet image. Another milestone touched in making in-network ML a reality. Super excited to share that our paper, Caravan: Practical Online Learning of In-Network ML Models with Labeling Agents, will appear in #OSDI '24! Spearheaded by our upcoming rising star, @qizhengz_alex, and the team!
2
3
25
1
2K
rescrv's profile picture. Person, seeker of truth, software engineer. Looking for my path in life.
Robert Escriva
 @rescrv
Oct 7, 2014

ACID, BASE, and now SALT. I think the next step should be FUCK, as in, "Why the fuck isn't this complex system working." #osdi

0
9
10
0
0
jacalvosanz's profile picture. PhD, Optometrista, guitarrista insurrecto, corazón loco, padre y con muchas cosas pendientes. Lo que digo aquí solo lo digo yo. Me libero en @arrojo.rock
jorge a. calvo sanz 🇪🇸
 @jacalvosanz
Mar 12, 2015

Los laboratorios Thea recomiendan una de mis apps en su publicidad de hyabak. #OSDI Habría sido interesante avisame..

jacalvosanz's tweet image. Los laboratorios Thea recomiendan una de mis apps en su publicidad de hyabak. #OSDI Habría sido interesante avisame..
jacalvosanz's tweet image. Los laboratorios Thea recomiendan una de mis apps en su publicidad de hyabak. #OSDI Habría sido interesante avisame..
2
3
0
0
0
OpenSupporter's profile picture. We're launching the first community-developed, community-governed API + data format for progressive political technology orgs + developers.
OSDI
 @OpenSupporter
Mar 9, 2017

. @prog_code volunteers are creating a unified "Resistance Calendar" using #OSDI. #theresistance

OpenSupporter's tweet image. . @prog_code volunteers are creating a unified "Resistance Calendar" using #OSDI. #theresistance
0
5
5
0
0
OVHcloud_US's profile picture. Global #cloud infrastructure provider offering value-driven solutions across private, public & hybrid cloud.
OVHcloud US
@OVHcloud_US
Feb 9, 2024

Last night we were delighted to sponsor the NYC Open Source Data Infrastructure Meetup with @aiven_io Check out a the video collage capturing some of the great #osdi knowledge sharing.

1
2
4
0
904
JennJunod's profile picture. Social media for a living. Just not for myself 😉
Jenn Junod
@JennJunod
Feb 11, 2024

See you in a few hours Austin! #osdi meetup tomorrow 😘 Join me at Austin Open Source Data Infrastructure / Austin DevOps Meetup - Feb 2024 meetu.ps/e/MKFHm/XbFGK/i

JennJunod's tweet image. See you in a few hours Austin! #osdi meetup tomorrow 😘 Join me at Austin Open Source Data Infrastructure / Austin DevOps Meetup - Feb 2024 meetu.ps/e/MKFHm/XbFGK/i
0
2
11
0
824
thodrek's profile picture. Machine Learning Systems, Data Management & Knowledge Graphs @Apple; Ex-Professor @ETH & @UWMadison; Co-founder of inductiv (acquired by @Apple)
Theo Rekatsinas
 @thodrek
Jul 16, 2021

Tune in to #OSDI to listen to @JasonMohoney talk about our new system Marius for learning massive graph embeddings on a single machine with up to 5x lower cost and faster than competing industrial packages #marius Open-sourced at marius-project.org

thodrek's tweet image. Tune in to #OSDI to listen to @JasonMohoney talk about our new system Marius for learning massive graph embeddings on a single machine with up to 5x lower cost and faster than competing industrial packages #marius Open-sourced at marius-project.org
0
1
19
2
0
sebi2706's profile picture. Developer Relations Engineer at @tweetsbyport , husband, speaker, Dad, Open Source, Java Champion, 5️⃣😺
Sébastien Blanc 🇪🇺 🥑
@sebi2706
Oct 25, 2023

I have the feeling @alexsotob will mention @debezium at any moment ! #osdi

sebi2706's tweet image. I have the feeling @alexsotob will mention @debezium at any moment ! #osdi
1
0
20
0
1K
AliTech2017's profile picture.
AlibabaTech
 @AliTech2017
Jul 4, 2024

Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.

AliTech2017's tweet image. Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.
0
0
0
0
139
openEuler's profile picture. An open source OS run by the OpenAtom Foundation, bolstered by diverse computing, and committed to a sustainable future.
openEuler
 @openEuler
Oct 13

Tomorrow: Meet #openEuler at #SOSP2025 in Seoul!🥳 We're bringing frontier research from #OSDI'22 to #FAST & #HotStorage—where #opensource meets academia. Hear Dr. Yuxin Ren & Dr. Yubo Liu share our latest #OS breakthroughs. Check it out:👉os-storage.github.io/events/hw-sosp…

openEuler's tweet image. Tomorrow: Meet #openEuler at #SOSP2025 in Seoul!🥳 We're bringing frontier research from #OSDI'22 to #FAST & #HotStorage—where #opensource meets academia. Hear Dr. Yuxin Ren & Dr. Yubo Liu share our latest #OS breakthroughs. Check it out:👉os-storage.github.io/events/hw-sosp…
0
0
0
0
160
m3thos's profile picture. Suis Generis; Loves distributed systems, hard problems, and first principles approaches (opinions my own)
Miguel Filipe
 @m3thos
Oct 4

I strongly recommend this talk if you're into software development as both a craftsman and a ruthless engineer #usenix #osdi keynote address, by @emeryberger youtu.be/dk3y3o3vhhU?si…

m3thos's tweet card. ATC '25 and OSDI '25 -Joint Keynote Address: Accelerating Software...

youtube.com

YouTube

ATC '25 and OSDI '25 -Joint Keynote Address: Accelerating Software...

Source: youtube.com
0
0
0
1
119
oxemtegabo's profile picture. bixo capemga horrível comprometedor
gabo : 🌫️👽
 @oxemtegabo
Aug 14

pessoa vai ser legal e ganha isso em troca #osdi verdadi sie quen çao

1
0
0
0
16
A_VisionYvida's profile picture. Visión y Vida es una asociación creada en 1955 con el objetivo de informar, educar y aconsejar a los ciudadanos sobre salud visual.
Visión y Vida
 @A_VisionYvida
Jul 7

¿Notas sequedad, escozor o sensación de arenilla en los ojos? El uso prolongado de pantallas, el aire acondicionado y la exposición solar en verano pueden provocar sequedad ocular y fatiga visual👁️ #SequedadOcular #OSDI 👇

A_VisionYvida's tweet image. ¿Notas sequedad, escozor o sensación de arenilla en los ojos? El uso prolongado de pantallas, el aire acondicionado y la exposición solar en verano pueden provocar sequedad ocular y fatiga visual👁️ #SequedadOcular #OSDI 👇
1
0
1
0
99
realstolz's profile picture. IPADS, SJTU, China
Rong Chen
 @realstolz
Jul 1

🚀 Excited to announce the open-source release of XSched! XSched offers multi-task scheduling for diverse XPUs without app modifications, supports various policies, and easily adapts to new accelerators. We'll present at #OSDI 2025. Stay tuned! 🌟 🔗 github.com/XpuOS/xsched

2
1
12
2
896
SanjayYadav__'s profile picture. मीडिया प्रभारी युवा राजद !!!
Sanjay Yadav
 @SanjayYadav__
Jun 25

Bh$#osdi wala Yadav nhi hai Tum

0
0
0
0
36
JiRj07's profile picture. jai Shree Ram Hindu
NSharma
 @JiRj07
May 10

Yah Jeetu burak madr£#£#acho##d hai kya bh##osdi ke tere ba##ap ki ek Khushi k####utte

0
0
0
0
22
FContactologia's profile picture. En esta edición el objetivo es dar herramientas a los adaptadores para lograr una mayor eficiencia en los protocolos de trabajo y conseguir mejores adaptaciones
Fórum Contactología
 @FContactologia
May 8

El cuestionario #OSDI es una herramienta clave para evaluar la salud ocular de tus pacientes y mejorar su experiencia con lentes de contacto👁️ Si eres óptico-optometrista, comenta OSDI y te enviaremos un QR para que lo pongas en tu escaparate o mostrador🖼️ #Contactología

FContactologia's tweet image. El cuestionario #OSDI es una herramienta clave para evaluar la salud ocular de tus pacientes y mejorar su experiencia con lentes de contacto👁️ Si eres óptico-optometrista, comenta OSDI y te enviaremos un QR para que lo pongas en tu escaparate o mostrador🖼️ #Contactología
0
0
0
0
24
A_VisionYvida's profile picture. Visión y Vida es una asociación creada en 1955 con el objetivo de informar, educar y aconsejar a los ciudadanos sobre salud visual.
Visión y Vida
 @A_VisionYvida
May 5

Una vez completado, ¡dirígete a tu óptica de confianza!👓👩‍⚕️ Ellos te ayudarán a encontrar el tratamiento más adecuado para ti. No dejes que la sequedad ocular afecte tu día a día😉 #OSDI

0
0
0
0
21
JiRj07's profile picture. jai Shree Ram Hindu
NSharma
 @JiRj07
Apr 28

Abe bh£##osdi ke aantakvadi supporter chal nikal aaya bada lauda

0
0
0
0
2
bigorre_org's profile picture. Worldwide aviation weather by me and/or my bot. Find your nearest airport on https://t.co/0a9C4dMUYi
🅱🅸🅶🅾🆁🆁🅴.🅾🆁🅶
 @bigorre_org
Apr 7

The aviation weather for Damascus International airport in Damascus area (Syrian Arab Republic) is “OSDI 070500Z 25005KT 9999 FEW030 BKN100 17/02 Q1013” : See what it means on bigorre.org/aero/meteo/osd… #damascusinternationalairport #osdi #dam #damascus #syrianarabrepublic #meta…

bigorre_org's tweet card. Aviation weather with TAF and METAR, Maps, hotels and aeronautical information for Damascus…
Damascus International airport (Syrian Arab Republic) aviation weather and informations OSDI DAM
Source: bigorre.org
0
0
0
0
21
FContactologia's profile picture. En esta edición el objetivo es dar herramientas a los adaptadores para lograr una mayor eficiencia en los protocolos de trabajo y conseguir mejores adaptaciones
Fórum Contactología
 @FContactologia
Mar 27

El formulario de sequedad ocular OSD es clave para detectar la sequedad ocular de manera rápida 👀💧 Esta prueba ayuda a identificar síntomas, permitiendo encontrar una solución efectiva para cada paciente. 🔜 Muy pronto podrás acceder a esta herramienta  #OSDI #SequedadOcular

FContactologia's tweet image. El formulario de sequedad ocular OSD es clave para detectar la sequedad ocular de manera rápida 👀💧 Esta prueba ayuda a identificar síntomas, permitiendo encontrar una solución efectiva para cada paciente. 🔜 Muy pronto podrás acceder a esta herramienta  #OSDI #SequedadOcular
0
0
1
0
37
evgenyvinnik's profile picture. programmer-scientist posting funny drawings and photos with smirky comments
Evgeny Vinnik
 @evgenyvinnik
Oct 5, 2012

Here is the proof! #LAX #OSDI here ID come! Super excited

evgenyvinnik's tweet image. Here is the proof! #LAX #OSDI here ID come! Super excited
0
0
0
0
0
xiaoma's profile picture. Building #Observability @Splunk. Serving Engineers. Teaching Machines. Marathoner. Snowboarder. Quantified-selfer. Built @Medium @PatternInsight PhD @IllinoisCS
Xiao Ma
@xiaoma
Jul 20, 2012

To those who also get rejections from #OSDI :-)

xiaoma's tweet image. To those who also get rejections from #OSDI :-)
0
1
0
0
0
rescrv's profile picture. Person, seeker of truth, software engineer. Looking for my path in life.
Robert Escriva
 @rescrv
Oct 7, 2014

On the job board at #osdi. $20 billion in the bank because they didn't spend money on printed brochures.

rescrv's tweet image. On the job board at #osdi. $20 billion in the bank because they didn't spend money on printed brochures.
0
0
2
0
0
openEuler's profile picture. An open source OS run by the OpenAtom Foundation, bolstered by diverse computing, and committed to a sustainable future.
openEuler
 @openEuler
Oct 13

Tomorrow: Meet #openEuler at #SOSP2025 in Seoul!🥳 We're bringing frontier research from #OSDI'22 to #FAST & #HotStorage—where #opensource meets academia. Hear Dr. Yuxin Ren & Dr. Yubo Liu share our latest #OS breakthroughs. Check it out:👉os-storage.github.io/events/hw-sosp…

openEuler's tweet image. Tomorrow: Meet #openEuler at #SOSP2025 in Seoul!🥳 We're bringing frontier research from #OSDI'22 to #FAST & #HotStorage—where #opensource meets academia. Hear Dr. Yuxin Ren & Dr. Yubo Liu share our latest #OS breakthroughs. Check it out:👉os-storage.github.io/events/hw-sosp…
0
0
0
0
160
OSDI_pk's profile picture. Organization for Social Development Initiatives (OSDI) is an #ngo working on #povertyalleviation in #rural #Pakistan to create #sustainability and #empowerment
OSDI
 @OSDI_pk
Jun 9, 2014

#OSDI Success Story on Micro-Credit Finances

OSDI_pk's tweet image. #OSDI Success Story on Micro-Credit Finances
0
0
0
0
0
OSDI_pk's profile picture. Organization for Social Development Initiatives (OSDI) is an #ngo working on #povertyalleviation in #rural #Pakistan to create #sustainability and #empowerment
OSDI
 @OSDI_pk
May 16, 2014

Annual Examinations conducted in #OSDI Schools

OSDI_pk's tweet image. Annual Examinations conducted in #OSDI Schools
0
0
0
0
0
OSDI_pk's profile picture. Organization for Social Development Initiatives (OSDI) is an #ngo working on #povertyalleviation in #rural #Pakistan to create #sustainability and #empowerment
OSDI
 @OSDI_pk
Jun 13, 2014

Immunization Drive against #measles in #OSDI focused villages’

OSDI_pk's tweet image. Immunization Drive against #measles in #OSDI focused villages’
0
0
0
0
0
OSDI_pk's profile picture. Organization for Social Development Initiatives (OSDI) is an #ngo working on #povertyalleviation in #rural #Pakistan to create #sustainability and #empowerment
OSDI
 @OSDI_pk
May 7, 2014

#OSDI's beneficiary harvests 225 Maunds of Wheat Crop

OSDI_pk's tweet image. #OSDI's beneficiary harvests 225 Maunds of Wheat Crop
0
0
1
0
0
GernotHeiser's profile picture. Microkernel dude, UNSW prof, looking for PhD students in OS
Gernot Heiser
 @GernotHeiser
Jul 20, 2012

RT @xiaoma: To those who also get rejections from #OSDI :-)

GernotHeiser's tweet image. RT @xiaoma: To those who also get rejections from #OSDI :-)
0
0
0
0
0
alibaba_cloud's profile picture. Computing for the Value beyond Computation
Alibaba Cloud
@alibaba_cloud
Jul 4, 2024

Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.

alibaba_cloud's tweet image. Summer is the season for acadmic conferences. From July 10 to July 12, #AlibabaCloud will be exhibiting at OSDI 2024, and presenting our papers in system software accepted by #OSDI and #USENIXATC. See you all in San Clara.
3
0
4
0
6K
tianyin_xu's profile picture. Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Tianyin Xu
@tianyin_xu
Jul 12, 2024

Xudong Sun (@xu_dong_sun) from @IllinoisCS gave a great talk for his work on building formally verified cluster management (like #Kubernetes) controllers towards provably correct cloud infra. The paper receives a Jay Lepreau best paper at #OSDI and is at usenix.org/conference/osd…

tianyin_xu's tweet image. Xudong Sun (@xu_dong_sun) from @IllinoisCS gave a great talk for his work on building formally verified cluster management (like #Kubernetes) controllers towards provably correct cloud infra. The paper receives a Jay Lepreau best paper at #OSDI and is at usenix.org/conference/osd…
xu_dong_sun's profile picture. Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Xudong Sun
 @xu_dong_sun
Jul 11, 2024

I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)

xu_dong_sun's tweet image. I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)
21
26
180
23
51K
4
10
87
4
8K
tianyin_xu's profile picture. Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Tianyin Xu
@tianyin_xu
Jul 17, 2023

Jenny will be on the upcoming academic job market. She'll be a great hire for any department looking for top systems candidates. Checkout her website for the cool work she did: renxian2.github.io Here's Jenny presenting Relational Debugging at #OSDI 2023.

tianyin_xu's tweet image. Jenny will be on the upcoming academic job market. She'll be a great hire for any department looking for top systems candidates. Checkout her website for the cool work she did: renxian2.github.io Here's Jenny presenting Relational Debugging at #OSDI 2023.
1
2
21
0
3K
EscritoraSDI's profile picture. ✍🏻 Escritora 🏝️ O Segredo da Ilha 🌻 ENFP ☮️ Ela/Dela
Vick the Dreamer
 @EscritoraSDI
Nov 13, 2022

Fui testar esses apps e cheguei a conclusão q seria loucura eles terem tecnologia jaksbkjsj #OSDI

EscritoraSDI's tweet image. Fui testar esses apps e cheguei a conclusão q seria loucura eles terem tecnologia jaksbkjsj #OSDI
0
1
1
0
0
OpenSupporter's profile picture. We're launching the first community-developed, community-governed API + data format for progressive political technology orgs + developers.
OSDI
 @OpenSupporter
Mar 9, 2017

. @prog_code volunteers are creating a unified "Resistance Calendar" using #OSDI. #theresistance

OpenSupporter's tweet image. . @prog_code volunteers are creating a unified "Resistance Calendar" using #OSDI. #theresistance
0
5
5
0
0
YVigfusson's profile picture. Associate Prof @emory_csi @SimbiosysLab. Goal: scalable, secure, societally-beneficial systems. Hacker/Entrepreneur/Pianist/Exoskeleton for 4 viklings.
Ymir Vigfusson
 @YVigfusson
Aug 15, 2020

Excited that our work on efficiently serving deep neural networks (DNNs) will appear at #OSDI 2020! (Spoiler: consolidate all system choices to make performance predictable) Preprint version: arxiv.org/pdf/2006.02464. @0xREZA @mpi_jcmace @SimbiosysLab

YVigfusson's tweet image. Excited that our work on efficiently serving deep neural networks (DNNs) will appear at #OSDI 2020! (Spoiler: consolidate all system choices to make performance predictable) Preprint version: arxiv.org/pdf/2006.02464. @0xREZA @mpi_jcmace @SimbiosysLab
0
5
19
0
0

Something went wrong.


Something went wrong.


United States Trends