LARA - Laboratory for Automated Reasoning and Analysis

Latest additions

• 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
• 2017-01-24
  17:12
  G. S. Schmid and V. Kuncak. SMT-Based Checking of Predicate-Qualified Types for Scala. 7th ACM SIGPLAN Symposium on Scala, Amsterdam, NETHERLANDS, OCT 30-31, 2016.

  Detailed record
• 2017-01-24
  17:12
  M. Mayer and R. Madhavan. A Scala Library for Testing Student Assignments on Concurrent Programming. 7th ACM SIGPLAN Symposium on Scala, Amsterdam, NETHERLANDS, OCT 30-31, 2016.

  Detailed record
• 2016-12-15
  13:21
  A. Bouajjani, C. Enea, R. Guerraoui and J. Hamza. On Verifying Causal Consistency, 2016.

  Detailed recordFulltext