Search for 'all'
results
Pavel Panchekha
University of Utah
… programming language techniques to meet challenges from all areas of computer science. …
Shriram Krishnamurthi
Brown University
… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.
I believe tropical fruit are superior to all …
Talia Ringer
University of Illinois at Urbana-Champaign
… is a future of verification that is accessible to all programmers, not just to experts. I …
A logic for all reasons
TPSA 2026 When: Mon 12 Jan 2026 16:45 - 17:07 People: Flavio Ascari, Roberto Bruni, Lorenzo Gazzella, Roberta Gori
… …
One rig to control them all
PLanQC 2026 When: Mon 12 Jan 2026 11:45 - 12:05 People: Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
… …
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
POPL When: Fri 16 Jan 2026 10:30 - 10:55 People: Alexandre Moine, Sam Westrick, Joseph Tassarotti
… is safe across all orderings, it
suffices to show that one terminating execution … Angelic to verify such programs.
All results in this paper have been …
Lessons from Building an Auto-Active Verifier in Lean
Dafny 2026 When: Sun 11 Jan 2026 14:00 - 14:18 People: George Pîrlea, Vladimir Gladshtein, Qiyuan Zhao, Ilya Sergey
… as backend certificate checkers, Veil is a Lean library, with all its functionality …-programming facilities—like all powerful tools—can prove to be both a blessing and a curse, and it is not at all difficult to create an unmaintainable mess …
Code of Conduct
… :** Attendees must use their professional names and affiliations for registration and all … by the ACM Policy Against Discrimination and Harassment. We expect all … participation or opportunity for participation at the conference and all associated …
Registration
… find any train at the moment.~~ Tickets are out!
Pricing (all in Euros …
Supporting POPL
… , to attend both POPL and PLMW. All funds designated for PLMW mentoring …. POPL, which has brought researchers together from all over the world for several …” model, where all ACM publications are available freely from the Digital …
CPP 2026
… and theoretical topics in all areas that consider formal verification …) is an international conference on practical and theoretical topics in all … will welcome contributions from all members of the community. The CPP 2026 …
27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
… notification | November 6, 2025 |
All artifacts are evaluated … of smart contracts * analysis of neural networks * case studies on all … differently.
All accepted papers will be published in Springer’s Lecture Notes …
LAFI 2026
… The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to advance all aspects of languages … all aspects of languages for inference. Topics include but are not limited …
PLMW @ POPL 2026 Homepage
… PLMW@ POPL 2026 Welcome to the website of the PLMW@ POPL 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …
CPP 2026 Homepage
… CPP 2026 Welcome to the website of the CPP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …
VMCAI 2026 Homepage
… VMCAI 2026 Welcome to the website of the VMCAI 2026 conference. We are working hard to fill the website with all related information. Please check back soon! …