-
Looking for semantics and verification postdocs (and research engineers) to make real systems less terrible: http://www.jobs.cam.ac.uk/job/24501/ . Find me at
#POPL2020 if you're there, or email. -
My students and I will present a hands-on tutorial "Building Program Reasoning Tools using LLVM and Z3" at
#POPL2020 on Monday Jan 20 during 9-12:30. All are welcome! Details at http://rightingcode.org/tutorials/popl20/index.html … -
Tune in to Martin's
#POPL2020 keynote talk "Can Programming Languages Research impact Deep Learning 2.0?" You can watch it live at https://ventotene.conf.meetecho.com/track2/ -
Whether or not you'll be joining us in New Orleans, you may find the
#POPL2020 Slack useful. https://join.slack.com/t/popl2020/shared_invite/enQtODg5NDc0OTQxMDQxLTI1MWRlNGNjNmQ4YjJmYWQ2NmJiM2I0ODRkYWZmZmMxZjI2YTQ4NzhlMGVlY2IyMzEyOTM0M2MwMWMxMmU4NzU … -
.
@SumitGulwani has received two most influential paper awards for his work on program synthesis that he started at Microsoft 10 years ago. Congrats to Sumit & his collaborators!#POPL2020#ICSE2020 POPL 2010 paper: https://aka.ms/AA766nw ICSE 2010 paper: https://aka.ms/AA76e4k pic.twitter.com/UMayroUgRO
-
-
Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of
@poplconf in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online https://www.youtube.com/playlist?list=PLyrlk8Xaylp4-Ed1b4Vk57Fzx0aa95-Ag …#POPL2020 -
Did you present at
#POPL2020 or an affiliated event? Nice!
Please share your slides through the https://conf.researchr.org/ interface!Prikaži ovu nit -
Dinner and
#jazz with current and former students.#POPL2020 was fun in#NewOrleans!pic.twitter.com/0ntrKm9zNj
-
How to mix static and dynamic
#programanalysis in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at#POPL2020 Workshop on Gradual Typing#wgt. Read the paper! http://www.cs.cmu.edu/~aldrich/papers/wgt20-gradual-analysis.pdf … -
#Verification can transform#softwaredevelopment, but we need ways to do it incrementally.@wise_jenna gave awesome talk on our "Gradual Verification for Recursive Heap Data Structures" today at#POPL2020 Workshop on Gradual Typing#wgt. Read the paper! http://www.cs.cmu.edu/~aldrich/papers/wgt20-gradual-verification.pdf … -
-
-
End of
#POPL2020:what a great week! Highlights include tutorial and Ally Skills workshop w/ the amazing@natefoster, fantastic talk by my student TKappe, dinners with@HerrDreyer, launch of SIGPLAN CARES, mentoring breakfasts, and many interactions w/ new people & old friends!Prikaži ovu nit -
David Pichardie is proving that constantTime(prog) ==> constantTime(compile(prog)) at
#POPL2020 pic.twitter.com/TgFp5FkPf7
-
.
@LambdaLinguist: yall look like punks skipping class#POPL2020 pic.twitter.com/2QYrQCxxB8
-
Stop by our table at
#POPL2020 this week to learn more about our research and open positions at Microsoft. You can find all our sessions and explore a list of our open source tools here: https://aka.ms/AA71ccn pic.twitter.com/RdA9QRbZ88
-
#POPL2020 has begun! If you aren't here with us in New Orleans, you can follow along online. https://popl20.sigplan.org/attending/Online+Participation … -
Thanks to all who attended and contributed thoughts and conversation to HASE 2020 and made it a great workshop! Now on to
#popl2020 pic.twitter.com/pGSpmli8uY
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.