Lara

Results: 1812



#Item
41Proactive 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

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
    42Noname manuscript No. (will be inserted by the editor) Solving Quantified Linear Arithmetic by CounterexampleGuided Instantiation Andrew Reynolds · Tim King · Viktor Kuncak

    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
      43Translating Scala Programs to Isabelle/HOL System Description Lars Hupel1 and Viktor Kuncak2 1 2

      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
        44SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

        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
            468 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,

            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
              47VOICES Interview INFO job: Engineering director, Etsy w: www.larahogan.me t: @lara_hogan

              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
                48EXECUTIVE 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

                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
                  49Formal 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 ·

                  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
                    50An Update on Deductive Synthesis and Repair in the Leon Tool Manos Koukoutos Etienne Kneuss

                    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