Sanidhya

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 imperial.ac.uk/computing/pros…

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. sysdw23.github.io

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: sysdw23.github.io Submission site: sysdw23.hotcrp.com 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! epic-guide.github.io/applying

@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.

I am also looking for a postdoc in the area of systems.

Come work with me at @ICepfl @EPFL_en, if you are interested in the challenges of designing today's systems software. Apply to the EDIC PhD program.

Summer@EPFL 2021 applications are now open! To apply, go to: summer.epfl.ch 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.

@andreyknvl @hankein95 No, we do not. I am curious to know how did you deal with those in KTSAN.

@hankein95 Do you deal with disjoined atomics and memory barriers? (E.g. wmb() + WRITE_ONCE() forms a happens-before relation with the matching READ_ONCE() + rmb().) We had some troubles with those in KTSAN.

You guys definitely want to know how to find more data race bugs using a fuzzer. Please check the talk from my labmate Meng Xu. He found 9 harmful race bugs in Linux using Krace. Krace: Data Race Fuzzing for Kernel File Systems #SP20 #IEEESP Video: youtube.com/watch?v=8m2fMx…

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.

@sanidhya_k @Tr3x__ Ah, cool, so you already did this. Added to github.com/google/syzkall… for future reference. Do you have any artifacts publicly available?

I wrote a quick summary for a research paper that I came across - "Fuzzing File Systems via 2D Input Space Exploration" in my blog. Great Content and I loved going through it. r3xnation.wordpress.com/2019/07/06/fuz…

@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: cl.cam.ac.uk/~pes20/SOSP15-… for POSIX violations.

@sanidhya_k @Tr3x__ Something we wanted for long time too: github.com/google/syzkall… Full kernel model seems close to impossible, but you say you build a model for fs syscalls, is it correct?

@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).

@sanidhya_k I couldn't find you on here for done reason... Congrats you SOSP champ! Can't wait to hear more details! #SOSP2019

@dvyukov We would definitely like to port our image mutator to syzkaller if you are interested. Including @0xmemeda.

@dvyukov Well that was one of our primary motivations 😃

JANUS is an interesting fuzzer. Need something similar in syzkaller github.com/google/syzkall… and then All your file system are belong to us HA HA HA HA HA