I'm in the job market looking for faculty positions! My research is on the intersection of operating systems, software verification & synthesis, and hardware models.
Also, a reminder that I am hiring for PhD students and interns @ICComputing. Come work with our group on μs-scale RPCs, scheduling, in-network compute, runtime systems, serverless, and more
https://t.co/LFNbz7OoI0
48 hours to go for the @sospconf systems doctoral workshop deadline (SysDW'23).
We welcome work-in-progress abstracts from early and mid-stage PhD students, and research statements from senior PhD students who will be in the job market soon.
https://t.co/K9vXqzUAyC
Hi everyone, @sanidhya_k , @LluisVilanova_ , and I invite Ph.D. students to submit to the Systems Doctoral Workshop at SOSP 2023 (SySDW'23).
Workshop site: https://t.co/mB0aMBwmif
Submission site: https://t.co/WIjvWzHIF3
Submission deadline: Friday, July 21st, 2023 AoE
Applying for a CS-related PhD soon, or know someone who is?
The PhDs of EPFL's Computer & Communication Sciences department wrote a guide to help!
We also have volunteers to review SoPs and resumes for people who lack mentorship, so check it out!
https://t.co/hwhOqNwAbC
@EtihadHelp I want to cancel my DEL-AUH-ZRH-GVA flight, as layover is 35 min due to flight time change from DEL. I am unable to cancel the flight:
"We're unable to process your request. Please enter valid information.(REF39)"
& No one on your end picks up the phone.
Sanidhya Kashyap (@sanidhya_k) has openings for #PhD students in his group. Find out more about his #research at: https://t.co/OcJQVLCyF7, and learn more about our @EPFL#EDIC#computerscience PhD program: https://t.co/v06gE9uEj5
Summer@EPFL 2021 applications are now open!
To apply, go to: https://t.co/pwOAFZ61Jc
The single application deadline for all students is Nov 29th.
Our School offers summer fellowships to international students who get the chance to learn new skills with leading EPFL scientists.
Delighted to announce that in Fall 2020, I will be an Assistant Professor at the EPFL School of Computer and Communication Sciences (IC) @ICepfl@EPFL_en
@dvyukov@Tr3x__ Yes. But, we need some time to open source our code. May be a month since we are slightly occupied with the camera-ready for SOSP. @0xmemeda gave a Google tech-talk on 7/11, in which he mentions this. We are interested in porting it to syzkaller if possible.
@dvyukov@Tr3x__ As pointed by you, the difficulty lies in checker. We build a model to check if the file image is consistent after a crash occurs after issuing a calls, such as fsync/sync. We also tested FS against this: https://t.co/Crm3bei2lc for POSIX violations.
@NogaRot @vj_chidambaram @RohanKadekodi@jayashree2912@SekwonL Special thanks to my awesome mentor @irinacalciu, who kept asking questions and revised the paper to an acceptable submission quality. It's like turning coal to diamond :-).
@NogaRot @vj_chidambaram @RohanKadekodi@jayashree2912@SekwonL that uses lock waiters to do some extra job to achieve a desired policy, such as NUMA-awareness, blocking/parking strategy. We propose a family of Shfllocks that improve throughput up to 12X while drastically reducing the locks' memory footprint (up to 30X).