-
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 … -
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 -
#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 … -
Alex Kavvos previewing his
#popl2020 work on reccurence extraction at the NTUA PL-seminar! pic.twitter.com/V20OqLXK3y
-
Please to share that my paper on kind inference to appear at
#POPL2020, written with Ningning Xie (https://xnning.github.io/ ) and@bcdsoliveira, received a Distinguished Paper award from@poplconf. https://richarde.dev/papers/2020/kind-inference/kind-inference.pdf …Prikaži ovu nit -
Wonderful trip to Florida with my dad! A few days at home, and then back down south for
#popl2020 pic.twitter.com/V7duXlkI5b
-
Delighted that our work on "Augmented Example-based Synthesis using Relational Perturbation Properties", with Shengwei An,
@rishabhs and Sasa Misailovic will appear in#popl2020! https://www.cs.purdue.edu/homes/roopsha/papers/sketchax_popl20.pdf …Prikaži ovu nit -
Submit to the
#POPL2020 Student Research Competition! Info @ https://popl20.sigplan.org/track/POPL-2020-Student-Research-Competition … Abstract deadline: 2019-11-15 -
What are your favorite paper space-saving hacks? Asking for a friend
#popl2020 -
-
.
@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
-
-
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 … -
Č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.