Rastislav

Results: 46



#Item
1Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bod´ık Computer Science and Engineering, University of Washington, Seattle, Washington, USA We present S

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bod´ık Computer Science and Engineering, University of Washington, Seattle, Washington, USA We present S

Add to Reading List

Source URL: formal.epfl.ch

Language: English - Date: 2016-07-13 09:43:24
    2Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan, Rastislav Bodík UC Berkeley PLDI

    Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan, Rastislav Bodík UC Berkeley PLDI

    Add to Reading List

    Source URL: manu.sridharan.net

    - Date: 2018-02-03 20:39:22
      3Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

      Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2017-06-23 18:20:17
        4Toward Tool Support for Interactive Synthesis Shaon Barman1 1 Rastislav Bodik1 Satish Chandra2

        Toward Tool Support for Interactive Synthesis Shaon Barman1 1 Rastislav Bodik1 Satish Chandra2

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2017-06-23 18:20:16
          5Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

          Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

          Add to Reading List

          Source URL: homes.cs.washington.edu

          - Date: 2017-06-23 18:20:17
            6Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

            Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-06-23 18:20:17
              7A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

              A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-06-23 18:20:17
                8Interactive Query Synthesis from Input-Output Examples Chenglong Wang, Alvin Cheung, Rastislav Bodik University of Washington {clwang, akcheung, bodik}@cs.washington.edu ABSTRACT

                Interactive Query Synthesis from Input-Output Examples Chenglong Wang, Alvin Cheung, Rastislav Bodik University of Washington {clwang, akcheung, bodik}@cs.washington.edu ABSTRACT

                Add to Reading List

                Source URL: scythe.cs.washington.edu

                - Date: 2017-08-01 19:07:16
                  9Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

                  Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  - Date: 2015-03-25 22:46:28
                    10ABCD: Eliminating Array Bounds Checks on Demand Rastislav Bod´ık Rajiv Gupta Vivek Sarkar

                    ABCD: Eliminating Array Bounds Checks on Demand Rastislav Bod´ık Rajiv Gupta Vivek Sarkar

                    Add to Reading List

                    Source URL: www.cs.virginia.edu

                    - Date: 2005-09-29 10:19:56