LARA - Laboratory for Automated Reasoning and Analysis

Latest additions

• 2017-09-20
  11:20
  M. Mayer, V. Kuncak (Dir.). Interactive Programming by Example. Thèse EPFL, n° 7956 (2017)

  Detailed record
• 2017-09-14
  19:25
  Z. Gucevska, V. Kuncak (Dir.). The Operational Semantics and Implementation of a Core Dart language. 2017.

  Detailed recordFulltext
• 2017-08-21
  13:47
  R. W. Blanc, V. Kuncak (Dir.). Verification by Reduction to Functional Programs. Thèse EPFL, n° 7636 (2017)

  Detailed recordFulltext
• 2017-07-18
  16:17
  M. Mayer, V. Kuncak and J. Hamza. Proactive Synthesis of Recursive Tree-to-String Functions from Examples. European Conference on Object-Oriented Programming, Barcelona, Spain, Sun 18 - Fri 23 June 2017.

  Detailed recordFulltext
• 2017-07-14
  20:17
  N. Voirol, R. Kandhadai Madhavan and V. Kuncak. Termination of Open Higher-Order Programs, 2017.

  Detailed recordFulltext
• 2017-07-10
  13:42
  R. Madhavan, S. Kulal and V. Kuncak. Contract-Based Resource Verification for Higher-Order Functions with Memoization, in Acm Sigplan Notices, vol. 52, num. 1, p. 330-343, 2017.

  Detailed recordFulltext
• 2017-06-29
  10:53
  A. Bouajjani, C. Enea, R. Guerraoui and J. Hamza. On verifying causal consistency. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), Paris, France, January, 15-21, 2017.

  Detailed record
• 2017-05-29
  15:51
  Q. Wang, V. Kuncak and S. Bliudze (Dirs.). Algorithmic Verification of Component-based Systems. Thèse EPFL, n° 7753 (2017)

  Detailed recordFulltext
• 2017-05-02
  17:00
  M. Antognini, V. Kuncak (Dir.). Extending Safe C Support In Leon. 2017.

  Detailed recordFulltext
• 2017-02-01
  12:20
  V. Kuncak, M. Mayer, R. Piskac and P. Suter. Functional synthesis for linear arithmetic and sets, in International Journal on Software Tools for Technology Transfer, vol. 15, num. 5, p. 455–474, 2013.

  Detailed record