Michigan Systems Lab @MichiganSystems
Researchers at @UMichCSE spanning distributed systems, operating systems, security, CPS, networking, databases, and software engineering. systems.engin.umich.edu Ann Arbor, MI Joined September 2018-
Tweets700
-
Followers581
-
Following71
-
Likes83
📢👉Reminder to our censorship community researchers Our first deadline for FOCI 2023 is in 5 days. Read our new submission format and structure here: hotfoci.org
I am currently applying for tenure-track faculty positions in the US and abroad. Please contact me at [email protected] if you are hiring this upcoming cycle! CV, web.eecs.umich.edu/~takh/cv_tanvi… Website, web.eecs.umich.edu/~takh/ (RTs are appreciated)
Congratulations to Shengtuo Hu on a successful dissertation defense! Shengtuo works to systematically understand vulnerabilities in connected and autonomous vehicles, with a series of tools and analytic techniques.
Very excited to attend Papers We Love Conf and talk about research at the intersection of programming and psychoactive substance use! Looking forward to meeting everyone :)
We're very excited to have @cellocorgi speaking about her work at Papers We Love Conf! pwlconf.org/2022/madeline-… #paperswelove #pwlconf
I'm in Rome for VL/HCC! I'll be speaking this Wednesday on our paper "RustViz: Interactively Visualizing Ownership and Borrowing", and @disconcision will be speaking later that day on the Hazel Assistant. Say hi and ask for a demo of RustViz or Hazel if you're here!
1. Initial talk schedule posted! 2. Deadline for 1-pagers extended until Thursday night -- send something in if you'd like to participate live! (We'll post a recording later.)
Are you teaching Rust (in any context) or working on improving Rust educational content or tooling? We're running a half-day virtual Rust Education Workshop later this month (20 Aug) -- submit a 1 page statement on what you're up to and join in! rust-edu.org/workshop/
2012 research led by @jhalderm has been recognized for its lasting influence w/ a USENIX Security Test of Time Award! The study identified the prevalence of weak keys in network encryption, largely stemming from insufficient randomness during generation. cse.engin.umich.edu/stories/resear…
📢📢📢 @ACMSIGCOMM IMC'22 Poster Deadline is on Friday. Submit your poster to discuss early/ongoing work, tools, and datasets with attendees of IMC, also ⛱️⛱️⛱️🥐🥐🛍️🛍️☕️☕️ 🥳🥳 at Nice France 👉conferences.sigcomm.org/imc/2022/cfpos…
Really excited about this new collaboration with UiPath. Look forward to developing the next-generation intelligent programming techniques for automation -- new advancements and broader impacts!
I am excited to announce that UiPath and the University of Michigan unveiled a partnership today to advance the research of intelligent programming techniques, furthering a mutual vision for #semanticautomation. I first met Dr. Xin…lnkd.in/guDmjK9D lnkd.in/gzWySYpC
Political actors secretly obtained access to election systems in Coffee County, GA in early 2021. This kind of access would have been sufficient to manipulate Georgia BMDs using the vulnerabilities that @_aaspring_ and I reported to CISA. The state was unaware for over a year!
Confirmed thanks to records obtained via subpoena by plaintiffs in a long running lawsuit over election security in Georgia: After the 2020 election, Trump allies accessed & copied nearly every component of the Dominion voting system in rural Coffee County washingtonpost.com/investigations…
First day as Assistant Professor in the School of Computing at @ClemsonUniv. Also conveniently received my PhD officially this morning from @UMich. Go Blue and Go Tigers!
📢👉 Researchers join our censorship community: FOCI townhall is happening tomorrow at 6pm EST in the Arlington Room at @USENIXSecurity & online everywhere! Register for the townhall and separate HotFOCI event at hotfoci.org/register 🥳
Very exciting project release by Systems researchers – FedScale provides ML researchers the ability to test federated learning algorithms in a realistic setting without having to deploy their models to thousands or millions of actual devices.
A simulated assortment of phones, laptops, & other devices provides a realistic training environment for distributed machine learning techniques. Called FedScale, the #OpenSource engine helps researchers improve ML methods designed with privacy in mind. cse.engin.umich.edu/stories/open-s…
Thank you to everyone @PET_Symposium HotPETs for this award! 🎉 Kudos to presenters @ohnosaurus and @_aagix and everybody else on the team: @avirkud4 @MustbeElisa @yaeleiger @vinifortuna @royaensafi. #hotpets22 #pets22
The Best HotPETs talk is Improving Usability of Internet Censorship Data through a Censorship Dashboard by @ramakrishnan13s from the University of Michigan ! #hotpets22 #pets22
Want to know what really happened in Antrim County during the 2020 election? I just posted a peer-reviewed paper based on the investigation I did for the Michigan SOS and AG. It will appear at @USENIXSecurity in August. jhalderm.com/pub/papers/ant…
I'm incredibly grateful to my mentors for nominating me for the SIGARCH/TCCA Outstanding Dissertation award. Thank you so much for always going to bat for me @ThomasWenisch @margo_seltzer @bariskasikci @DrKimHazelwood David Brooks, Christos Kozyrakis. @UMichCSE @MichiganSystems
ISCA 2022 Honorable Mention Congratulations @AkshithaSriram1!
Tomorrow, @royaensafi moderates a panel at @rightscon, "Inequity in access to internet content due to server-side blocking and embargo sanctions." Register here for schedule details and to tune in: rightscon.org/program/
Paper deadlines are the best opportunity to build forever friends. Who can forget such a delicious fun day I am confident we can finish 13 pounds, I mean pages 🤐 #IMC2022 Nice France ⛱️⛱️⛱️🥐🥐🛍️🛍️☕️☕️
Efeslab grows by the day
Prof. Shin is a legend!! Proud to be part of RTCL (No. 85 graduated PhD ). We have 89 graduates now and keep going strong!
Congratulationss to Prof. Kang G. Shin, recognized by the IEEE Computer Society for his Distinguished Leadership in the field of real-time computing systems! cse.engin.umich.edu/stories/kang-g…
Computer Science and ... @UMichCSE
4K Followers 253 Following Shaping the future through the power of computing.
MIT CSAIL @MIT_CSAIL
346K Followers 20K Following MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: [email protected] Check out the latest CSAIL content ⬇️
Ram @ramakrishnan13s
700 Followers 1K Following Assistant Professor in CSE @ucsc. @UMich PhD. Previously @Citizenlab @Cloudflare. He/Him. Opinions my own.
Rada Mihalcea @radamihalcea
10K Followers 613 Following Janice M. Jenkins Collegiate Professor of Computer Science @UMich | Director @Michigan_AI Lab | Former @ACLmeeting President | PECASE, AAAI, ACL, ACM Fellow
peter honeyman @peterhoneyman
2K Followers 741 Following college professor 👨🏽🎓 (ret.). relocated to @[email protected] and https://t.co/uGFNABFWcE
Yatin Manerkar @ymanerkar
656 Followers 365 Following Assistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.
School of Information @umsi
12K Followers 2K Following UMSI | University of Michigan Tech + people + purpose Data science | UX | Human-centered AI | Libraries & archives | Health informatics
Michigan Institute fo... @um_midas
2K Followers 444 Following #UMMIDAS catalyzes #datascience through support for @UMich and @umichmedicine faculty, research, education, #DiversityandInclusion, and industry engagement.
MichiganAI @michigan_AI
5K Followers 333 Following This is Michigan AI Laboratory, a vibrant research group that includes faculty, research scientists, graduate students, and postdoctoral fellows working in AI.
Sibin @sibinmohan
5K Followers 2K Following Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Tweets/RTs are my personal opinions.
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Electrical & Computer... @UMichECE
3K Followers 259 Following ECE @UMich is a top-ranked, world-class department that is pushing the boundaries of research in the most high-tech and innovative areas affecting society.
Dhruv Rawat @imdhruvrawat
14 Followers 1K Following {ml, distributed, storage} systems, incoming ms cse @UMichCSE, past: @yugabyte, cs @bitspilaniindia
arty @artyomplaunov
34 Followers 105 Following
Abdullah @Dvryus
60 Followers 2K Following
Druva D @Druva__d
8 Followers 257 Following
Thomas Liang @_thliang01
157 Followers 5K Following
Anshan Lahiru @anshan_lahiru
7 Followers 233 Following
krayon @krayondev
1K Followers 766 Following peanut allergy survivor | ce @umich | @V1Michigan | ssh https://t.co/oA7TqFGYBq | 🇵🇭
Rene Murillo @Rene_texas
10 Followers 199 Following
viren @vpsk05
28 Followers 346 Following SDE-ll @Chegg. | JS lover! | With the aim "Student first" trying to make some better world.
Dalfau @Dalfau1255
15 Followers 347 Following
Mo Malekpour @momalekpour
1K Followers 1K Following AI Software Engineer | Previously Researcher @Mila_Quebec/@DAIS_PolyMTL, Data Engineer @Divar_Official
Shane @b1619384
38 Followers 1K Following
0xhalide @GojoS4t0ruuu
16 Followers 105 Following How complex things behave - and break. Unwrapping one layer of abstraction at a time
Kyle Rowland @ThingsAreTheWay
78 Followers 426 Following seeker of truth, destroyer of ambiguity - we are to understand our world with all of the tools the Creator has made available. to do so is to honor him.
L Mmm @tpinapusga98
2 Followers 566 Following
Diparth Shah @diparthshah_
77 Followers 7K Following
Finicius Senior @finicius_senior
0 Followers 60 Following
Muhammad Shahbaz @msbaz2013
1K Followers 326 Following Assistant Professor of Computer Science and Engineering (CSE) at the University of Michigan
Mushtari Sadia @MushtariSadia
1 Followers 19 Following UMich CSE, PhD student; BRACU CSE lecturer (on leave); BUET CSE graduate 🇧🇩
Ojeyemi Daniel @Ojeebaba
115 Followers 2K Following
Konstantinos Mores @kostas_mores
1 Followers 285 Following
Kotsu Jirunabe @kotsujirunabe
1 Followers 434 Following "the secret of change is to focus all of your energy not on fighting the old, but building the new"
Xuran Ge @Xuran_Ge
9 Followers 196 Following
In The Name of Data @inthenameofdata
4 Followers 62 Following Offering practical data-driven insights and solutions
Yash Verma @yashvardhanee
201 Followers 698 Following ...on break ⚛️ ⛰️ 🐶 🌱 passionate about reliability and observability | opinions are my own
¥oungPanda @oungpanda
0 Followers 317 Following I am f**ked up by life. Hate social media so much but still enjoyed it without choice.
Charles Zhang @xiaojidan2011
164 Followers 4K Following
VictorG @vict0r8086
43 Followers 983 Following CS master @ZJU_China, major in hetero system || enjoy sport statistics || ⚽@ManCity || ⚾#RepBX || 🏉#BillsMafia || 🏀#Liftoff || 🏎 @ScuderiaFerrari
Xudong Sun @xu_dong_sun
1K Followers 824 Following Incoming Assistant Professor at @eceuoft | PhD from UIUC @siebelschool | System reliability, formal verification, and testing | Playing/fighting with Kubernetes
Omoafe @omoafe
951 Followers 5K Following ...a man helped by God....a learner, a builder, searcher....
Smores @smores5001
2 Followers 510 Following
kaamdev @s69_heman
63 Followers 4K Following
Cas (Stephen Casper) @StephenLCasper
7K Followers 4K Following Computer scientist working on AI safeguards and gov research. Incoming assistant professor @Kennedy_School @Harvard. https://t.co/r76TGxSVMb
Shashankesh @ShashankeshU
66 Followers 549 Following A Computer Science Engineer. MTech NIT Rourkela. BTech United college of Engineering and Research. Google India Scholar.
VegetaAvatar @VeGeTaX29
20 Followers 7K Following
Niraj Kumar @nrjkr7
16 Followers 1K Following
Sundara Vishnu @sundara_vishnu
24 Followers 297 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|
Smosheaus @smosheaus40176
63 Followers 3K Following
Georgiy Lebedev @curiousgeorgiy
3 Followers 100 Following
SS🌌 @DLbot96
68 Followers 4K Following बिनय ना मानत जलधि जड़, गए तीन दिन बीत बोले राम सकोप तब, भय बिन होय न प्रीत।
Achyuth Reddy @nsachyuth
57 Followers 1K Following Coffee addict ☕ | Software Engineer #softwareEngineer
Yichuan Wang @YichuanM
2K Followers 2K Following 2nd-year eecs phd @ uc berkeley (skylab, bair). mlsys. creator of leann: https://t.co/YWTe2nI530 sjtu acm class alum.
Computer Science and ... @UMichCSE
4K Followers 253 Following Shaping the future through the power of computing.
Ram @ramakrishnan13s
700 Followers 1K Following Assistant Professor in CSE @ucsc. @UMich PhD. Previously @Citizenlab @Cloudflare. He/Him. Opinions my own.
Rada Mihalcea @radamihalcea
10K Followers 613 Following Janice M. Jenkins Collegiate Professor of Computer Science @UMich | Director @Michigan_AI Lab | Former @ACLmeeting President | PECASE, AAAI, ACL, ACM Fellow
University of Michiga... @UMich
289K Followers 643 Following The world needs Victors. This is where they are made. Co〽️e to #Michigan. A world-renowned public institution, fostering excellence for all. #LeadersAndBest
USENIX Association @usenix
14K Followers 829 Following Champions open access. Organizes vendor-neutral conferences in systems computing. Fosters collaborative & respectful communities of researchers & practitioners.
peter honeyman @peterhoneyman
2K Followers 741 Following college professor 👨🏽🎓 (ret.). relocated to @[email protected] and https://t.co/uGFNABFWcE
Yatin Manerkar @ymanerkar
656 Followers 365 Following Assistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.
School of Information @umsi
12K Followers 2K Following UMSI | University of Michigan Tech + people + purpose Data science | UX | Human-centered AI | Libraries & archives | Health informatics
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
President Domenico Gr... @UMichPresGrasso
25K Followers 146 Following Official account of the President of @UMich.
Michigan Engineering @UMengineering
27K Followers 1K Following Developing tomorrow's leaders and technologies to move society forward. Let’s shape the future—together.
Michigan Institute fo... @um_midas
2K Followers 444 Following #UMMIDAS catalyzes #datascience through support for @UMich and @umichmedicine faculty, research, education, #DiversityandInclusion, and industry engagement.
MichiganAI @michigan_AI
5K Followers 333 Following This is Michigan AI Laboratory, a vibrant research group that includes faculty, research scientists, graduate students, and postdoctoral fellows working in AI.
Electrical & Computer... @UMichECE
3K Followers 259 Following ECE @UMich is a top-ranked, world-class department that is pushing the boundaries of research in the most high-tech and innovative areas affecting society.
Noah Curran @ntcurran
213 Followers 217 Following Over-caffeinated computer nerd with too many opinions. I tweet my spontaneous thoughts. @PurdueCS & Math B.S. Alumnus @UMichCSE PhD student
Alireza Khadem @arkhadem95
48 Followers 148 Following PhD in Computer Engineering @ University of Michigan
Mert D. Pesé @MertPese
214 Followers 259 Following Assistant Professor @ClemsonUniv. PhD @UMich. Automotive Security and Privacy. Proud Michigander 〽️. Avid supporter of @Fenerbahce and @Schanzer 🇩🇪🇹🇷🇺🇸
Censored Planet @CensoredPlanet
749 Followers 43 Following Research lab at @UMich investigating and exposing various types of privacy, security and geo-based violations and censorship. Join us!
Jiacheng Ma @mjc0608
848 Followers 715 Following Systems & Arch. Maintaining https://t.co/JEoswbgSFe and https://t.co/2lxMLYKZsz.
Todd Austin @ToddMAustin
2K Followers 2K Following Computer Science professor @UMich, security researcher, computer architect, entrepreneur, dad, friend, gamer, one who loves loving things!
GSBES @gsbes_umich
32 Followers 60 Following The Graduate Society of Black Engineers and Scientists (GSBES) serves as an academic and social network for Black graduate students within the UofM community.
Necmiye Ozay @necozay
1K Followers 471 Following Professor @UMichECE and @UMRobotics, research in control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy.
David Moon @dm_0ney
1K Followers 1K Following PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO
Tanvir Ahmed Khan @takhandipu
1K Followers 386 Following Assistant Professor @EE_ColumbiaSEAS; Computer systems researcher working in the intersection of computer architecture, compilers, and operating systems
𝖬𝖺𝗁𝖽𝗂 ... @mahdi_tcs_
4K Followers 710 Following CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve. r/t≠endorsement. I don't interact w/ anonymous accounts. Moving to Bluesky: @mahdi.ch he/him/his
Aman Goel @amangoelumich
114 Followers 254 Following Making AI outputs provably correct | Senior Applied Scientist, AWS | PhD UMich | IIT Madras
Madeline Endres @cellocorgi
419 Followers 557 Following Incoming Assist. Prof @UMassAmherst @manningcics, studying productivity and wellbeing in software engineering, @ https://t.co/daaIKrbWUE
SPQR Lab @LabSPQR
15 Followers 11 Following Embedded and medical device security research lab at the University of Michigan. Lasers, ultrasound, acoustics, RF, physics of cybersecurity, cats.
Morley Mao @MorleyMao1
175 Followers 161 Following Computer Scientist/Engineer, Looking for ways to make an impact
Won Park @thewonpark
133 Followers 177 Following Researcher, photographer, boba lover | @ucberkeley grad | PhD Candidate at @umichcse | Security and Privacy of ML | Hobby Photographer
JS @JiachenSun5
206 Followers 734 Following Agentic LLM @ LI, ex Meta FAIR, TikTok 🎾🏂🏻⚽🏎️ Learn to invest
Chris Peikert @ChrisPeikert
6K Followers 57 Following Cryptographer (lattices/post-quantum), Professor @UMichCSE, CS(cientific)O @AlgorandFoundation, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.
Benjamin Cyr @Benjamin_A_Cyr
51 Followers 102 Following Ph.D. Student at the University of Michigan. Researching ways to make smart devices look dumb, and developing ways to make them smarter.
UMTRI @UMTRI
2K Followers 145 Following University of Michigan Transportation Research Institute We do research dedicated to achieving safe and sustainable transportation for a global society 〽
Xinyu Wang @xwangsd
1K Followers 556 Following assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Timothy Trippel @TimothyTrippel
193 Followers 235 Following Software Engineer | Google | OpenTitan | he/him (opinions are my own)
Gerald R. Ford School... @fordschool
9K Followers 407 Following A community dedicated to the public good at the world-class @UMich. Leaders rooted in service, policy grounded in evidence. #GoBlue 〽️
University of Michiga... @umichsph
21K Followers 2K Following The University of Michigan School of Public Health is pursuing a healthier, more equitable world through education, research and action. #GoBlue @UMich
Kevin Angstadt @KevinAAngstadt
95 Followers 234 Following AP of Computer Science @StLawrenceU — teaching/computing/cooking/knitting/making/etc fabulously 🏳️🌈 he/him/his
Danai Koutra @danaikoutra
2K Followers 386 Following Assoc Prof, CSE @michigan_AI, Assoc Director for MIDAS, Amazon Scholar-- data science, graph mining, graph neural networks, network neuroscience, ML 🐶 🏖️ ☀️
U-M Advanced Research... @umichARC
936 Followers 552 Following A division of ITS (@umichtech), providing advanced computational resources and support for @UMich researchers
U-M Science Olympiad @UMichSciOly
213 Followers 87 Following A student-run organization dedicated to delivering high-quality STEM education to the next generation of the #LeadersandBest
Akshitha Sriraman @AkshithaSriram1
3K Followers 203 Following Assistant Professor @CMU_ECE & @SCSatCMU. PhD from @UMichCSE. Research in Software Systems & Computer Architecture. (she/her)
Thomas Wenisch @ThomasWenisch
225 Followers 193 Following
Ian Glen Neal @iangneal
306 Followers 320 Following R&D Engineer @VeridiseInc. CSE PhD from the University of Michigan.
Ofir Weisse @ofir1942
120 Followers 37 Following
Kevin Loughlin @kevbob_loughlin
499 Followers 359 Following Hardware-software co-design. Kevin + Robert = Kevbob.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Alfred Chen @qialfredchen
1K Followers 655 Following Assistant Professor in CS@UC Irvine. Lead AS^2Guard (Autonomous & Smart Systems Guard) research group @UCIrvine. UMich CSE Alum.
Rackham Grad School @umichgradschool
6K Followers 1K Following No matter the degree or field, Rackham offers grad students and postdocs resources to support them at every stage of their time at U-M.
Atul Prakash @atulprakash
124 Followers 104 Following
Marina Minkin @MarinaMinkin
443 Followers 286 Following Ph.D. candidate University of Michigan. My research focus is computer security.You might like
