Abstract is missing.
- Verifying C++ Dynamic BindingNiels Mommen, Bart Jacobs 0002. 1-7 [doi]
- Correctness-by-Construction Meets Refinement TypesBaber Rehman. 8-10 [doi]
- Towards Verified Scalable Parallel Computing with Coq and SparkFrédéric Loulergue, Jolan Philippe. 11-17 [doi]
- Points-to Analysis for Context-Oriented JavaScript ProgramsSergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo. 18-24 [doi]
- Runtime Verification of Hash Code in Mutable ClassesDavide Ancona, Angelo Ferrando 0001, Viviana Mascardi. 25-31 [doi]
- Gradual Guarantee for FJ with lambda-ExpressionsPedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido. 32-38 [doi]
- Dependency-Free Capture TrackingEdward Lee, Kavin Satheeskumar, Ondrej Lhoták. 39-43 [doi]
- Verifying Well-Typedness Preservation of Refactorings using Scope GraphsLuka Miljak, Casper Bach Poulsen, Flip van Spaendonck. 44-50 [doi]
- Using Rewrite Strategies for Efficient Functional Automatic DifferentiationTimon Böhler, David Richter, Mira Mezini. 51-57 [doi]
- Constructing Structured SSA from FJKenny Zhuo Ming Lu, Daniel Yu Hian Low. 58-64 [doi]