Jason @JSON_Pap
Joined July 2011-
Tweets261
-
Followers59
-
Following276
-
Likes348
I am hiring PhD students for my group at RUB. If you have strong implementation skills and are eager to work on problems in automated software testing and program repair, I would be happy to chat at @issta_conf in Vienna or simply email me. RT appreciated! yannicnoller.github.io/positions/
We are looking to recruit 1 PhD student to join our Fuzz testing research program funded by Cybersecurity Agency (CSA) Singapore. Interested candidates can apply through NUS by June 15. Learn more about the team: nus-tss.github.io Contact me by email for any queries ...
I am recruiting PhD students to join my group and the @ubc_spl. If you are interested in research in automated testing & program analysis & the like, apply to @UBC_CS by dec 15 here: cs.ubc.ca/students/grad/…
Very excited to join @sutdsg as Assistant Professor at the end of August to continue my research in shaping future software development with automated software testing and repair. Also, I am looking to recruit PhD students! Reach me via yannicnoller.github.io. RT appreciated!
I'm #hiring two PhD students: if you know outstanding MSc students/graduates potentially interested in working with me on robustness and security testing of AI based systems, feel free to circulate this call: inf.usi.ch/faculty/tonell…
I am looking to recruit two PhD students to work on compiler / verifier / mutation testing! Studentships fully funded for "home" students (British citizens or others eligible for "home" fees). Please spread the word! Details here: doc.ic.ac.uk/~afd/PhDAdvert…
Big news, KLEE 3.0 is released! KLEE now has a purposely-designed deterministic memory allocator, improved detection of use-after-free errors, ability to handle UBSan checks, support for concrete inline assembly, better statistics, compatibility with newer LLVM versions & more!
If you are willing to put your fuzzer to the test, SBFT'23 will host a 🚨FUZZING COMPETITION🚨 If you would like to know how to participate, look at the instructions: sbft23.github.io/tools/fuzzing #ICSE2023 #ICSE23 #SBFT2023 #SBFT23 #Fuzzing #FuzzTesting
After a two-year break (I know it was long), the JPF workshop is back and will be co-located with @ASE_conf’2022 in Ann Arbor, Michigan, USA. Check out our Call for Submissions :-) github.com/javapathfinder…
Interested in program verification, synthesis, and distributed systems? Want to do a PhD at a top-ranked department, in one of the most vibrant and safe cities in the world? Apply to join VERSE lab at @NUSComputing and get in touch! Details here: verse-lab.github.io
Wanna see something cool? 😎 Go to "vscode.dev" and start coding with Visual Studio Code entirely in your browser. Anywhere, anytime, on any device and tablet, with no install required 🧑💻🪄 Read the announcement 👉 aka.ms/vscode-dev-blog
Programming languages ranked by how much electricity they use: bit.ly/ProgEnergy (v/@DavidCasselTNS @thenewstack)
Posted "Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts", to appear at OOPSLA'21 @splashcon . yanniss.github.io/symvalic-oopsl… It's the analysis technology behind six major security vulnerabilities found and disclosed by @dedaub in 2021.
Open to everyone! The first-ever 2021 Microsoft Research Summit, Oct 19 - 21, with over 150 sessions across 16 tracks, provides the global research community with an opportunity learn from experts pushing the frontiers of technology. Register now: aka.ms/microsoftresea…
Starting a new research group that explores the Foundations of #Software #Security at the Max Planck Institute for Security & Privacy. Looking for PhDs and Postdocs. DMs open. Please Retweet 👍 Photo of this morning's @ruhrunibochum campus where the MPI-SP is located.
Soon (at 13.20) I will present our Hot of The Press Paper at GECCO 2021 @GeccoConf ! Join us! @guneli_j @mauropezze @paolo_tonella
1/ There will be no update today. At 8:30 am this morning, state police came into my house and took all my hardware and tech. They were serving a warrant on my computer after DOH filed a complaint. They pointed a gun in my face. They pointed guns at my kids..
@RightWingWatch well sorry @Eminem for that. But that's the first instrumental track i thought about.
Linux is free, if you don’t value your time
94 year old man who has probably done more than anyone else in the country to raise awareness about endangered species – "I agree with your cause, but be careful not to break the law" Activists – "Let's harass this fucker" thetimes.co.uk/article/extinc…
Jenifer @Jenifer1081998
368 Followers 4K Following 😎 I hunt AliExpress deals so you don’t have to. Follow for fresh coupons daily.
marry Mathew 💕💃... @MarryMathw23286
39 Followers 555 Following My favorite food is a balanced diet with cabbage, salads, fried rice, pasta and burgers, small Italian and non-alcoholic drinks or fruit drinks. I do not sm😘
Fredrick Fluty @boxjudge
8K Followers 9K Following Vietnam 101st Airborne. MAGA. Tournament Golfer. Florida State Seminole Grad. FBHOF Pro boxing judge. Climate change is BS. I follow back all veterans. NO DMS
Mapache Salvage @ExMachinaParlor
2K Followers 2K Following
Victoria @v_sheridan89
253 Followers 3K Following
Cynthia @cynthiatreat11
332 Followers 3K Following
Natasha @natasha99boswel
278 Followers 3K Following
Kohinoor Darda (she/h... @kohinoordarda
959 Followers 1K Following Founder-Director @arisaindia | Cog neuroscientist interested in how the human brain and mind perceive art & each other | 🧠💃🏿🤿🥾🏃🏾♀️🏳️🌈
SBFT 2025 @sbftworkshop
570 Followers 635 Following The 18th Search-Based and Fuzz Testing Workshop is co-located with @ICSEconf 2025. @sbftworkshop
Panos Andriotis @PanosAndriotis
376 Followers 562 Following Security & Digital Forensics. Running and travelling. I am a proud Greek, I live in the U.K. (often visiting Dubai) and I am a Japanophile.
Socket @SocketSecurity
5K Followers 5K Following Socket is the #1 software supply chain security platform. Next-gen SCA + SBOM + 0-day prevention. LOVED BY DEVELOPERS. 👀 @npm_malware
Samuel Teuber @teuber_dev
101 Followers 381 Following Doctoral Researcher @KITinformatik (@KITKarlsruhe) | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Gunel Jahangirova @guneli_j
390 Followers 313 Following Lecturer (Assistant Professor) at King's College London @kclinformatics | Former PostDoc at @USI_INF | PhD in Software Systems Engineering @FBKcom @uclcs
Yixue Zhao, PhD @yixue_zhao
899 Followers 305 Following Professional dreamer 🪄 & writer ✍️ & thinker 🤯 independent researcher on #AI4Health 💚 | Happy meditator & Meditation teacher 🧘♀️🪷💫 | PhD @CSatUSC 👩💻
Yannic Noller (@yanni... @yannicnoller
556 Followers 651 Following CS Professor at @ruhrunibochum See you on BlueSky: https://t.co/HEXCP9tkuT
Stephen Cantarutti @StephenCantaru1
60 Followers 175 Following
Ariadne Koutsaftis @ArianeUndomiel
11 Followers 34 Following I’m a filmmaker, writer, actress and YouTuber that lives in London. Recently I was nominated for my second feature documentary for a Hellenic Academy Award.
ASE Conference @ASEconf2019
934 Followers 905 Following 34th IEEE/ACM International Conference on Automated Software Engineering
gf0ur @gf0ur
118 Followers 279 Following Compilers, dataflow, Haskell, program analysis/optimization.
ASE 2018 @ASEConf2018
217 Followers 129 Following 33rd IEEE/ACM International Conference on Automated Software Engineering
Theatina K. @doYouEvenExist_
422 Followers 2K Following B. Sc. in Informatics and Telecommunications | M. Sc. in Language Technology | Classical Piano | Monody
Carlos Gavidia-Calder... @Cptan_Alatriste
650 Followers 4K Following Made in @Peru. Systems engineer by training, software developer by trade. Research Software Engineer at @turinginst.
Candice Killigrew @CandiceKilligr1
156 Followers 1K Following Yo! Stay getting money blessed no stress keep on shittin
Gianluca Stringhini @gianluca_string
4K Followers 911 Following Associate Professor at BU. Researching malware, cybercrime, cybersafety, disinformation. Come for the memes, stay for the science
Tom Sigler @weekend__hiker
41 Followers 62 Following Hiking, sharing routes & tips 🇬🇧 Local hikes in Wiltshire for now 👣 OS #GetOutside 2020 champ
Giannis Ste @GiannisBin
8 Followers 75 Following MSc InfoSec student@UCL, professional cat wrangler.
UCL InfoSec @uclisec
2K Followers 112 Following Twitter Page of UCL's Information Security Research Group & the Academic Centre of Excellence in Cybersecurity Research
Théo Koutsaftis @thkoutsaft
191 Followers 413 Following Filmmaker, graphic design freak and non-breaking space tyrant. Audiovisual attaché at @IFAgr and board member at @greekfilmcentre
Jason Pap @JasonPap_dev
194 Followers 225 Following I am a CS student and a freelancer windows phone developer.
George Melios @MeliosGeorge
16 Followers 122 Following Get prepared, there is a life waiting for you!
eva bevans @BevansEva
0 Followers 43 Following
PDN CASE @PDNCASE
54 Followers 1K Following Welcome to the official PDN CASE Twitter account. We have the most quality and fashionable cases for your devices. Follow @PDNCASE and Tweet us to say Hello!
Nokia @nokia
2.0M Followers 138K Following At Nokia, we create technology that helps the world act together. For phones, visit @HMDdevices.
Imagine EU 2030 @ImagineEU2030
396 Followers 2K Following Fellows of SEE and EU - Leadership Development Programme are proudly announcing the call for essay submissions Imagine EU 2030.
Yannis Chronis @johnchronis
79 Followers 212 Following
Vasiliki Meletaki @V_Meletaki
543 Followers 947 Following Postdoc @PCfN__ @ChatLab | Previously @CNRU_City, @CNRS @univamu | neuroaesthetics, emotion, dance, bodily self, interoception 🩰🧠🫀| she/her
Vagos Nikolopoulos @Vagosail
7 Followers 37 Following
🅾🅻🅸🆅🅸�... @Olivia_33125
47 Followers 2K Following I love meeting new people. Follow me,I´ll send you all the pictures you want. 🍓😚🍓
FunDay @FunDayGr
698 Followers 635 Following social media, showbiz, fun, news, events https://t.co/4WrQEkPTtu
D.I.T. Radio @dit_radio
212 Followers 696 Following Νο.1 Φοιτητικός ραδιοφωνικός σταθμός | No.1 Student Greek Webradio! | music bytes for all!
Konstantinos Sokolaki... @ksokos
825 Followers 577 Following CEO & Founder @SokosNet IT & Network Company 💻 ℂ𝕪𝕓𝕖𝕣 𝕊𝕖𝕔𝕦𝕣𝕚𝕥𝕪 𝕊𝕡𝕖𝕔𝕚𝕒𝕝𝕚𝕤𝕥 🇪🇺🇬🇷 Licensed EU & Verified UAS GR Drone Operator
Feel Your Heartbeat @FYH_the_film
197 Followers 662 Following The first documentary for House music in Greece
Mooly Sagiv @ Token @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Carlos 🐨 @stergey
15K Followers 976 Following I like koalas. WoW Player ⚔️ business email: [email protected] | https://t.co/b6W2FJ6K59 Fueled by @advancedgg THE MOVE! Former Golden Guardians
Mitch Jones @MitchJonez
141K Followers 2K Following Over 40k monthly wager leaderboard & giveaways, code mitchjones: https://t.co/kWFZgB64NT + https://t.co/kXzEJoFBLP
Dreamwalker 🎃 @ima_dreamwalker
16K Followers 149 Following My quest is to craft art that soothes your mind and brings peace, guiding you away from the challenges of reality.
Tim Willis @itswillis
4K Followers 199 Following Long time listener, infrequent tweeter. Head of Project Zero @Google. Views are my own. Still reading: "Brown Bear, Brown Bear, What Do You See?"
joomy @joomy
2K Followers 955 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Cdew @cdew_wow
78K Followers 217 Following Twitch partner https://t.co/DSYvbMNQ3V, Business inquiries [email protected]
The Bench Podcast @TheBenchWOW
1K Followers 7 Following World of Warcraft Podcast hosted by @YumyTV, @Tettles1, and @Squishei Powered by @Wowhead
Caleb Fenton @caleb_fenton
2K Followers 362 Following Co-founder, CTO @DelphosLabs -- follow for reverse engineering info and bitcoin memes.
The PoddyC @ThePoddyC
5K Followers 35 Following a primarily gaming podcast hosted by @Maximum, @Dorkiboar & @Dratnos
Jakbcastin @AutomaticJak
27K Followers 1K Following Content Creator | @Wowhead Writer | Esports Caster | Business: [email protected]
Quokka @Quokka_io
766 Followers 206 Following Quokka discovers and delivers actionable mobile security intelligence to enable proactive remediation of zero-day vulnerabilities.
Vijay Bolina @vijaybolina
4K Followers 6K Following I build and lead deeply technical teams solving some of the hardest problems in the world. Prev CISO @GoogleDeepMind, @Mandiant, @BoozAllen, USG. Tweets my own.
Daniel Moghimi @flowyroll
3K Followers 343 Following Senior Scientist @Google. Computer and Hardware Security. Tweets are mine and not my employer's. #downfall Previously: @UCSD @Qualcomm @WPI @TalosSecurity
Google DeepMind @GoogleDeepMind
1.2M Followers 279 Following We’re a team of scientists, engineers, ethicists and more, committed to solving intelligence, to advance science and benefit humanity.
Colimit @ColimitAI
86 Followers 10 Following Autofix Failed Builds: AI-powered Root Cause Analysis for CI.
ShmooCon @shmoocon
27K Followers 21 Following ShmooCon 2025 is Jan 10-12. This account is used primarily to push information. Got questions? Email us at info @ https://t.co/4QO2tJpuhL
OpenAI @OpenAI
4.4M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202
Mira Murati @miramurati
371K Followers 574 Following Now building @thinkymachines. Previously CTO @OpenAI
Brian Cox @ProfBrianCox
2.9M Followers 1K Following Professor of Particle Physics at The University of Manchester
Caroline Trippel @carolinetrippel
1K Followers 508 Following Assistant Professor, Stanford Computer Science
cts🌸 @gf_256
61K Followers 838 Following Co-founder and hacker @zellic_io & @pb_ctf | https://t.co/nlNai6iiMP | 24 Intern @egirl_capital slow to reply to DMs
Shingo Nakamura @_shingonakamura
10K Followers 2K Following Producer & DJ. Check link for upcoming shows 🎶 New album "Solace" out now 🌸 MGMT: [email protected] Bookings: [email protected]
#BSidesNYC @BSidesNYC
2K Followers 120 Following The official account for Security BSides New York City. October 18, 2025 @ John Jay College
Mapache Salvage @ExMachinaParlor
2K Followers 2K Following
Philly Sec @PhillySec
1K Followers 648 Following An informal meetup of information security professionals in Philadelphia. 2nd Wednesday, 6-9pm. Current Location: Check Feed. Tweets Brought to you by @DamionW
@[email protected]... @philly2600
945 Followers 279 Following We're a hacker meetup thing. We meet the first Friday of the month at Iffy Books @ 404 S 20th St at ~6PM. Friends and enemies welcome.
@[email protected].... @IffyBooks
1K Followers 565 Following A bookshop/workshop space focused on hacking, free culture, gardening, and zines | Open Wednesday–Sunday
BSidesPhilly @BSidesPhilly
2K Followers 802 Following We're thrilled to announce BSidesPhilly 2025, taking place at Live! Casino & Hotel Philadelphia on Friday, December 5, 2025, from 8:00 a.m. to 5:00 p.m
NYSEC @nysecsec
3K Followers 13 Following An informal meetup of information security professionals in New York. A drinking meetup with an information security problem. Every third Tuesday of the month.
THOTCON! @thotcon
10K Followers 132 Following Chicago's Hacking Conference - May 30th & 31st 2025 - Discord: https://t.co/2EUmMpHcJc - a 501(c)(3) nonprofit organization - Donate: https://t.co/gxZT07dbCU
SummerCon @SummerC0n
4K Followers 57 Following We're America's longest running security conference. Summercon 2025 is July 11-12. Tip your bartender.
Nick Sullivan @grittygrease
22K Followers 8K Following security/networking/cryptography research and development
Mandiant (part of Goo... @Mandiant
127K Followers 4K Following We’re determined to make organizations secure against cyber threats and confident in their readiness.
European Space Agency @esa
1.8M Followers 1K Following #50YearsOfESA: we're the European Space Agency, keeping you posted on European space activities. Please see our Privacy Notice: https://t.co/UkkEqaJOwd
The Pragmatic Enginee... @Pragmatic_Eng
39K Followers 3 Following Big Tech and startups, from the inside. The #1 technology newsletter on Substack. Sign up at https://t.co/MPNdQSVnwV. Podcast: https://t.co/nVOulBGYoh
Alexandria Ocasio-Cor... @AOC
12.7M Followers 4K Following US Congresswoman, NY-14. In a modern, moral, and wealthy society, no American should be too poor to live. People-Funded, takes no lobbyist💰. Personal account.
SBFT 2025 @sbftworkshop
570 Followers 635 Following The 18th Search-Based and Fuzz Testing Workshop is co-located with @ICSEconf 2025. @sbftworkshop
Amazon Science @AmazonScience
93K Followers 2K Following The latest news and research from Amazon's science community. #AmazonScience
Richard Johnson @richinseattle
18K Followers 3K Following Computer Security, Reverse Engineering, and Fuzzing; Training & Publications @ https://t.co/mloVP6rPB7; hacking the planet since 1995; Undercurrents BOFH
seL4 @seL4Foundation
655 Followers 5 Following seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...
The Triton library @qb_triton
2K Followers 1 Following A dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.Trends for United States
You might like
