Manu

Results: 688



#Item
61

Alternate and Learn: Finding witnesses without looking all over Nishant Sinha1 , Nimit Singhania1 , Satish Chandra2 , and Manu Sridharan2 1 2

Add to Reading List

Source URL: manu.sridharan.net

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

    Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts Andrei Marian Dan1 , Manu Sridharan2? , Satish Chandra2?? , Jean-Baptiste Jeannin2 , and Martin Vechev1 1

    Add to Reading List

    Source URL: manu.sridharan.net

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

      Snugglebug: A Powerful Approach To Weakest Preconditions Satish Chandra Stephen J. Fink Manu Sridharan

      Add to Reading List

      Source URL: manu.sridharan.net

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

        AP PHOTO/MANU BRABO Confronting the Terror Finance Challenge in Today’s Middle East By Hardin Lang, Peter Juul, and Trevor Sutton

        Add to Reading List

        Source URL: cdn.americanprogress.org

        - Date: 2015-11-01 20:59:51
          65

          1 Labeled Faces in the Wild: A Database for Studying Face Recognition in Unconstrained Environments Gary B. Huang,Manu Ramesh, Tamara Berg, and Erik Learned-Miller

          Add to Reading List

          Source URL: vis-www.cs.umass.edu

          - Date: 2008-06-30 22:21:02
            66

            A Practical Framework for Type Inference Error Explanation Calvin Loncaric Satish Chandra Cole Schlesinger Manu Sridharan

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2016-10-10 18:07:09
              67

              Manu Dawson, C.Y.N.Th. 229 West 13th Street, New York, NY2642

              Add to Reading List

              Source URL: integralyoganaturalfoods.com

              - Date: 2016-04-07 19:08:35
                68

                In Defense of Soundiness: A Manifesto Ben Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J. Nelson Amaral, Bor-Yuh Evan Chang, Sam Guyer, Uday Khedker, Anders Møller, and Dimitrios Vardoulakis Microsoft

                Add to Reading List

                Source URL: yanniss.github.io

                - Date: 2016-12-03 13:36:54
                  69

                  Atomix: A Framework for Deploying Signal Processing Applications on Wireless Infrastructure Manu Bansal, Aaron Schulman, and Sachin Katti, Stanford University https://www.usenix.org/conference/nsdi15/technical-sessions/p

                  Add to Reading List

                  Source URL: www.stanford.edu

                  - Date: 2016-05-09 13:20:49
                    70

                    CONSERVANDO LAS CABECERASDEL CORREDOR PURÚS MANU ÁMBITO GEOGRÁFICO: regiones de Ucayali, Cusco y Madre de Dios PERIODO DE EJECUCIÓN: OctubreAgosto 2015

                    Add to Reading List

                    Source URL: pronaturaleza.org

                    - Date: 2013-09-13 01:11:31
                      UPDATE