io-port.net

io-port 06086781 Sridharan, Manu; Dolby, Julian; Chandra, Satish; Schäfer, Max; Tip, Frank

Correlation tracking for points-to analysis of JavaScript. (English)

Noble, James (ed.), ECOOP 2012 ‒ object-oriented programming. 26th European conference, Beijing, China, June 11‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31056-0/pbk). Lecture Notes in Computer Science 7313, 435-458 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06070770 Sinha, Nishant; Singhania, Nimit; Chandra, Satish; Sridharan, Manu

Alternate and learn: finding witnesses without looking all over. (English)

Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 599-615 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05949420 Blackshear, Sam; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram; Sridharan, Manu

The flow-insensitive precision of Andersen’s analysis in practice. (English)

Yahav, Eran (ed.), Static analysis. 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23701-0/pbk). Lecture Notes in Computer Science 6887, 60-76 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70398262 Zhang, Shiqi; Sridharan, Mohan; Li, Xiang

To look or not to look: A hierarchical representation for visual planning on mobile robots (English)

ICRA, 4461-4466 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70401302 Li, Xiang; Sridharan, Mohan; Zhang, Shiqi

Autonomous learning of vision-based layered object models on mobile robots (English)

ICRA, 6239-6244 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70668957 Sridharan, Manu; Artzi, Shay; Pistoia, Marco; Guarnieri, Salvatore; Tripp, Omer; Berg, Ryan

F4F: taint analysis of framework-based web applications (English)

OOPSLA, 1053-1068 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70840092 Blackshear, Sam; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram; Sridharan, Manu

The flow-insensitive precision of andersen’s analysis in practice (English)

SAS, 60-76 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70926590 Schäfer, Max; Sridharan, Manu; Dolby, Julian; Tip, Frank

Refactoring Java programs for flexible locking (English)

ICSE, 71-80 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05777568 Sridharan, Mohan; Wyatt, Jeremy; Dearden, Richard

Planning to see: a hierarchical approach to planning visual actions on a robot using POMDPs. (English)

Artif. Intell. 174, No. 11, 704-725 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05773896 Schäfer, Max; Dolby, Julian; Sridharan, Manu; Torlak, Emina; Tip, Frank

Correct refactoring of concurrent Java code. (English)

D’Hondt, Theo (ed.), ECOOP 2010 ‒ object-oriented programming. 24th European conference, Maribor, Slovenia, June 21‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14106-5/pbk). Lecture Notes in Computer Science 6183, 225-249 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05734273 Sridharan, Mohan

Bootstrap learning and visual processing management on mobile robots. (English)

Adv. Artif. Intell. 2010, Article ID 765876, 20 p. (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50078529 Sridharan, Mohan

Bootstrap learning and visual processing management on mobile robots (English)

Adv. Artificial Intellegence 2010 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70181155 Sridharan, Mukundan; Zeng, Wenjie; Leal, William; Ju, Xi; Ramnath, Rajiv; Zhang, Hongwei; Arora, Anish

From kansei to kanseigenie: architecture of federated, programmable wireless sensor fabrics (English)

TRIDENTCOM, 155-165 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70400522 Gulati, Shilpa; Richmond, Kristof; Flesher, Christopher; Hogan, Bart P.; Murarka, Aniket; Kuhlmann, Gregory; Sridharan, Mohan; Stone, William C.; Doran, Peter T.

Toward autonomous scientific exploration of ice-covered lakes - field experiments with the ENDURANCE AUV in an antarctic dry valley (English)

ICRA, 308-315 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70502244 Alizadeh, Mohammad; Greenberg, Albert G.; Maltz, David A.; Padhye, Jitendra; Patel, Parveen; Prabhakar, Balaji; Sengupta, Sudipta; Sridharan, Murari

Data center TCP (DCTCP) (English)

SIGCOMM, 63-74 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70860605 Schäfer, Max; Dolby, Julian; Sridharan, Manu; Torlak, Emina; Tip, Frank

Correct refactoring of concurrent Java code (English)

ECOOP, 225-249 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70911916 Sridharan, Mohan; Namin, Akbar Siami

Prioritizing mutation operators based on importance sampling (English)

ISSRE, 378-387 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70927114 Sridharan, Mohan; Namin, Akbar Siami

Bayesian methods for data analysis in software engineering (English)

ICSE (2), 477-478 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70933433 Bacon, David F.; Bokelberg, Eric; Chen, Yiling; Kash, Ian A.; Parkes, David C.; Rao, Malvika; Sridharan, Manu

Software economies (English)

FoSER, 7-12 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70933785 Namin, Akbar Siami; Sridharan, Mohan

Bayesian reasoning for software testing (English)

FoSER, 349-354 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI