1. High-level memory model with low-level pointer cast support for Jessie intermediate language

   • M. U. Mandrykin
   • A. V. Khoroshilov

   OriginalPaper 25 July 2015 Pages: 197 - 207

2. View to view transformations in domain specific modeling

   • D. V. Koznov
   • E. V. Larchik
   • A. N. Terekhov

   OriginalPaper 25 July 2015 Pages: 208 - 214

3. Secure cloud computing based on threshold homomorphic encryption

   • N. P. Varnovskiy
   • S. A. Martishin
   • A. V. Shokurov

   OriginalPaper 25 July 2015 Pages: 215 - 218

4. Automated construction of software configuration tables for real-time systems in avionics

   • S. B. Utkin
   • S. V. Batova
   • I. O. Zharinov

   OriginalPaper 25 July 2015 Pages: 219 - 223

5. Associated types and constraint propagation for generic programming in Scala

   • A. Pelenitsyn

   OriginalPaper 25 July 2015 Pages: 224 - 230

6. Application of compiler transformations against software vulnerabilities exploitation

   • A. R. Nurmukhametov
   • Sh. F. Kurmangaleev
   • S. S. Gaissaryan

   OriginalPaper 25 July 2015 Pages: 231 - 236

7. Interprocedural taint analysis for LLVM-bitcode

   • V. K. Koshelev
   • A. O. Izbyshev
   • I. A. Dudina

   OriginalPaper 25 July 2015 Pages: 237 - 245