Reshabh K Sharma
@ReshabhSharma01Everything is a compiler! PhD student @uwcse Opinions are my own!
Similar User
@PLMentoring
@ChandrakanaNaN
@Kirshanthan
@santoshgnag
@GhostofBendy
@_hiraditya_
@pavpanchekha
@p_droabreu0
@ukrb84
@GuannanWei
@sameeran_joshi
@ma_vollmer
@hgoldstein95
@ReikDas
@TheAviralGoel
Our latest work on defenses against microarchitectural side-channel attacks.
Sophisticated side-channel attacks present new security challenges for cloud providers. Learn how Microsoft is exploring defenses against emerging attacks with principled microarchitectural isolation: msft.it/6013W5fTf
I like this framing. If prompts are programs, then adversarial prompts are malware.
I just co-authored a blog post arguing that #LLM #prompts are programs and require new research from #ProgrammingLanguages and #SoftwareEngineering. We need to rethink our #SoftwareTools to work for prompts blog.sigplan.org/2024/10/22/pro…
I just co-authored a blog post arguing that #LLM #prompts are programs and require new research from #ProgrammingLanguages and #SoftwareEngineering. We need to rethink our #SoftwareTools to work for prompts blog.sigplan.org/2024/10/22/pro…
Thanks to Nvidia for helping us bring compiler practitioners together at the first IICT workshop in Bengaluru! #IICT compilertech.org
Step into the future of compiler tech with @nvidia as a proud 𝐆𝐨𝐥𝐝 𝐓𝐢𝐞𝐫 𝐬𝐩𝐨𝐧𝐬𝐨𝐫! Join us on the 28th & 29th of September at @DayanandaOf for the Innovation in Compiler Technology Workshop 2024. Visit here- compilertech.org #CompilerTech2024 #IISc…
Can user-intent formalization (clarification through specifications starting with tests) help users generate correct code from informal intent? TSE paper explores this question with a user study and empirical evaluation with TiCoder ieeexplore.ieee.org/document/10606…
Thrilled to see my collaborator, Peli de Halleux, describe our project GenAIScript, a programming language for easily leveraging hashtag#GenAI in you scripts. #generativeAI #AI #scripting linkedin.com/events/genaisc…
Azure Research in Cambridge, UK, is hiring two postdoctoral researchers --- in Security and Systems and in AI Security and Privacy: lnkd.in/eFxPJsBj lnkd.in/ewvq627Y Come work with us on exciting and important problems!
Hi all, just a friendly reminder on the submission deadline...
Only two more days left for submissions of presentations and tutorials! visit: compilertech.org for more info. #llvm #gcc #rustc #ProgramAnalysis #EmbeddedSystems #Performance #SoftwareVerification #cgo #pldi
FYI: IICT(Innovations In Compiler Technology) workshop will be held in Bangalore this September28-29. It will be a two day workshop with four tracks. Please see the CFP for more details. Travel assistance available to students. compilertech.org #compilers
SafeAR will be hosted in Bellevue, Washington on October 21st 🏔️. We look forward to your great submission 🙌
Excited to co-organize the SafeAR workshop @ismarconf! We’ll explore how to reshape today’s AR development practices to address security & privacy risks. sites.google.com/umich.edu/safe… Apply to participate by July 26th, 2024!
Here's where we are with SIGPLAN-M for @PLDI 2024. Excited to have new mentees and mentors! We would love more mentors; please do sign up using the registration form on our website! If you're worried about seniority, remember that graduate students make wonderful mentors!
The video recording is now online (youtu.be/6fVUMJmJ2rM)
LLVM Social Bangalore is back with another online meetup! Title: Fixing the see-saw: Enabling precise optimizations in JIT compilers, efficiently Date: 18th May 2024 (Saturday) Time: 3:00 PM onwards Speaker: Prof. Manas Thakur, IIT Bombay RSVP: meetup.com/bangalore-comp… #llvm
We need your feedback on an llvm.org website redesign! Please fill out this survey: docs.google.com/forms/d/1xr1Cl…
Had a great time speaking to the BuzzRobot community about GPU security! Thanks to @sopharicks for the invitation and looking forward to engaging more with the community!
It was a very insightful lecture by @Tyler_UCSC for the @buZZrobot community about the AI security risks associated with GPU local memory leaks and which companies' devices were affected by this kind of vulnerability. Watch the lecture to learn about new security issues of LLMs.…
Today's the day for PNW PLSE! Take a look at our schedule of talks here: pnwplse.org!
AI and Security? OpenSSF has a working group that handles everything at the intersection of the two. See a spotlight article on OpenSSF's blog for the working group: openssf.org/blog/2024/04/2…
The new Llama Guard in Llama3 dramatically outperforms its predecessor by achieving an F1 score of ~70, compared to 0, on the SPML prompt injection dataset. It is important to note that it only focuses on jailbreak detection but remains adaptable to custom safety criteria.
In addition to Llama 3, we also released new Meta Llama trust & safety tools featuring Llama Guard 2, Code Shield and Cybersec Eval 2 — plus an updated Responsible Use Guide & Getting Started Guide, new recipes and more. You can find more of these updates on the Llama website ➡️…
Just co-authored a blog post with @emeryberger arguing that #AI requires dramatic changes in #computingsystems research. #programminglanguages #computingresearch #LLMs #ML #computers blog.sigplan.org/2024/04/23/ai-… sigarch.org/ai-software-sh… #POSW #AISW
United States Trends
- 1. Ole Miss 30,3 B posts
- 2. Indiana 60,9 B posts
- 3. Colorado 48,3 B posts
- 4. Kansas 24,6 B posts
- 5. Jaxson Dart 6.403 posts
- 6. Travis Hunter 7.063 posts
- 7. Gators 17,9 B posts
- 8. Ohio State 40,1 B posts
- 9. Penn State 7.127 posts
- 10. Olivia Miles 1.004 posts
- 11. Wayne 138 B posts
- 12. Lane Kiffin 4.599 posts
- 13. Shedeur 5.029 posts
- 14. Devin Neal 1.178 posts
- 15. Kounde 22,1 B posts
- 16. Billy Napier 4.174 posts
- 17. Ryan Day 6.853 posts
- 18. Minnesota 16,3 B posts
- 19. Surgeon General 183 B posts
- 20. Cam Skattebo N/A
Who to follow
-
Programming Languages Mentoring Workshop
@PLMentoring -
Chandrakana Nandi
@ChandrakanaNaN -
Kirshanthan Sundararajah
@Kirshanthan -
Santosh Nagarakatte
@santoshgnag -
Ben Delaware
@GhostofBendy -
Aditya
@_hiraditya_ -
Pavel Panchekha
@pavpanchekha -
Pedro Abreu
@p_droabreu0 -
Uday Bondhugula
@ukrb84 -
Guannan Wei
@GuannanWei -
Sameeran Joshi
@sameeran_joshi -
vollmerm
@ma_vollmer -
Harry Goldstein
@hgoldstein95 -
Pratyush Das
@ReikDas -
Aviral Goel
@TheAviralGoel
Something went wrong.
Something went wrong.