Lara

Results: 1812



#Item
41

Proactive Synthesis of Recursive Tree-to-String Functions from Examples∗† Mikaël Mayer1 , Jad Hamza1 , and Viktor Kunčak1 1 EPFL IC IINFCOM LARA, INR 318, Station 14, CH-1015 Lausanne

Add to Reading List

Source URL: lara.epfl.ch

- Date: 2017-06-19 03:51:05
    42

    Noname manuscript No. (will be inserted by the editor) Solving Quantified Linear Arithmetic by CounterexampleGuided Instantiation Andrew Reynolds · Tim King · Viktor Kuncak

    Add to Reading List

    Source URL: lara.epfl.ch

    - Date: 2017-08-25 12:01:44
      43

      Translating Scala Programs to Isabelle/HOL System Description Lars Hupel1 and Viktor Kuncak2 1 2

      Add to Reading List

      Source URL: lara.epfl.ch

      - Date: 2016-04-12 07:05:49
        44

        SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

        Add to Reading List

        Source URL: lara.epfl.ch

        - Date: 2016-10-16 16:44:37
          45

          PDF Document

          Add to Reading List

          Source URL: lara.epfl.ch

          - Date: 2017-05-16 05:15:53
            46

            8 Towards a Compiler for Reals1 EVA DARULOVA2 , Max Planck Institute for Software Systems VIKTOR KUNCAK3 , Ecole Polytechnique Federale de Lausanne Numerical software, common in scientific computing or embedded systems,

            Add to Reading List

            Source URL: lara.epfl.ch

            - Date: 2017-05-16 05:28:09
              47

              VOICES Interview INFO job: Engineering director, Etsy w: www.larahogan.me t: @lara_hogan

              Add to Reading List

              Source URL: larahogan.me

              - Date: 2018-04-03 23:07:22
                48

                EXECUTIVE BIOGRAPHY Lara Nasato Lara Nasato is the head of Governance and Transaction Services for CSC® Capital Markets Europe in Luxembourg. She is responsible for supervising the daily activities of the Governance an

                Add to Reading List

                Source URL: www.cscglobal.com

                - Date: 2018-03-26 13:30:35
                  49

                  Formal Methods in System Design manuscript No. (will be inserted by the editor) Refutation-Based Synthesis in SMT Andrew Reynolds · Viktor Kuncak · Cesare Tinelli · Clark Barrett ·

                  Add to Reading List

                  Source URL: lara.epfl.ch

                  - Date: 2017-08-25 12:01:44
                    50

                    An Update on Deductive Synthesis and Repair in the Leon Tool Manos Koukoutos Etienne Kneuss

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    - Date: 2017-02-24 05:51:33
                      UPDATE