Anastasia Isychev @izycheva
postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) Vienna, Austria Joined November 2020-
Tweets358
-
Followers355
-
Following107
-
Likes2K
Come visit Vienna in September! There’s going to be an exciting program 👇
Come visit Vienna in September! There’s going to be an exciting program 👇
My academic geography in one photo: watching a game between Saarbrücken and Kaiserslautern (hello to MPI-SWS), drinking beer from Munich (TUM) while sitting on my couch in Vienna (TU Wien) 😁
Made my way back to Saarbrücken to attend @DebasmitaLohar’s PhD defense (which was a surprise for her hehe), and deliver her well-deserved graduation hat. Congratulations, Dr.Lohar! 🥳
📢 Call for student volunteers @ ISSTA/ECOOP 2024 You are a student and eager to meet new people, help the community and attend ISSTA/ECOOP for free? Join our team of volunteers! 🗓️ Apply by: May 15 🔗 Fill this form: tinyurl.com/issta24-volunt… More info: tinyurl.com/issta24-volunt…
Is it me or does the word “alright” have the air of despair? Every time someone answers “alight” to my suggestion I imagine them rolling their eyes and sighing loudly before accepting their fate😅
Open PhD position: CIM (Centre for Interdisciplinary Mathematics) has open PhD positions; I will be a co-advisor on project #8 (mixed-precision in HPC: math.uu.se/research/centr…). Application deadline is 22 March 2024!
Please retweet :) Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland The Programming Group: programming-group.com Application page: tinyurl.com/2s497wsy The position will be filled as soon as a suitable candidate is found.
I was skeptical at first when I heard that women are asked to be on a PC more often than men. But now that I received invitations to join 3 different PCs in a span of 2 weeks it sounds believable 😅
oh the struggles of reading a good book! you want to finish because you want to know how the story unfolds, but you also don’t want to finish because then the book would be over
🎆 What a night! At #SciBall24 💃, we presented guests with our logic riddle “Climate Journey” 💚. Special thanks to all volunteers at the VCLA stand, Anastasia @izycheva, Michele @Colle_NM, and Tommaso @MannelliMazzoli, and to puzzle author Anouk Michelle Oudshoorn! @SciBall
Please share! We will hold the "Fuzzing Summer School 2024" at @NUSComputing in Singapore! We are excited to feature speakers such as @infernosec, @mboehme_, @gannimo, @thuanpv_, and @AndreasZeller. Apply by 16 Feb 2024. fuzzing.comp.nus.edu.sg CC @mathur_umang @AbhikRoychoudh1
What a fun week, was happy to see so many good talks and familiar faces 😊 Leaving POPL inspired!
Let’s normalize the fact that women can go to conferences with or without their children, promote facilities for childcare at conferences, and respect those who decide to do things in their own way!
13 of us (including myself, @ilyasergey and some great other people) are standing for the @sigplan Member-at-Large this year. Please vote in a few months when the electronic voting starts and please RT! acm.org/elections/sigs…
Self-nomination for AEC for ISSTA'24 is open! Prior experience in reviewing artifacts is welcome, but not a strict requirement.
Self-nomination for AEC for ISSTA'24 is open! Prior experience in reviewing artifacts is welcome, but not a strict requirement.
🗓️The first round of submissions is closed and it's breaking all records! We have received 471 papers, which is 3x as much as last year in the first round and 1.3x of the total submissions for ISSTA'23 👏🎉 Happy to see the growing interest in ISSTA!
🚨Deadline alert 🚨 The first submission round for technical papers closes in less than 24 hours! Wishing you good spirits for the final stretch. Make sure you click submit 😉
I have a to-do item on my (handwritten) list to "decorate for Christmas". Was really confused when I read it 3 times in a row as "doctorate for Christmas" :D
Want to receive independent feedback on your current and future PhD work? @julia_rubin1 and I are organizing the Doctoral Symposium at @ICSEconf in Portugal. Submit your proposals by November 22nd conf.researchr.org/track/icse-202…
Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושIlya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketNikolaj Bjorner @BjornerNikolaj
1K Followers 330 FollowingAlex Potanin @AlexP_DownUnder
805 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIPAlexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5Suguman Bansal @sugumanbansal
874 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSciTzu-Han👩🏻�.. @TzuHanH
2K Followers 1K Following CS PhD student of @TheBorzoo, intern at @MSFTResearch @AWScloud, also a pianist & violinist, formal verification, security, hyperproperties, and🎻🎹🎵🎬🌹🥑☕🥂Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.Cyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crewpaulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)Hanneli Tavante @hannelita
3K Followers 831 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Manuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Roberto Giacobazzi @rgiacobazzi
766 Followers 596 Following Professor in Computer Science: Theory of computation, computers, languages and their semanticsIan @IanDardik
67 Followers 139 Following Software Engineering PhD student at Carnegie Mellon University.Patrizio Pelliccione @pellicciTwit
490 Followers 437 Following Director of the Computer Science area and Full Professor in Software Engineering at Gran Sasso Science Institute (GSSI)Abhishek u @AbhishekuPhD
3 Followers 115 FollowingFilipe Mulonde 🇦�.. @filipe_mulonde
3K Followers 1K Following Crafting GPUs @arm, Ex Research Fellow @Swiss_FCS at @ETH_en, Computer Architecture and Bioinformatics @SAFARI_ETH_CMU. org @angolan_of. Aim high, be rigorousPhilippe Desjardins-P.. @LambdaPhDP
2K Followers 2K Following Exploring {Probabilistic Prog w/ Typed λ-Calculi; Self-Improving A.I.; Evolutionary Genetics} @poisotlab @umontreal. Ph.D. @USherbrooke. 🌎Rohit @RohitUM1986
460 Followers 3K Following Roboticist, PhD student in Active Perception Liberal, Opinions PersonalMohamed Moustafa 🇺.. @mohamedmustfaaa
1K Followers 3K Following Incoming PhD student @dartmouth 🇺🇸|Research Intern @GaTechCyber| GUC, GIU alumnus 🇩🇪🇪🇬 |Passionate about research and entrepreneurship|ماشية بستر الله.Huiri Tan @tanhuiri
10 Followers 191 Following SWE in RIOS Lab @Tsinghua_Uni with interest in Compiler/Program Analysis/ML/Systems. Currently working on Binary Translation and looking for Ph.D. position.Yaroslav Golubev @areyde
407 Followers 1K Following Research administrator and data analyst in the ML4SE lab @JetBrains. Love empirical SE, writing papers and poetry, philosophy, and the world.Zhonghan Wang @YogurtShadow272
5 Followers 134 Following Master Student in Institute of Software @UCAS1978, previously in @NKU1919. Building Algorithms and Tools for SMT and related formal methods areas.NSAD at SPLASH 2024 @NSAD_Workshop
5 Followers 15 Following The 10th International Workshop on Numerical and Symbolic Abstract Domains (NSAD), co-located with @splashconYouwei Zhong @Zhong_You_Wei
36 Followers 154 Following A normal undergraduate. | Shanghai Jiao Tong University | music/movie/book/musical | he/himEula @LeachFLORA345
33 Followers 3K FollowingSowmithK @SowmithK1999
40 Followers 113 Following Graduate Student at UAB CS working under Dr. Thomas Gilray in GitHub/harp-lab learning Static Analysis and Deductive Databases.Rommel Quintanilla @rommelqc
138 Followers 2K FollowingMatteo Maffei @matteo_maffei
1K Followers 401 Following Professor @SecPrivTUWien @tu_wien Co-director @CSecCenter and PI at @VISP_Vienna @vclaTUwien @SBA_Research. @ERCGrantees, @ERC_ResearchSamuel Gruetter @samuelgruetter
120 Followers 496 FollowingMatthew Parkinson @ParkyMatthew
580 Followers 554 Following Working at Microsoft Research on various programming language things.abearinmind @abearinmind
10 Followers 332 FollowingSilver&Goldboyz @silver_goldboyz
13 Followers 288 Following Timeless Elegance Hub 🕰 Silver-Gold Symphony ✨Anaamadheya @anaamadheyaha
81 Followers 561 Following Opinions are my own and not the views of my employer/anybody. Let us not mix Technology, Politics and Ideology.Andrew Smith @smith_andrew58
60 Followers 490 FollowingJuan Zhai @_Juan_Zhai
39 Followers 215 FollowingRuijie Meng @RuijieMeng
164 Followers 241 Following PhD candidate at @NUSComputing. Software Testing and Security.VCLA at TU Wien @vclaTUwien
2K Followers 887 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoOTommaso Mannelli Mazz.. @MannelliMazzoli
10 Followers 48 Following PhD student in Combinatorial Optimisation at TU Wien, Vienna, Austria.ax @AosenX
32 Followers 398 FollowingKimaya Bedarkar @KimayaBedarkar
178 Followers 535 Following PhD student @ MPI-SWS working in formal verification and real-time systems. Likes: stupid cats, pretentious cinema, shit postingKristof @kristofmeixner
72 Followers 77 FollowingTobias Nießen @tniessen_
547 Followers 652 Following PhD student @tu_wien, TSC member @nodejs, prev @Cloudflare @UNB @UniHannover, born at 362ppm, he/himmrragava @mrragava
153 Followers 3K FollowingChris Henson @_chenson__
638 Followers 3K Following CS PhD student @DrexelCCI. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.POPL 2024 @poplconf
3K Followers 297 Following ACM SIGPLAN Symposium on Principles of Programming Languages. London, England, 17-19 January 2024 (#POPL2024). Tweets by @afd_icl and @wicko3.Sharven Wong @SharvenW
173 Followers 341 Following Assistant Professor in Software Engineering. Once a visiting scholar at Southern University of Science and Technology (Shenzhen).suyjuris @suyjuris
6 Followers 55 Followingzcysky @zcyskyqaqqwq
117 Followers 244 Following Username in Academic: Chenyu Zhou/Software Engineering&Programming Language PhD Student @CSatUSC /Alumni @HuazhongUST /staff of https://t.co/dD6dxuGHs5 / 日本語勉強中Carter Cheng @CarterCheng13
146 Followers 2K FollowingPierce Darragh | pdar.. @pl_pierce
888 Followers 1K Following he/him. PhD student @umdcs, interested in programming language design. I have cute cats and bad opinions about food.Aastha Mehta @aasthakm
1K Followers 379 Following Assistant Professor, UBC CS, https://t.co/suCF39Q0n0 | Past associations @mpi_sws, NetApp, @bitspilaniindiaTasksWithCode @TasksWithCode
492 Followers 3K Following We spotlight ML researchers & practitioners. High (S) fact: ~50% code contributors to ML paper implementations are practitioners collaborating with researcherspedro cleis @pedrokleiz
88 Followers 2K FollowingGabriel Gegenhuber @GGegenhuber
204 Followers 1K Following #InfoSec enthusiast; PhD candidate @univienna; research @SBA_Research; opinions are my ownAlexandra Silva @alexandra8silva
2K Followers 853 Following Computer scientist, loves traveling and food tasting!Ryan Tjoa @ryantjoa
28 Followers 95 FollowingSabbir M. Saleh 🍉 @SabbirSaleh
353 Followers 1K Following PhD_Student @westernuCompSci @WesternU #Software_Engineering #DevOps #Cloud #Security ------ #Father_of_2 🙂Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושIlya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketNikolaj Bjorner @BjornerNikolaj
1K Followers 330 FollowingAlex Potanin @AlexP_DownUnder
805 Followers 300 Following Associate Professor, School of Computing, Australian National University. Review Committee Chair for OOPSLA 2024. Always looking for PhD students in PL and SE!Suguman Bansal @sugumanbansal
874 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompScipaulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)✨ Jean Yang ✨ @jeanqasaur
25K Followers 4K Following New Product @getpostman. Founded @akitasoftware. Programming, APIs, and developer experience. Former programming languages professor @CSDatCMU.Nate Foster (@natefos.. @natefoster
5K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.Static Analysis Sympo.. @symposiumSAS
273 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024Manuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Roberto Giacobazzi @rgiacobazzi
766 Followers 596 Following Professor in Computer Science: Theory of computation, computers, languages and their semanticsAzalea Raad @AzaleaRaad
1K Followers 286 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.Lingming Zhang @LingmingZhang
1K Followers 312 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4CodeType Theory Forall @ttforall
3K Followers 175 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHMivangavran @ivan00gavran
17 Followers 132 FollowingMatteo Maffei @matteo_maffei
1K Followers 401 Following Professor @SecPrivTUWien @tu_wien Co-director @CSecCenter and PI at @VISP_Vienna @vclaTUwien @SBA_Research. @ERCGrantees, @ERC_ResearchGuido Salvaneschi @guidosalva
751 Followers 456 Following Associate Professor, University of St.Gallen - Technical University of Darmstadt - #PL4DS - Programming languages & Software Engineering.Arthur Correnson @CorrensonArthur
36 Followers 46 Following PhD Student at CISPA. On a mission to verify program verifiers in Coq 🐓VCLA at TU Wien @vclaTUwien
2K Followers 887 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoOACM SIGSOFT @sigsoft
4K Followers 2K Following The ACM Special Interest Group on Software Engineering provides a forum to discuss principles, practices, and new research results in software engineering.Tobias Nießen @tniessen_
547 Followers 652 Following PhD student @tu_wien, TSC member @nodejs, prev @Cloudflare @UNB @UniHannover, born at 362ppm, he/himHasan F. Enişer @hfeniser
103 Followers 278 Following PhD Student @mpi_sws_ AI Safety, Program Analysis, LLM4CodeRyan Tjoa @ryantjoa
28 Followers 95 FollowingGreta Dolcetti @greta_dolcetti
23 Followers 104 FollowingTU Wien @tu_wien
11K Followers 221 Following Mit rund 26.000 Studierenden ist die TU Wien Österreichs führende Bildungsinstitution auf den Gebieten Naturwissenschaft und Technik.Jürgen Cito @citostyle
2K Followers 1K Following CS Professor @tu_wien, previously @Meta, @MIT_CSAIL @UZH_ch, research on explainability, probabilistic programming, and programming methodologyAlex Kavvos @lambdabetaeta
625 Followers 619 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUniIsa @ailpaca
71 Followers 75 Followingkangheep @kanghee_p
19 Followers 15 FollowingNumair Mansur @Numair_Mansur
460 Followers 961 Following Applied scientist at @AWS | Interests: AI, Automated Reasoning, Formal Methods, Static Analysis, Software Eng., Testing, & Security | PhD in CS from @mpi_sws_ISSTA Conference @issta_conf
2K Followers 14 Following The 33rd edition of the ACM SIGSOFT International Symposium on Software Testing and AnalysisMichael Schwarz @93mSchwarz
83 Followers 261 Following PhD Student in Computer Science @TU_Muenchen working on Static Program Analysis. @TEDxTUM Alumni. Traveller. Fan of (almost) everything Science Fiction.Laura Titolo @laura_titolo
159 Followers 187 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸Artem Sevastopolsky @ASevastopolsky
506 Followers 584 Following PhD student @ TUM visual computing & articifial intelligence lab, working on digital humans, ex-{Samsung AI, Skoltech}Igor Konnov @konnov@f.. @k0nn0v
296 Followers 294 Following independent security and formal methods researcherMaria Christakis @mchri5taki5
583 Followers 350 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!Irene Zhang @schemeprincess
6K Followers 264 Following [email protected] on Mastodon. schemeprincess on Instagram.Nicolás Díaz Ferrey.. @nicolasediaz
269 Followers 547 Following Senior Researcher and Lecturer at @tuhamburg Ph.D 🎓 Computer Scientist 🖥 #privacy #usablesecurity #HCI #AI Argentinian based in Germany 🇦🇷🇩🇪Shaun Azzopardi @shaunazzopardi
43 Followers 148 Following Postdoc in Formal Methods at University of Gothenburg (/Chalmers)Chandrakana Nandi @ChandrakanaNaN
552 Followers 217 Following Director of US R&D, Certora Inc. Affiliate faculty, Allen School, UW, SeattleDirk Beyer @beyer_dirk
760 Followers 553 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)Eva Darulova @malyzajko
167 Followers 93 Following Assoc. prof. at Uppsala universitet. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]Caterina Urban @caterinaurban
387 Followers 288 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.Formal Methods Europe @FormalMtds
713 Followers 243 FollowingFormal Methods 2024 @FMsymp
602 Followers 256 Following The 26th International Symposium on Formal Methods. #FM2024ETAPS Conferences @ETAPSconf
324 Followers 58 Following ETAPS is the primary forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2025: May 3–8, Hamilton, CanadaSacha Ayoun @SachaAyoun
200 Followers 277 Following Core developer on the Gillian Platform Imperial College PhD student - OCaml enthusiast - CentraleSupelec AlumniFelix Stutz @Felix_Stutz_
99 Followers 79 Following PhD Student at MPI-SWS | https://t.co/NjIyuVvzCU | Former Research Intern at MIT | Working on Formal Methods for Distributed ComputingConsider applying for 3-year EPRSC #postdoc with me at the Univ of Birmingham on semantics-directed compiler construction (and #stringdiagrams!). Joint project with @haskellhutt . Opportunity for associated industrial placement if desired. (please rt) edzz.fa.em3.oraclecloud.com/hcmUI/Candidat…
@RanjitJhala @xwangsd @polikarn Here are my slides from the same event the year before that. pages.cs.wisc.edu/~loris/slides/…
@RanjitJhala If possible, talk to folks who have experience with the program/track and see some successful sample proposals! online resources available. NSF also organizes "info sessions" (e.g., for CAREER). @polikarn made this available cseweb.ucsd.edu/~npolikarpova/… really great materials
Thanks for the invitation❤️ I'm honored to deliver a keynote talk at @issta_conf 2024. Looking forward to meeting everyone in Vienna this September!
📢 We are delighted to announce invited speakers of #ISSTA24: 🟢 Lingming Zhang, University of Illinois Urbana-Champaign 🟢 Julia Rubin, University of British Columbia 🟢 René Just, University of Washington
DEADLINE EXTENSION! Are you a woman working in logic? Please join us on July 9, 2024 for a day of Women in Logic! Please submit an abstract of 1-2 pages by May 7, 2024 (AoE), via EasyChair. Co-located with LICS/ICALP/FSCD 2024 sites.google.com/view/wil24
Really looking forward to this! I'll be talking about running a research lab so I'd love to hear from people about what specific topics to cover. Please reply below with your ideas :)
New faculty (or faculty to be): Please consider registering for our new faculty mentoring workshop at PLDI. We'll have invited talks from @IsilDillig, @natefoster, @RanjitJhala, and Peter Müller, as well as multiple panel sessions and one-on-one mentoring. It's gonna be fun!
This year's PLDI will feature the first workshop on Red-Hot Topics in Faculty Mentoring (RTFM)! We want to provide a forum for full-time academics to comfortably share their experience in non-technical aspects related to faculty life. Find out more here: pldi24.sigplan.org/home/rtfm-2024
New faculty (or faculty to be): Please consider registering for our new faculty mentoring workshop at PLDI. We'll have invited talks from @IsilDillig, @natefoster, @RanjitJhala, and Peter Müller, as well as multiple panel sessions and one-on-one mentoring. It's gonna be fun!
This year's PLDI will feature the first workshop on Red-Hot Topics in Faculty Mentoring (RTFM)! We want to provide a forum for full-time academics to comfortably share their experience in non-technical aspects related to faculty life. Find out more here: pldi24.sigplan.org/home/rtfm-2024
@lorisdanto In the domain of static analysis!
English is a difficult language. It can be understood through tough thorough thought, though. :-)
@Numair_Mansur And thank you @AmazonScience! I am honored to have received this award and excited to do cool research with it!
Congratulations @mchri5taki5 🥳
The recipients, representing 51 universities in 15 countries, will have access to Amazon public datasets, AWS AI/ML services and tools, and more. Congrats to the 99 awardees! #AmazonResearchAwards amazon.science/research-award…
The recipients, representing 51 universities in 15 countries, will have access to Amazon public datasets, AWS AI/ML services and tools, and more. Congrats to the 99 awardees! #AmazonResearchAwards amazon.science/research-award…
The list of accepted papers is now on our website: pldi24.sigplan.org/track/pldi-202…
PLDI 2024 Registration is open! pldi24.sigplan.org/attending/regi… Hotel & other information will be added soon.
Latex templates are like sourdough starter. You've been copy pasting a template from an old doc on your overleaf for years. You got it from a collaborator who got theirs from some other collaborator, and legends will say that an ancestral collaborator got it from Donald Knuth.
📌 Save the Date! #logicLounge 2024 will be held on May 28, 16:00 at Café Museum in #Vienna! Join us for this public discussion with computer scientist Georg Gottlob! @CompSciOxford @tu_wien #logic 🤫 Admission-free, no registration necessary. Details will be added shortly!
What a gran finale from @YuhaoZhang16 today. @awsTO and I couldn't be prouder. With offers from both industry and academia, Yuhao has decided to pursue the industry path. I'll let him announce in the coming weeks where he's going, but there's no doubt he'll do great.
Just a reminder that if you make a copy paste error when sending your PhD offer to a student and put the wrong name, you'll be reminded at their defense five years later 😂😆
Just a reminder that if you make a copy paste error when sending your PhD offer to a student and put the wrong name, you'll be reminded at their defense five years later 😂😆