Sanidhya

Assistant Professor at @ICepfl

[Reto Achermann @achreto]

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.

[Marios Kogias @MariosKogias]

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

[Aishwarya Ganesan @AishwaryaGanlat]

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

[Aishwarya Ganesan @AishwaryaGanlat]

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

[Solal Pirelli @SolalPirelli]

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

[Sanidhya @sanidhya_k]

@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 @sanidhya_k]

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

[Sanidhya @sanidhya_k]

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.

[EPFL Computer and Communication Sciences @ICepfl]

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

[EPFL Computer and Communication Sciences @ICepfl]

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.

[Sanidhya @sanidhya_k]

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

[Sanidhya @sanidhya_k]

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

[Sanidhya @sanidhya_k]

@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 @sanidhya_k]

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

[Sanidhya @sanidhya_k]

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

[Sanidhya @sanidhya_k]

@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 @sanidhya_k]

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

[Sanidhya @sanidhya_k]

@dvyukov Well that was one of our primary motivations 😃