Manu

Results: 688



#Item
21

Refactoring with Synthesis Veselin Raychev Max Schäfer Manu Sridharan

Add to Reading List

Source URL: www.sri.inf.ethz.ch

Language: English - Date: 2018-05-15 09:28:45
    22

    Kultur & Medien 13 Donnerstag, 2. April 2015 | Nummer 92 Blech mit großer Anziehungskraft Nach der Tour ist vor der Tour: Manu Delago schaut nach seinen US-Auftritten mit Björk mit seiner

    Add to Reading List

    Source URL: www.galerienothburga.at

    Language: German - Date: 2015-04-09 10:07:30
      23

      Explaining Program Failures via Postmortem Static Analysis Roman Manevich Tel Aviv University Manu Sridharan

      Add to Reading List

      Source URL: manu.sridharan.net

      - Date: 2018-02-03 20:39:22
        24

        Dynamic Determinacy Analysis Max Schäfer ∗ Nanyang Technological University Manu Sridharan

        Add to Reading List

        Source URL: manu.sridharan.net

        - Date: 2018-02-03 20:39:22
          25

          Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan4 , Frank Tip5 , and Koushik Sen6 1 2

          Add to Reading List

          Source URL: manu.sridharan.net

          - Date: 2018-02-03 20:39:22
            26

            Demand-Driven Points-To Analysis For Java Manu Sridharan, Ras Bodik UC Berkeley Lexin Shan

            Add to Reading List

            Source URL: manu.sridharan.net

            - Date: 2018-02-03 20:39:22
              27

              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
                28

                The Complexity of Andersen’s Analysis in Practice Manu Sridharan and Stephen J. Fink IBM T.J. Watson Research Center {msridhar,sjfink}@us.ibm.com

                Add to Reading List

                Source URL: manu.sridharan.net

                - Date: 2018-02-03 20:39:22
                  29

                  Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) Esben Andreasen1 , Colin S. Gordon2 , Satish Chandra3 , Manu Sridharan3 , Frank Tip3 , and Koushik Sen4 1 2

                  Add to Reading List

                  Source URL: arxiv.org

                  - Date: 2016-05-04 20:54:35
                    30

                    Correlation Tracking for Points-To Analysis of JavaScript Manu Sridharan

                    Add to Reading List

                    Source URL: manu.sridharan.net

                    - Date: 2018-02-03 20:39:22
                      UPDATE