Abstract is missing.
- Verse: An EDSL for Cryptographic PrimitivesAbhishek Dang, Piyush P. Kurur. [doi]
- Certified Compilation of Financial ContractsDanil Annenkov, Martin Elsman. [doi]
- Static Performance Guarantees for Programs with Runtime ChecksMaximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo. [doi]
- Combinatorics of Explicit SubstitutionsMaciej Bendkowski, Pierre Lescanne. [doi]
- Calculating DistributionsChung-chieh Shan. [doi]
- Nondeterministic Manifest ContractsYuki Nishida, Atsushi Igarashi. [doi]
- Schematic Polymorphism in the Abella Proof AssistantGopalan Nadathur, YuTing Wang. [doi]
- An Internalist Approach to Correct-by-Construction CompilersAlberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera. [doi]
- Sequential and Parallel Improvements in a Concurrent Functional Programming LanguageManfred Schmidt-Schauß, David Sabel, Nils Dallmeyer. [doi]
- Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended AbstractPablo Barenbaum, Eduardo Bonelli, Kareem Mohamed. [doi]
- JaVerT: JavaScript Verification and Testing Framework: Invited TalkPhilippa Gardner. [doi]
- Semantic Equivalence Checking for HHVM BytecodeNick Benton. [doi]
- Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System DescriptionFalco Nogatz, Jona Kalkus, Dietmar Seipel. [doi]
- Improving Refutational Completeness of Relational Search via Divergence TestDmitri Rozplokhas, Dmitri Boulytchev. [doi]
- Declarative GUIs: Simple, Consistent, and VerifiedStephan Adelsberger, Anton Setzer, Eric Walkingshaw. [doi]
- Implicit Parameters for Logic ProgrammingMagnus Madsen, Ondrej Lhoták. [doi]
- Three Improvements to the Top-Down SolverHelmut Seidl, Ralf Vogler. [doi]
- Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector ClocksMartin Sulzmann, Kai Stadtmüller. [doi]
- Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint ProblemsGenki Sakanashi, Masahiko Sakai. [doi]
- Verifying Fail-Free Declarative ProgramsMichael Hanus. [doi]
- Lazy Abstraction for Higher-Order Program VerificationTaku Terao. [doi]
- Symbolic Execution for JavaScriptJosé Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner. [doi]
- On Intersection Types and Probabilistic Lambda CalculiFlavien Breuvart, Ugo Dal Lago. [doi]
- System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem ProversSylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini. [doi]
- Automatic Reordering for Dataflow Safety of DatalogMistral Contrastin, Dominic A. Orchard, Andrew C. Rice. [doi]