CMU Computer Science Department retweeted
.@CyLab faculty and students will present on a wide range of topics at next month’s @NDSSSymposium in San Diego. Learn more about the @CarnegieMellon-affiliated accepted papers: cylab.cmu.edu/news/2025/01/2…
#NDSSSymposium2025
CMU Computer Science Department retweeted
In a @TIME article, Prof. David Brumley (@thedavidbrumley) of @cmu_ece, @CSDatCMU, @MayhemSec shares strategies w/ @becca_schneid that consumers can use to protect themselves from scammers attempting to capitalize on the #CrowdStrike #Microsoft IT outage: time.com/7000925/crowdstrike…
CMU Computer Science Department retweeted
ICYMI: @FOCAL_lab member Emanuel Tewolde presenting on social choice for AI alignment at @icmlconf 2024! icml.cc/virtual/2024/poster/…
CMU Computer Science Department retweeted
Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐
CMU Computer Science Department retweeted
Surreal hearing about all of the disruptions to medical care and transportation today. A modern society needs our hospitals, planes, and trains!
Good reminder of just how much software has come to run our lives—and how beholden we are to even tiny, subtle software bugs.
CMU Computer Science Department retweeted
Need to solve PDEs, and struggle with meshing?
Heard about "Walk on Spheres," but didn't know where to start?
Check out the awesome intro course by @rohansawhney1 and @baileymmiller1, just posted from #SGP2024: youtube.com/watch?v=1u-5b492…
CMU Computer Science Department retweeted
“Their code is buggy, and it was sitting there as a ticking time bomb.”
Professor David Brumley (@thedavidbrumley) of @cmu_ece, @CSDatCMU, and @MayhemSec speaks with @becca_schneid of @TIME about #CrowdStrike’s role in the #Microsoft IT outage: time.com/7000476/microsoft-i…
CMU Computer Science Department retweeted
I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming @hendrycks. Building upon years of research, we are developing automated assessments of AI systems as well as safer and more secure models. Come check out what we've built!
Today, we're stepping out of stealth mode to introduce Gray Swan AI, your safety and security provider for the AI era.
🌐 Press Release: grayswan.ai/news/gray-swan-l…
CMU Computer Science Department retweeted
Four SCS faculty, @nathanbeckmann, Aaditya Ramdas, @justinesherry and Virginia Smith have been named 2024 Sloan Research Fellows.
We have today announced the names of the 2024 Sloan Research Fellows! Congratulations to these 126 outstanding early-career researchers:
sloan.org/fellowships/2024-F…
CMU Computer Science Department retweeted

PLDI@PLDI21 May 2024
United States
United StatesConnected via WebAccount-level information, not a live location or per-post device.
If you are attending PLDI this year (in a month!), and if you have or anticipate an open position, either in academia or industry, full-time or part-time—you can now leverage PLMW to advertise that position. Sign up here for a lightning talk at by June 5: forms.gle/uHBQwzAmBR2GXLv29
CMU Computer Science Department retweeted
We are sad to hear of the passing of Gordon Bell, a pioneer in high-performance and parallel computing and the visionary behind the ACM Gordon Bell Prize. His dedication to innovation inspired countless breakthroughs. Our deepest condolences to his loved ones.
#InMemoriam #HPC
CMU Computer Science Department retweeted
Lenore Blum, a foundational researcher in computer science at @CarnegieMellon and a tireless advocate for women in math and science, has been elected to the American Academy of Arts & Sciences.
cs.cmu.edu/news/2024/lenore-…
CMU Computer Science Department retweeted
(1/2) Join us for the 2024 CMU Secure Blockchain Summit! Check out this year's tentative schedule, and sign up to request to attend this free event: bit.ly/cmu-secure-blockchain…
@CyLab @CSDatCMU @CMU_ECE
CMU Computer Science Department retweeted
Prof. @thedavidbrumley of @CMU_ECE and @CSDatCMU will present on Thursday, May 7 at the @RSAConference’s #RSA 2024 on the topic “Steering Clear of Danger: Decrypting the Realities of Remote Car Hacking.” Learn more about Prof. Brumley’s talk and register: rsaconference.com/USA/agenda…
CMU Computer Science Department retweeted
CMU Computer Science Department retweeted
A recent @ONCD report calling on developers to adopt memory-safe programming languages and formal methods cites research from @CyLab, @CSDatCMU, and @CMU_ECE faculty member Bryan Parno, co-founder of @MSFTResearch’s Project Everest. Learn more:
whitehouse.gov/oncd/briefing…
CMU Computer Science Department retweeted
I'll present on our book at the Pittsburgh Humanities Festival! This will be in the evening of Wednesday April 3. They'll have copies of the book for sale too :-) trustarts.org/production/941… @CulturalTrust @SCSatCMU @CSDatCMU @mldcmu
CMU Computer Science Department retweeted
“If it costs $5 for a smart plug, most of it is not going toward thinking about security and privacy first.”
In a @WSJ article, @CSDatCMU & @S3DatCMU faculty member Yuvraj Agarwal tells @bartziegler why smart homes are tempting targets for #cyberattacks: wsj.com/tech/cybersecurity/s…
CMU Computer Science Department retweeted
Delighted to have presented at the UC Berkeley Simons Institute Workshop on Application-Driven Coding Theory today on how large-scale storage systems can save big on storage space by using disk-adaptive redundancy. Talk recording at tinyurl.com/48kzmwy3
@SimonsInstitute #SimonsLive @CSDatCMU
CMU Computer Science Department retweeted
(1/5) I'm excited to share an educational demo I developed in collaboration with my advisor, Dave Touretzky, at @CarnegieMellon, exploring AI image generation.



















