Suchergebnisse - Das, Manuvir

1

Righting software von Larus, J.R., Ball, T., Manuvir Das, DeLine, R., Fahndrich, M., Pincus, J., Rajamani, S.K., Venkatapathy, R.

Veröffentlicht in IEEE software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Unleashing the Power of Static Analysis von Das, Manuvir

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Path-Sensitive Dataflow Analysis with Iterative Refinement von Dhurjati, Dinakar, Das, Manuvir, Yang, Yue

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

The use of program profiling for software maintenance with applications to the year 2000 problem von Reps, Thomas, Ball, Thomas, Das, Manuvir, Larus, James

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

The use of program profiling for software maintenance with applications to the year 2000 problem von Reps, Thomas, Ball, Thomas, Das, Manuvir, Larus, James

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Multi tenancy for single tenancy applications von Kandhare, Arvind, Yadav, Sudarshan, Balachandran, Ravi K, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Mittal, Rochak, Malpani, Sanjay

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Estimating the Impact of Scalable Pointer Analysis on Optimization von Das, Manuvir, Liblit, Ben, Fähndrich, Manuel, Rehof, Jakob

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

PASTE at Microsoft von Das, Manuvir

Veröffentlicht in Software engineering notes

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Methods for enhancing pointer analyses von Das, Manuvir

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Methods for enhancing pointer analyses von DAS MANUVIR

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

MULTI TENANCY FOR SINGLE TENANCY APPLICATIONS von Kandhare, Arvind, Yadav, Sudarshan, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Balachandran, Ravi Kumar, Mittal, Rochak, Malpani, Sanjay

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Multi tenancy for single tenancy applications von Kandhare, Arvind, Yadav, Sudarshan, Balachandran, Ravi K, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Mittal, Rochak, Malpani, Sanjay

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Unification-based pointer analysis with directional assignments von Das, Manuvir

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

ESP: path-sensitive program verification in polynomial time von Das, Manuvir, Lerner, Sorin, Seigle, Mark

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Session details: Validation von Das, Manuvir

Veröffentlicht in SIGPLAN notices

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Methods for enhancing pointer analyses von DAS MANUVIR

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Method for enhancing pointer analyses von Das, Manuvir

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Formal Specifications on Industrial-Strength Code—From Myth to Reality: Invited Talk von Das, Manuvir

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Methods for enhancing pointer analyses von Das, Manuvir

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Methods for enhancing pointer analyses von DAS MANUVIR

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Righting software von Larus, J.R., Ball, T., Manuvir Das, DeLine, R., Fahndrich, M., Pincus, J., Rajamani, S.K., Venkatapathy, R.

Unleashing the Power of Static Analysis von Das, Manuvir

Path-Sensitive Dataflow Analysis with Iterative Refinement von Dhurjati, Dinakar, Das, Manuvir, Yang, Yue

The use of program profiling for software maintenance with applications to the year 2000 problem von Reps, Thomas, Ball, Thomas, Das, Manuvir, Larus, James

The use of program profiling for software maintenance with applications to the year 2000 problem von Reps, Thomas, Ball, Thomas, Das, Manuvir, Larus, James

Multi tenancy for single tenancy applications von Kandhare, Arvind, Yadav, Sudarshan, Balachandran, Ravi K, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Mittal, Rochak, Malpani, Sanjay

Estimating the Impact of Scalable Pointer Analysis on Optimization von Das, Manuvir, Liblit, Ben, Fähndrich, Manuel, Rehof, Jakob

PASTE at Microsoft von Das, Manuvir

Methods for enhancing pointer analyses von Das, Manuvir

Methods for enhancing pointer analyses von DAS MANUVIR

MULTI TENANCY FOR SINGLE TENANCY APPLICATIONS von Kandhare, Arvind, Yadav, Sudarshan, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Balachandran, Ravi Kumar, Mittal, Rochak, Malpani, Sanjay

Multi tenancy for single tenancy applications von Kandhare, Arvind, Yadav, Sudarshan, Balachandran, Ravi K, Herscher, Adam, Das, Manuvir, Srinivas, Nelamangal K, Mittal, Rochak, Malpani, Sanjay

Unification-based pointer analysis with directional assignments von Das, Manuvir

ESP: path-sensitive program verification in polynomial time von Das, Manuvir, Lerner, Sorin, Seigle, Mark

Session details: Validation von Das, Manuvir

Methods for enhancing pointer analyses von DAS MANUVIR

Method for enhancing pointer analyses von Das, Manuvir

Formal Specifications on Industrial-Strength Code—From Myth to Reality: Invited Talk von Das, Manuvir

Methods for enhancing pointer analyses von Das, Manuvir

Methods for enhancing pointer analyses von DAS MANUVIR

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle