-
Tweets4
-
Followers78
-
Following493
-
Likes86
New Faculty Profile: Assistant Professor Bill Hallahan (@Bill_Hallahan) joined @BingCompSci in Fall 2022. He is actively looking for new PhD students to join his research group. We are still accepting PhD applications for Fall 2023 semester! @bing_watson
@TaliaRinger Hi! Im looking for PhD students interested in analysis/verification/synthesis of functional languages or networks. I’ve also recently begun working (with a collaborator from ML) on verification of ML models. billhallahan.github.io
We @BingCompSci are super excited to welcome five new Assistant Professors to our Department this year. From right to left: Yingxue Zhang (@YingxueZ), Adnan Rakin (@AdnanRakin), Jayson Boubin (@JaysonBoubin), Bill Hallahan and Zeyu Ding (@realZeyuDing). @bing_watson @binghamtonu
Leigh Briz @briz_leigh97757
81 Followers 5K Following
PDP-11/69 @LadyLandshark
218 Followers 1K Following Security researcher and music nerd. Known to occasionally speak in technobabble. https://t.co/XgICRUvXXw
Seshe @Seshe337207
0 Followers 74 Following
Scarlett-rose Pew @PewScarlet67102
68 Followers 5K Following
Greer Whitlingum @GreWhitling
50 Followers 5K Following
Adelaide Auber @adelaide41160
59 Followers 5K Following
Fatimah Laborn @laborn85723
59 Followers 5K Following
Flo Jennette @FloJennett53816
93 Followers 5K Following
Jannette Dejonge @JannetteD92607
57 Followers 5K Following
Tia Cutaia @cutaia_t
56 Followers 5K Following
Claretha Bergant @BergaClaret
75 Followers 5K Following
Georgia Pezzetti @GeorgiaPez25114
81 Followers 5K Following
Wava Cheeks @WavaC20699
81 Followers 5K Following
Marilyn Carlye @car_marily
47 Followers 5K Following
Aniela Connaughton @aniela_anie
80 Followers 5K Following
Aiza Samberg @aiza_sambe
18 Followers 3K Following
Gussie Speaker @GussSpea
30 Followers 5K Following
Cassey Gurnett @GurneCass
33 Followers 5K Following
Tess Bhan @TessBhan8505
27 Followers 5K Following
McLeshe @leshe_mc43875
145 Followers 3K Following
Shenyty @Shenyty144704
132 Followers 2K Following
Lena Harris @LenaHarris37899
116 Followers 3K Following
Fabrizio Montesi ⬣ .. @famontesi
656 Followers 529 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of Introduction to Choreographies | Maintainer @jolielang | Pres. @c_microservices | #ChoreographicProgramming #microservices
Mae Milano @mbpmilano
2K Followers 603 Following @PrincetonCS Assistant Professor. I build Programming Languages for Distributed Systems! @mpmilano.bsky.social
Matthew Cole 👨🏻.. @__colematt
576 Followers 821 Following Researcher in computer security and compilers. Posts in language-agnostic intermediate representation. The corgis control this account.
Pam Triest-Hallahan @PamTriest
1 Followers 19 Following
Caleb Stanford @calebstanford4
1K Followers 1K Following Assistant Professor at UC Davis. PL + Systems, Coffee, Productive Procrastination. https://t.co/Qqj5b0CPpb
Y. Cyrus Liu @cyruliu
94 Followers 592 Following Formal Methods & Program Analysis. CS Doctor from @FollowStevens. He/Him
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]
Ziteng Yang @_ziteng_yang
134 Followers 314 Following PhD Student @gatech_scs. Interested in PL + Logic: Program Logic & Verification (Coq), Concurrency & Parallelism, and their application in Compilers
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש
Watson College - Bing.. @bing_watson
726 Followers 320 Following Thomas J. Watson College of Engineering and Applied Science at Binghamton University. We build the future. Let us show you how.
Vanessa Venegas @KateSha15534872
473 Followers 5K Following Artist Artist & Art teacher American based award winning artist Available paintings DM
Weiyi Meng @WeiyiMeng
207 Followers 75 Following Professor and Chair, Department of Computer Science, Binghamton University #BingCompSci #binghamtonu
Dmitry Ponomarev @diponomarev
287 Followers 317 Following Professor of Computer Science at Binghamton University.
Patrick H. Madden @PatrickHMadden
627 Followers 607 Following Computer scientist, EDA&optimization, pizza maker, guitars. he/him/his https://t.co/ogtlvxnsLn https://t.co/GdaYJlfzax https://t.co/b1ycAiA2Tq
Jeremy Blackburn @jhblackb
2K Followers 399 Following Assoc. Prof. @BingCompSci. Co-author of 1st and 2nd peer-reviewed papers on rare pepes. @iDRAMALab. I mercilessly block blue checks; sorry in advance.
Adnan Siraj Rakin @AdnanRakin
34 Followers 34 Following Assistant Professor (CS) at Binghamton University (SUNY)
Binghamton University.. @BingCompSci
714 Followers 265 Following Educating the next generation of computer scientists. Performing cutting-edge research in many core and emerging areas of Computer Science.
Jayson Boubin @JaysonBoubin
43 Followers 47 Following CS Professor @binghamtonu, PhD from @OhioState, researching fully autonomous UAVs, edge computing, machine learning, and more.
Haniel Barbosa @hanielmbarbosa
457 Followers 485 Following Assistant professor of Computer Science at @dcc_ufmg @ufmg. SMT solving for fun and profit.
Sinno 🔸 Immersive .. @Sinnoware
2K Followers 821 Following A Nobody, A Blank Piece of Paper, An Immersive Sim Advocate || Followed by Arkane & WolfEye || Prey (2017) 🫧 Ctrl Alt Ego 🤖 || English 🇬🇧 中文 🇨🇳 日本語 🇯🇵
Supper Mario Broth @MarioBrothBlog
251K Followers 1 Following Additional obscure Mario content for https://t.co/dnoCmFYG8N. Now on Patreon: https://t.co/mgIlC7Z17t
DOT @alloneworddotie
1K Followers 3K Following Anonymous, on a witless protection programme. Also on BSky Social ☀️
Joe Cutler @alpha_convert
3K Followers 2K Following PL PhD student at @Penn CIS and @NSF GRFP fellow. Types, Verification, and Testing. @PhillyRunnerTC. Formerly @wesleyan_u (go Wes)
Patrick Leder @PatrickLeder
8K Followers 1K Following Patrick Leder - he/him Owner and CEO of Leder Games. Follow me here to hear my rants, nonsense, and discussions of design. Direct questions to @ledergames.
Justin Lubin @jplubin
765 Followers 637 Following PhD student researching PL+HCI applied to biology @Berkeley_EECS • previously undergrad @UChicago • math and music are cool, too! • he/him/his
Joe Abercrombie @LordGrimdark
110K Followers 356 Following Writer of the First Law and Shattered Sea books. Part-time Witch King of Nihilism.
128 MHz @128_mhz
28K Followers 768 Following @BrassBellow developer. Runs @TurnipLtd Come join the Brass Bellow discord channel: https://t.co/pgTiVo0Za5
Ctrl Alt Ego: The Sci.. @mindthunk
3K Followers 409 Following "Holds up against Prey" https://t.co/o5Fo0Dd21y Steam: https://t.co/WTfE4Pzm9V GOG: https://t.co/faJwUqQjTX Discord: https://t.co/Y2BsU4lfVI ✉ ctrlaltego @mindthunk .com
Escape from Ever Afte.. @SleepyCastleDev
12K Followers 103 Following It’s fairytales vs. capitalism in this quirky Paper Mario-inspired RPG! (formerly Flynt Buckler) WISHLIST: https://t.co/GFDqCwZe8H DISCORD: https://t.co/RN5j4aaole
derek guy @dieworkwear
849K Followers 963 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter
Mab - Working on ETOS @Mab_Devv
4K Followers 168 Following Upside down Architectural Engineer developing an imsim in his spare time
'(Robert Smith) @stylewarning
4K Followers 280 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
Mae Milano @mbpmilano
2K Followers 603 Following @PrincetonCS Assistant Professor. I build Programming Languages for Distributed Systems! @mpmilano.bsky.social
MMitchell @mmitchell_ai
80K Followers 1K Following Interdisciplinary researcher focused on shaping AI towards long-term positive goals. ML & Ethics. Same content in the Sky, Threads, & the Prehistoric Elephant
jason alexander @IJasonAlexander
724K Followers 321 Following Kindness, decency, humanity, empathy, curiosity and the desire to laugh just a little bit - let’s try for those and see if we make the world a little better
Brandon Sanderson @BrandSanderson
348K Followers 289 Following #1 NYT Bestselling Author. Stormlight Archive, Mistborn, Tress of the Emerald Sea, Warbreaker, Elantris, Skyward, The Wheel of Time, and more.
Leo Lampropoulos @LeoLambro
1K Followers 656 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Harry Goldstein @hgoldstein95
657 Followers 379 Following (he/him) PhD Candidate at Penn My work combines techniques from PL and HCI to solve software engineering problems. Currently focused on property-based testing
Halli @iamharaldur
286K Followers 82 Following Building 1500 wheelchair ramps in Iceland @rampur. Music @onnujonuson. Chairman @hafnarhaus. Proprietor @annajona. Previously founder/ceo @uenodotco
Sujoy Kumar Sikdar @sujoyks
51 Followers 130 Following Assistant Professor, Computer Science Department, Binghamton University
Tyler Sorensen @Tyler_UCSC
982 Followers 842 Following Assistant Professor at UC Santa Cruz in CS and Security Research Engineer at @trailofbits Interested in PL and architecture design for heterogeneous systems
Alex Horne @AlexHorne
375K Followers 1K Following Will tell you about things I do here: Taskmaster Universe, Horne Section nonsense, occasional other stuff.
Eddie Aftandilian @eaftandilian
847 Followers 326 Following Researcher @GitHubNext. Previously Java at Google. Views are my own.
Pipe Dream @bupipedream
5K Followers 129 Following Binghamton University’s independent and student newspaper.
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]
Sarah E. Chasins @sarahchasins
1K Followers 340 Following Assistant Professor at UC Berkeley @Berkeley_EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Bynine Studio @BynineB
16K Followers 175 Following hi, i'm bynine! (he/him) Cavern of Dreams, my N64-style 3d platformer, is out on Steam and Switch!
Playdate @playdate
70K Followers 4 Following A brand new handheld video game system from @panic. Now on sale. 💬 Need help? Go to https://t.co/eZJQXofEqw
Neil Gaiman @neilhimself
3.0M Followers 985 Following News about Neil Gaiman. Not posted by Neil. You can find him replying & posting in person at neil-gaiman on Tumblr, or @neilhimself.neilgaiman.com on Bluesky
Intel Intelligent Fab.. @intelfabric
2K Followers 227 Following P4-driven, high performance data center fabric with enhanced visibility & control. Switch to Intelligence with Intel Intelligent Fabric (prev Barefoot Networks)
Harvey G. Stenger @PrezHarvey
3K Followers 17 Following President of Binghamton University - The best public university in the northeast.
Jeremy Blackburn @jhblackb
2K Followers 399 Following Assoc. Prof. @BingCompSci. Co-author of 1st and 2nd peer-reviewed papers on rare pepes. @iDRAMALab. I mercilessly block blue checks; sorry in advance.
Patrick H. Madden @PatrickHMadden
627 Followers 607 Following Computer scientist, EDA&optimization, pizza maker, guitars. he/him/his https://t.co/ogtlvxnsLn https://t.co/GdaYJlfzax https://t.co/b1ycAiA2Tq
Dmitry Ponomarev @diponomarev
287 Followers 317 Following Professor of Computer Science at Binghamton University.
Weiyi Meng @WeiyiMeng
207 Followers 75 Following Professor and Chair, Department of Computer Science, Binghamton University #BingCompSci #binghamtonu
Watson College - Bing.. @bing_watson
726 Followers 320 Following Thomas J. Watson College of Engineering and Applied Science at Binghamton University. We build the future. Let us show you how.
Binghamton University @binghamtonu
36K Followers 640 Following Founded in 1946, Binghamton University is the premier public university in the Northeast. Social media posting policy at https://t.co/leNkhQmX1W.
Adnan Siraj Rakin @AdnanRakin
34 Followers 34 Following Assistant Professor (CS) at Binghamton University (SUNY)
Jayson Boubin @JaysonBoubin
43 Followers 47 Following CS Professor @binghamtonu, PhD from @OhioState, researching fully autonomous UAVs, edge computing, machine learning, and more.
Binghamton University.. @BingCompSci
714 Followers 265 Following Educating the next generation of computer scientists. Performing cutting-edge research in many core and emerging areas of Computer Science.What are some good examples of tech debt, or necessary ugliness, in the source code of GHC?
Our recent work on proving the unsatisfiability of SMT formulae in zero knowledge will appear in Usenix Security this year. eprint.iacr.org/2023/1762 I have a very personal feeling about this paper. Let me share my story. [1/5]
The google one is right and the LLM one is wrong…
Google is done. Compare the quality of these responses (ChatGPT)
A favorite load balancing technique at AWS is "the power of two random choices" On the left, nodes are chosen and used at random On the right, 2 nodes are chosen at random, but only the minimum is used This simple technique balances load very well
My CSI: Haskell paper finally got accepted to IFL! I should really write the GHC proposal ASAP.
"Why does everyone keep telling me to use c++?"
I’ve been begging my 9 year old to write out his Christmas wish list. He refuses. He finally admitted that he’s conducting an experiment to find out if Santa is real. He whispered his wish list aloud in an empty room becuase Santa, and no one else, could hear it. Send help.
I will be presenting our paper on stability guarantees for feature attributions at @NeurIPSConf on Tuesday (Dec 12) at 10:45 am CST! Poster: Great Hall & Hall B1+B2 (level 1) #1625 arXiv: arxiv.org/abs/2307.05902 blog post: debugml.github.io/multiplicative… (1/3)
After a long coming, and many months of work behind the scenes, I have finally made my functional programming lectures from this summer at CMU available for free online. I truly hope it helps people. brandonspark.github.io/150/
TIL that not only can you directly access the bytecode of a python function, you can also just... assign new bytecode to a function.
Don't take my word for it
watched a great end-to-end discussion of how to build a compiler to x86 for let+primitive integer arithmetic. Very cool ideas, I tried a nanopass-style course and it definitely had a serious issue of needing to get to the end to get the ideas. youtube.com/watch?v=43VA_Q…
Not even halfway through, but I paused to tell you: this video by @awesomekling in which he builds a JIT compiler is a gold mine. From explanations, to the code, to how he uses his tools, to how fast he uses his tools, … youtu.be/8mxubNQC5O8
Do you use statically-typed functional programming languages like #haskell, #ocaml, #elmlang, or #fsharp? Do you have ~opinions~ about code style? Then I’d love to hear from you! 😄 Please consider filling out my survey by Nov. 6: berkeley.qualtrics.com/jfe/form/SV_0G… RTs appreciated! 😊❤️
Every argument about undefined behavior in a nutshell
When you lay bricks like dominoes at the proper distance, on top of the obvious domino effect, you get an unexpected opposite wave starting as soon as the last bricks falls down [📷 Satisfrying]
@craigajohnson @joshbloch @jasonslenderman I have only so much time to document these, but here are a few beauts: x.com/search?q=%40sh…
@paul_snively @ShriramKMurthi Ironically, given David's refusal to be part of the language design committee, which was part of IFIP working group 2.8, I er.. actually first met David at an IFIP working group 2.8 meeting, when I attended one as a guest. He was delightful in person, and was a font of knowledge…
I've implemented two compilers and one type checker. Let's go for the third one. Besides the historical info and the illustrations, what I'm enjoying the most are the design notes. Usually, the compiler books are implementation books, and don't talk much about PL design.
Squally is an x86 assembly puzzle game in early access made by @zcanann. You complete quests and beat enemies by solving assembly puzzles. Support the project by picking up a copy: store.steampowered.com/app/770200/Squ…
Trends for United States
You might like
