Aditya @_hiraditya_
Menlo Park, CA Joined February 2012-
Tweets994
-
Followers404
-
Following400
-
Likes7K
Call for Proposals: AI-Driven Software Porting to RISC-V riscv.org/blog/2025/09/c…
0
0
0
72
0
Aditya retweeted
We’re pleased to welcome @Qualcomm as a 𝐒𝐢𝐥𝐯𝐞𝐫 𝐒𝐩𝐨𝐧𝐬𝐨𝐫 of IICT 2025. With a legacy of driving innovation in system technologies and performance, their support strengthens our mission to advance compiler research and community collaboration. 📍 Join us at IISc…
Thanks @Google for sponsorship
Aditya retweeted
new post: When to Hire a Computer Performance Engineering Team (2025) part 1 of 2 brendangregg.com/blog/2025-08-0…
Aditya retweeted
Ubuntu, by taking a stance to *only* support the latest ratified spec (RVA23) is somewhat forcing the industry’s hand. At minimum, a compatible CPU will need 1.0 Vector Instructions, *and* Hypervisor support. If you get a raspberry pi style RISC-V board in the future, and it…
Aditya retweeted
We’ve extended the deadline for Call for Proposals to July 15! If you're working on cutting-edge research, novel tools, or insightful ideas in the space of compiler technologies and programming languages, we’d love to hear from you!
We’ve extended the deadline for Call for Proposals to July 15! If you're working on cutting-edge research, novel tools, or insightful ideas in the space of compiler technologies and programming languages, we’d love to hear from you!
Aditya retweeted
𝐂𝐚𝐥𝐥 𝐟𝐨𝐫 𝐏𝐫𝐞𝐬𝐞𝐧𝐭𝐚𝐭𝐢𝐨𝐧𝐬 – 𝐈𝐈𝐂𝐓 𝟐𝟎𝟐𝟓 Got ideas in compiler optimization, static analysis, or programming language design? Present your work at IICT 2025 — a gathering of brilliant minds from academia and industry. 📝 Formats accepted: Abstracts, Papers,…
Aditya retweeted
This year's GCC 15 Improvements on AArch64 blog is now live. Read all about the exciting new stuff in it! community.arm.com/arm-community-… @gnutools
Ubuntu 25.10 Planning To Raise RISC-V Support Baseline To RVA23 Profile phoronix.com/news/Ubuntu-25…
Aditya retweeted
100% of ACM publications available for free from 1st January 2026! 🎉 Landmark achievement!
100% of ACM publications available for free from 1st January 2026! 🎉 Landmark achievement!
Aditya retweeted
Registration for RISC-V Summit China is NOW open! Join us July 16–19 in Shanghai for four days of cutting-edge RISC-V innovation. From AI to HPC, and automotive to EDA, we’re diving deep into every vertical. 💡 Tutorials, tech forums, a massive exhibition, and more. 🔗 Free…
Aditya retweeted
Change all of your passwords right now
Aditya retweeted
The 2nd Innovations In Compiler Technology Workshop is here! Submit your talk proposals before 1st July 2025 Head over to compilertech.org for more details! CC += @_hiraditya_ #compilers #llvm #mlir
Aditya retweeted
A breakthrough has been achieved by demonstrating quantum entanglement based communication in an experimental setup through DRDO-Industry-Academia Centre of Excellence (DIA-CoE), IIT Delhi. The free-space quantum secure communication using quantum entanglement over a distance of…
Aditya retweeted
Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights, transportation, local SIM cards, cultural norms, and even suggestions for things to do and see around the city. web.ist.utl.pt/nuno.lopes/pld…
Aditya retweeted
Zig shipped a RISC-V backend before AArch64! I think RISC-V is doing really well in the technology enthusiast community. news.ycombinator.com/item?id=442222…
Aditya retweeted
There’s a new breed of GenAI Application Engineers who can build more-powerful applications faster than was possible before, thanks to generative AI. Individuals who can play this role are highly sought-after by businesses, but the job description is still coming into focus. Let…
cppcon.org/poster-submiss… Submissions open: 16 June 2025 Submission deadline: 27 July 2025 #cppcon
Aditya retweeted
Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! Goal: demystify quantum computing + serve as a formal foundation for reasoning about quantum programs. paper paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla
Aditya retweeted
PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP/SPLASH 2025, consider applying! 🗓️ Deadline: July 15, AoE conf.researchr.org/home/icfp-spla…
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Aart Bik @AartBik
1K Followers 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Amir @disruptnhandlr
1K Followers 196 Following Eternally junior compiler engineer, baby architect, mediocre programmer
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Denis Bakhvalov @dendibakh
5K Followers 450 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
David Goldblatt @davidtgoldblatt
1K Followers 442 Following Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
apardoe 🐀 @apardoe
796 Followers 1K Following Transportation is a housing problem. Housing is a transportation problem.
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Matt @matt_dz
5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
DegenDoes.skr @DegendoesSol
11K Followers 4K Following Head of Marketing and Business Development @AllDomains_ | Collector of JPEGs
smv @notsmv
152 Followers 416 Following AI won't take my job \ eternal intern \ compiler dev, FP \ embedded, IoT \ does ML in C++ \ GATE AIR 1627 \ linux user since 2018 \ https://t.co/F5trjePfm8
Sam Mousavi @SamMousavi41986
39 Followers 826 Following
DarkPoolScans🇺🇸 @Exabgaw0801233
31 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Shashank Kirtania @5hv5hvnk
467 Followers 2K Following pre doc research fellow @prosemsft | interested in AI & Formal Methods
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
Mike Dupont @introsp3ctor
4K Followers 8K Following FOLLOWS YOU BACK. ca: BwUTq7fS6sfUmHDwAiCQZ3asSiPEapW5zDrsbwtapump Zero Ontology System Compiler Introspector ZOS-SFM #SOLFUNMEME @zos_sfm :)
Shearrke @ShearrkeV9gpu
73 Followers 3K Following
Outuqu @Outuqu009
28 Followers 2K Following
8080 @harish_janarth
0 Followers 25 Following
Vinay Kumar Burugu @vinayburugu
57 Followers 725 Following
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
-- @m0iP6odsbL5LH3F
359 Followers 2K Following
𝕥harun @dottharun
17 Followers 105 Following upcoming swe @fico_corp | student @IITBHU_Varanasi | Ex-intern @layer5
yarcompsci @yarcompsci
8 Followers 475 Following
Gaurav Verma @vermagaurav_xin
68 Followers 490 Following Ph.D. Student, IACS, Stony Brook University. DNN Compilers, Scalable Machine Learning, and High-Performance Computing.
Launessh @LaunesshonkLCH
41 Followers 1K Following Skilled in performance management, designing and implementing KPI systems to drive team goals.
Sposhau @SposhauK3sGTK
102 Followers 3K Following
Saurabh Joshi (@sbjos... @sbjoshi
533 Followers 160 Following * Retweets ≠ endorsement * Views are personal
Karine Even-Mendoza @KarineEvenMend1
138 Followers 500 Following Computer scientist and a lucturer@KCL/Informatics
Priyanshu Mishra @Priyans57411485
1K Followers 5K Following SoC Verification Engineer | Processor Architecture Verification (RISC-V/Arm/x86) VLSI | AI/ML in Chip Design Research | DIY
Senthil Kumar @skselvaraj
4 Followers 124 Following
HarryAGC @Quantanix
0 Followers 51 Following
Harshit Gupta @HarshitGTweets
104 Followers 2K Following I work on Embedded Software, Electronics grad. I'm fond of Tech., and openly Tweet, explore and engage on content.
Gaurav Sharma @gaurav_sharmaaa
9 Followers 6 Following
moot @zhuyachao
22 Followers 864 Following
ZzZzZ @zdmc23
196 Followers 5K Following 🌱🧬 investing in longevity... in the metaverse 👾 and also the universe 🌌 1st non-longevity check @fluffyvectors bc they are doing cool things w agent memory
mdl fop @FopMdl3971
0 Followers 118 Following
wuc9521 @wuc9521
85 Followers 1K Following
Yannick Pass @yannick_pass
708 Followers 2K Following make the world a better place | building @superteamtalent | member @superteamDE | 🏀
Polaloshy @polaloshy2697
97 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Jenowin Mcalister @jenowin14
14 Followers 173 Following
EricaSinclair @o4Z9NUyE54zFI
76 Followers 7K Following
Anil @anil__dewani
76 Followers 603 Following
Bastien Gares @bastiengares
3K Followers 8K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
Nadav Rotem @nadavrot
4K Followers 414 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Aart Bik @AartBik
1K Followers 859 Following 🇳🇱🇺🇲 Dutch-American computer scientist Utrecht (MSc), Leiden (PhD) @Nvidia @Google @Intel #astrophotography #chess #compilers #sparse #vectorization
Amir @disruptnhandlr
1K Followers 196 Following Eternally junior compiler engineer, baby architect, mediocre programmer
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Chris Lattner @clattner_llvm
87K Followers 194 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
https://mastodon.soci... @vzverovich
11K Followers 90 Following Carbon-based open sourcerer, code necromancer and a former alien. Author of C++20 std::format and https://t.co/etCUwPDCEw. Opinions are not mine.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
JF Bastien @jfbastien
12K Followers 651 Following C++ standards committee language evolution chair — WebAssembly co-instigator— https://t.co/kR60YklfRH
@ericniebler.bsky.soc... @ericniebler
12K Followers 138 Following C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. Views are mine, not my employer's
llvm.org @llvmorg
11K Followers 7 Following Open source project for compiler infrastructure, tools, and more. Here Be Dragons.
Mehdi Amini @JokerEph
2K Followers 469 Following Curious about everything, tech and software in particular. Compilers (MLIR/LLVM/OpenXLA) & GPUs! @Nvidia
Denis Bakhvalov @dendibakh
5K Followers 450 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
David Goldblatt @davidtgoldblatt
1K Followers 442 Following Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly. @[email protected]
jon @jon_roelofs
393 Followers 446 Following tweets are provided as-if, and may or may not change observable behavior of my employer.
Geoff Langdale @geofflangdale
3K Followers 129 Following CMU CS PhD; Hyperscan chief; Intel Principal Engineer. Side projects include a superoptimizer. he/him. Vegetative electron microscopist.
Bartlomiej Filipek @fenbf
8K Followers 903 Following Software developer with a technical blog about #cpp #cplusplus #programming. Author of https://t.co/RTymzbCl0a and https://t.co/sZKX50a7n5 4x Microsoft MVP
Barry Revzin @BarryRevzin
3K Followers 127 Following C++ (Jump Trading, Deducer of This, SG10 Chair) and Swimming (DC Trident 🔱, Occasional SwimSwam Contributor, Current Analyzer).
Kirshanthan Sundarara... @Kirshanthan
1K Followers 1K Following Assistant Professor @VT_CS || PhD from @PurdueECE || Interested in Compilers, Programming Languages, and HPC
Jason Turner @lefticus
28K Followers 681 Following Making C++ Fun, Safe, and Accessible https://t.co/PN23ICXVpp, https://t.co/Uv1E4fXvMx, https://t.co/V79Wtl5aXT @[email protected]
Monad (mainnet arc) @monad
1.3M Followers 249 Following Layer 1 blockchain bringing parallel execution to the EVM || 10,000 TPS || account run by Monad Foundation - Monad Testnet is live: https://t.co/VrQeSipuUd
Roger Wattenhofer @TheWattenhofer
2K Followers 80 Following Head of Research at @anza_xyz. Professor at ETH Zurich. Freedom and Liberty.
Igor Babuschkin @ibab
103K Followers 855 Following Maybe the real ASI was the friends we made along the way. Co-founder @xAI, Research & Engineering
Modular @Modular
20K Followers 2 Following The future of AI development starts here. Sign up to our 📪 Newsletter → https://t.co/gpuHGRyHTs. We are hiring → https://t.co/cPTAes0HMt 🚀
jian @jianxliao
7K Followers 2K Following hci ∩ ai | founder https://t.co/1CgdsrIe12 | building the world's first serverless agent platform @agentbase_
Jamie Voynow @jamievoynow
7K Followers 606 Following Building AI agents for quant finance @ https://t.co/VSMWf23KZo
Eureka Labs @EurekaLabsAI
73K Followers 1 Following We are building a new kind of school that is AI native.
Samuel Ekpe @samuelekpe
2K Followers 8K Following Building Fully Autonomous Multi-Agent Organization @grupa_ai ; cofounder @grupa_io
Matthieu Lemerre @lemerre_m
161 Followers 120 Following Matthieu Lemerre -- tenured researcher in formal methods, computer systems, cybersecurity and so on #StaticAnalysis #OS #Cybersecurity #AbstractInterpretation
Mo Shaikh @moshaikhs
80K Followers 3K Following Cofounder @aptoslabs prev. @Meta @BCG @BlackRock @ConsenSys @MeridioRE
0xJimmy @0xjimmyk
1K Followers 287 Following Founder of https://t.co/eQgOGDdWwL, learning materials for audits. Insists "crypto" stands for "cryptography." Senior Watson @sherlockdefi. Alt of @jimmykoppel.
Yao Li @lastland0
1K Followers 669 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Jim Keller @jimkxa
44K Followers 154 Following CEO @tenstorrent, Cofounder @atomic_semi @BayaSystems, FlexAI, AheadComputing board member. Fan of 2x2 matrixes, books, refactoring and creative tension
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Grants.gov @grantsdotgov
29K Followers 543 Following Connecting the Federal Grants Community: https://t.co/c5936z0B3n & #LearnGrants
Veridise @VeridiseInc
5K Followers 480 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Kuldeep S. Meel @ksmeel
2K Followers 322 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
compilertech @compiler_tech
166 Followers 61 Following Innovation in Compiler Technology workshop 2024 edition talks can be found here (https://t.co/jqbf5huiAU)
Bandana Preyashi @BandanaPreyashi
18K Followers 37 Following Mother, wife & an IAS Officer, Bihar Cadre, 2003 batch, Secretary, Social Welfare Dept & Managing Director, WCDC, Govt of Bihar
DeepComputing @DeepComputingio
1K Followers 217 Following Official account of DeepComputing. Turning RISC-V into Reality!
John Stossel @JohnStossel
1.3M Followers 396 Following To make sure you get our NEW video each week, sign up for video alerts here: https://t.co/tgSZwHuqq7
With Love Bihar @WithLoveBihar
14K Followers 2K Following Proudly Bihari | Showcasing Bihar’s rich culture, untold stories & bold opinions | Advocating progress & unity | ✉️/☎️ [email protected]
Lulu Cheng Meservey @lulumeservey
115K Followers 3K Following Founder of ROSTRA. Ex-Activision and Substack. “Meservey isn’t your typical flack.” -The Information. Writing https://t.co/4xKo7wQTQo
Rahul Kanyal @therahulkanyal
6 Followers 476 Following
Mukesh @imMukeshK
55 Followers 910 Following
Benchmark @benchmark
88K Followers 476 Following Benchmark focuses on early-stage venture investing in consumer, marketplaces, open-source, AI, infrastructure, and enterprise software.
Akhilesh Gupta @akhileshgupta
253 Followers 296 Following
Leanpub @leanpub
9K Followers 110 Following Leanpub is a unique platform for writing & publishing, with a bookstore that helps readers discover new books & authors every day! Follow us for news & deals!
Shung-Hsi Yu @shunghsiyu
407 Followers 1K Following Kernel Engineer @SUSE messing with BPF #StandWithUkraine 💙💛 Also at @[email protected]
Gagan Biyani 🏛 @gaganbiyani
106K Followers 3K Following Co-Founder @udemy. CEO @MavenHQ. Fighting for Oakland via https://t.co/gKEElNlpMH
Riya Bisht @b1shtream
575 Followers 3K Following neuromorphic, energy efficient, in-memory computing research @CeNSEatIISc, low-level systems for ml @iiscbangalore, prev @Vicharak_In @CERN @BerkeleyLab
Bihar Police @bihar_police
536K Followers 104 Following बिहार पुलिस के आधिकारिक Twitter (X) प्रोफाइल पर आपका स्वागत है। आप इस से जुड़कर बिहार पुलिस से जुड़ी सभी पुष्ट जानकारी प्राप्त कर सकते हैं......
Guillermo @memoselyk
181 Followers 2K Following
Andrej Karpathy @karpathy
1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.
Tyler Sorensen @Tyler_UCSC
1K Followers 878 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
RISC-V International @risc_v
32K Followers 489 Following RISC-V International is the non-profit home of the open standard RISC-V Instruction Set Architecture (ISA), related specifications, and stakeholder community.
Pradeep kumar @pt_of_no_return
95 Followers 615 Following MLIR / LLVM @ Nvidia | Programming Languages, Compilers & GPU | Cycling and Running | Love to talk about Physics, CS, Maths & Philosophy
Davide Italiano @davidecci
2K Followers 65 Following
Erik Meijer @headinthebox
31K Followers 2 Following
AIA Events @AIA_Events
41 Followers 6 Following Association of Indo Americans (AIA) is a non-profit organization which provides a forum to explore the rich and diverse heritage of the Indian American Comm.
The Browser Company @browsercompany
143K Followers 0 Following Building a better way to use the internet, with @diabrowser and @arcinternet.
Bihar Foundation @biharfoundation
64K Followers 296 Following An initiative of Government of #Bihar to facilitate interaction between the State and the #Diaspora. Core objectives - Bonding, Branding, Business.
Dheeraj Pandey @dheeraj
19K Followers 958 Following CEO @DevRev. Board Member @Adobe. Constant Student of Business/Tech. Beachcomber of People Experiences. Worshipper of Authenticity, Hunger & Design
Brendan Gregg @brendangregg
47K Followers 156 Following Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]Trends for United States
147 B posts
44,9 B posts
224 B posts
35,6 B posts
37,3 B posts
48,3 B posts
38,2 B posts
10,1 B posts
68,1 B posts
101 B posts
5.846 posts
7.953 posts
7.191 posts
6.154 posts
57,9 B posts
93,7 B posts
59 B posts
1.079 posts
78,4 B posts
2.326 posts
You might like
PLDI
@PLDI
5K Followers
Denis Bakhvalov
@dendibakh
5K Followers
CGO
@CGOconf
434 Followers
Jubi Taneja
@jubitaneja
2K Followers
Uday Bondhugula
@ukrb84
432 Followers
Matt
@matt_dz
5K Followers
Zachary Tatlock
@ztatlock
1K Followers
Mehdi Amini
@JokerEph
2K Followers
Aart Bik
@AartBik
1K Followers
Tyler Sorensen
@Tyler_UCSC
1K Followers
David Goldblatt
@davidtgoldblatt
1K Followers
Umang Mathur
@mathur_umang
1K Followers
Stefanos Baziotis
@SBaziotis
364 Followers
Tobias Grosser
@Tobias_Grosser
2K Followers
Min Hsu
@bekket_mcclane
530 Followers