TinyToCS @TinyToCS
The latest in Computer Science research - in 140 characters or less. tinytocs.org Joined February 2012-
Tweets359
-
Followers2K
-
Following2
-
Likes16
We define enumerators that assign numbers to arbitrary values. Their composition efficiently enumerates big sets of complex data structures.
Typical QP trie depth is 0.35-0.40 space is 0.5-0.6 time is 0.6-0.8 of equivalent crit-bit tree.
Wanna optimally test if your distribution has a property? Assume it does, learn the distribution, and test the hypothesis. Use χ2 distance!
Refactoring LTE networks opens a gold mine of research problems and provides insights for laying the cornerstone for modular 5G networks.
Against existing censorship circumvention protocols, we propose SDN-based Decoy Routing that is faster and resilient to traffic analysis.
Theoretical results suggests that innocent traffic patterns can overwhelm networks. Yet, for finite buffers these patterns appear harmless.
Network-aware access control systems can provide good-enough security for sharing information with low value over intermittent network.
Complex policy can be built upon simple primitives enforced on every data flow. Enforcement data can be captured to demonstrate compliance.
User-based targeting in mobile ads is scarce & we explore if attackers can track a user by spoofing the user's identifiers in ad requests.
The Android security ecosystem can greatly benefit from a deeper integration of SELinux Mandatory Access Control into system components.
Priority of reported issues is a poor predictor of future code change. Suspicions empirically confirmed: submitter metadata most important.
Places in small countries are three times as likely to be linked to Wikipedia with 41% of coverage compared to 13% for larger countries.
Reconciling identity vs. distinctness of items from different sources can be NP-hard, but approximations enable flexible data integration
Why are some novels considered to be literature? A predictive model of literary judgments shows that textual features are important.
Offload intensive apps from phones to avoid high temperatures that cause throttling and reduce global performance.
Significant energy savings (with <5.5% output quality loss) can be achieved by merging computation and storage of similar data.
We need a comprehensive and maintainable ontology of CS research to drive scientific progress despite massive knowledge availability.
Sharing software tools enables open innovation, brings faster upgrades and frees up resources, but demands investments in the open community
Providing declarative statements that describe the outcome of an experiment can significantly improve the task of validating its results.
We will be tweeting the accepted papers in the next few days. Keep following!
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
billions of packets @justinesherry
10K Followers 2K Following Computer person. I like middleboxes, systems, and Internets. Assistant Prof @ AS9. she/her, [email protected], @[email protected], 🇺🇲❤️🇵🇹
Katie Mack @AstroKatie
373K Followers 3K Following Cosmologist, pilot, author, connoisseur of cosmic catastrophes. She/her. Dr. Personal account; not representing employer or anyone else.
Joe Hellerstein @joe_hellerstein
15K Followers 864 Following Berkeley CS Prof, focused on data and computation.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Matei Zaharia @matei_zaharia
44K Followers 1K Following CTO at @Databricks and CS prof at @UCBerkeley. Working on data+AI, including @ApacheSpark, @DeltaLakeOSS, @MLflow, https://t.co/94gROE5Xa0. https://t.co/nmRYAKG0LZ
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
(((ل()(ل() 'yoav)))... @yoavgo
65K Followers 2K Following
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Henry Robinson @HenryR
7K Followers 469 Following Infrastructure @SlackHQ. Distributed systems engineer. I have of late - but wherefore I know not - lost all my data.
Toshali Mohapatra @toshali_m
231 Followers 2K Following pattern detection and matrix multiplication @Cohere_Labs @OfficialINDIAAi @wimlds @womentechmakers
daniel @shikiangyo
175 Followers 999 Following
sidhant @s1db_
327 Followers 2K Following I spend my time hacking on combinatorial solvers (for fun) and network orchestration (for profit). previously: @FATAglasgow, @AristaNetworks
KULI @QULIbot
374 Followers 4K Following Cybersecurity | Blogger | Entrepreneur | passionate about technology, venture capitalism, great memes. Always learning 📚 • he/him #infosec
Junda Chen @Junda_Chen_
334 Followers 254 Following CS PhD Student @ucsd_cse. MS and Ugrad @WisconsinCS, ex-TechLead @datachatAI . Anime, Photography.
Xujie Si @XujieSi
209 Followers 296 Following Assistant Professor @UofTCompSci @VectorInst @Mila_Quebec. Programming Languages, Formal Methods, Artificial Intelligence, Deep Learning. | he/him
Vasileios Kemerlis @vkemerlis
1K Followers 822 Following Professor @BrownUniversity. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸
get bent @jazzmodal79
280 Followers 1K Following Software, literature, free jazz, cycling. Pretending to be a runner.
Aditi Partap @AditiPartap97
390 Followers 432 Following CS Ph.D. Student @Stanford Applied Cryptography Group | M.S. from @Illinois_Alma | Undergrad from @iitdelhi
Navaneeth M Nambiar @navaneethmn
133 Followers 329 Following Millenial stuck in Nostalgia | Stay Curious
Jocelyn Qiaochu Chen @jocelynqchen
662 Followers 331 Following PhD @UTCompSci. Faculty Fellow @NYU_Courant (2024-2025). Incoming Faculty @UAlberta (as soon as I get the work permit). I do research on program synthesis.
yinlee @yinlee_cn
2 Followers 57 Following
SMARTINEZ @salvamartinezp
19 Followers 187 Following Enseignant-Chercheur. MDE / Software engineering / Security
Teng Jiang @TengSJiang
158 Followers 463 Following CS@Columbia. OS | Systems in general. Wannabe chill guy but busy-spinning. Trying to focus but preempted too often. Meant to be nice but sass write protected.
aditya @OxfordMaths
721 Followers 2K Following engineering manager, making and teaching code analysis and security technology @GitHub/@Semmle. he/him. indian. smiley. views my own.
Yuxuan Jiang @_MattJiang_
821 Followers 1K Following CSE PhDing @UMich | Life & Computer Systems Enthusiast | @ZJU_China @UofIllinois @MSFTResearch
Riya Bisht @b1shtream
558 Followers 3K Following neuromorphic computing research @CeNSEatIISc, all things deep-tech, prev @Vicharak_In @CERN @BerkeleyLab, temporarily inactive(reach out via [email protected])
Linghao Zhang @starryzhangcs
49 Followers 438 Following Staff @XiaomiMiMo. I build something verifiable and scalable for code. Ex @MSFTResearch
🌱 Nivedita Arora �... @NivArora
1K Followers 552 Following Breed Asst Prof ECE & CS@NorthwesternEng • Director @VAKLabNU Building #Sustainable Computational Materials & Things #WomenInSTEM • Prev: @ICatGT • 🇺🇸 🇮🇳
Giulia Guidi @giuliaguidi
2K Followers 591 Following @CornellCIS Assistant Professor | @LBNLcs Affiliate Faculty | @UCBerkeley PhD | Distributed & Parallel Computing (HPC) | Dogs, Skis, Pottery | she/her
Ramneet Singh @Ramneet_Singhh
848 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Andrew K. Hirsch @andrewkhirsch
575 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
ふじむらさき @fuji_lavender
59 Followers 608 Following he/him - @[email protected]. This account is no longer in active use. // 可愛いものなら全部好き.
Adam Waters @adamwaters
767 Followers 4K Following Co-founder @Cloudscaling. Busy building more AI infrastructure than you can shake a stick at. Mentor Stanford Hacking for Defense. 🇺🇸 Let's go!
Morbidus Mahalingam @100n3
97 Followers 878 Following
Grigore Rosu | π² @RosuGrigore
19K Followers 668 Following Founder & CEO @Pi_Squared_Pi2, building Web3 infra beyond blockchain | Founder @rv_inc | Professor @cse_uiuc | Creator of K Framework | Previously @NASA.
stelimx @stelimx
5 Followers 127 Following Software Engineer trying to understand social media. I also play ctfs with dothidden
Ferhat Erata 🦀 @ferhaterata
510 Followers 2K Following PhD Candidate @Yale • Automated Reasoning • Reinforcement Learning • Alignment • Security • Applied Scientist @AmazonScience @AWSCloud • Views my own
ddd7 @jqdeng7
1 Followers 268 Following
Tim Carstens Ⓥ✨ i... @intoverflow
2K Followers 2K Following Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Retired Eng @ RISC Zero 🤫🥸
Josef Widder @josef_widder
161 Followers 408 Following Computer Science. Socialism. Director of protocol engineering at Informal Systems. Vorsitzender BSA Wien 11 & Friends.
joomy @joomy
2K Followers 957 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Ruijie Fang @ruijiefang
38 Followers 447 Following To Mastodon: @[email protected] and back. X-denialist and Twitter-luddite. Tweets locked to avoid bots.
Aalok Thakkar (he/him... @AalokDThakkar
748 Followers 1K Following Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.
Fabio Mogavero, Ph.D.... @fabiomog
130 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
Shreesha G Bhat @shreesha00
110 Followers 332 Following phd student at @IllinoisCS | research intern @MSFTResearch | cse '23 graduate from @iitmadras
Rynb @Ryan21291079
13 Followers 1K Following
Uttamdev Bhutia @UttamdevB59315
48 Followers 2K Following Research Scholar, https://t.co/Op3PZia0NH, MBA
Carlstedt @carlstedtz
152 Followers 1K Following Kamikazetrader crypto.eth.carlstedt I like to learn, I will know it all.
James mason @jamesmasonz
4 Followers 55 Following
IEEE @IEEEorg
343K Followers 2K Following IEEE is the world’s largest technical professional organization and is a public charity dedicated to advancing technology for humanity. https://t.co/4lZf7Fh9xh
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsementTrends for United States
You might like
