Search for 'all'
results
Dimi Racordon
HES-SO Valais/Wallis
… , and actively maintain a handful of open source software libraries. Most (if not all) of my …
Işıl Dillig
University of Texas at Austin
… all her degrees (BS, MS, and PhD) from Stanford University. …
Samuel Coward
University College London (UCL)
… Hi, I’m currently an 1851 Research Fellow in the Programming Principles and Logic group at UCL Computer Science. My supervisor is Professor Alexandra Silva. My research looks at all aspects of numerical hardware design and how we can …
Informal Workshop Dinner (at SALT)
PROPL 2026 When: Mon 15 Jun 2026 19:00 - 21:00
… We will have an informal workshop dinner at SALT, located at 1047 Pearl Street, at 7pm. All are welcome, pay your own way. …
How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler
SOAP When: Tue 16 Jun 2026 09:10 - 10:10 People: Yannis Smaragdakis
… decompilation can really be a "what will the program do for all inputs …
Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
PAgE 2026 When: Mon 15 Jun 2026 11:20 - 11:40 People: Martin C. Rinard
… This paper presents the use of testing, credible compilation/translation validation, verification, and audits in the Axon compiler. Axon comes with fully machine checked proofs that guarantee the correctness of the generated code. All code …
Exploring Locally Bounded Translation Validation
SOAP When: Tue 16 Jun 2026 10:40 - 11:00 People: Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte
… Bounded translation validation (TV) is a common method used to check for the equivalence of two programs by unrolling all loops according to a user-supplied global bound. Unfortunately, large unroll bounds with multiple loops can …
Visa Letter
… ACM takes care of visa support letters. Please refer all requests to supportletters@acm.org. Please allow up to 10 business days to receive a letter. All requests are handled in the order they are received.
See this website for more …
Sponsor PLDI
… company to shape the field as a trusted sponsor.
PLDI Sponsor Tiers
All …**. Platinum sponsors will receive:
- All the benefits of the Gold tier … prominently at all supported events
- Event sponsors will be specifically thanked …
Information for Presenters
… below.
Information for All Presenters … presenters and to the workshop chairs of all covered workshops.**
- Please …_, category.
- You now have access to all the required Presenter channels …
Programming Languages Mentoring Workshop 2026
… space for all to thrive and breathe. We are also committed to listening to your …-being of all members of the PL community. We condemn all kinds of harassment … on the website and during coffee breaks.
Gold: $5,000
All the above plus …
ARRAY 2026
… , supports view-based reshaping, manages sparsity, and–above all–lends itself … all aspects of array programming, such as languages, formal semantics, type … categories: full papers and extended abstracts. All submissions should …
PROPL 2026
… a large-scale “live computational commons” where all sorts of humans, working together … that are comprehensible and actionable in the real world
We will consider all … time throughout the day for all of the following:
- the user interface …
CP 2026 Homepage
… Choreographic Programming 2026 Welcome to the website of the Choreographic Programming 2026 conference. We are working hard to fill the website with all related information. Please check back soon! b37da7eb-dfe6-476a-8e86-efb2fb78a371 …
ISMM 2026 Homepage
… ISMM 2026 Welcome to the website of the ISMM 2026 conference. We are working hard to fill the website with all related information. Please check back soon! 885dd9b2-0e1f-497b-9eb9-36455f19b14e …
PROPL 2026 Homepage
… PROPL 2026 Welcome to the website of the PROPL 2026 conference. We are working hard to fill the website with all related information. Please check back soon! 67b0c83f-1d4b-408b-a481-8cf31d422fac …