|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 32 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
F4F: taint analysis of framework-based web applications.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
The Flow-Insensitive Precision of Andersen's Analysis in Practice. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
Refactoring Java programs for flexible locking. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
Correct Refactoring of Concurrent Java Code. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan |
Software economies. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
TAJ: effective taint analysis of web applications. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
security, java, static analysis, web application, program analysis, slicing, taint analysis |
| 1 | Satish Chandra, Stephen J. Fink, Manu Sridharan |
Snugglebug: a powerful approach to weakest preconditions. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
interprocedural analysis, weakest preconditions, symbolic analysis |
| 1 | Manu Sridharan, Stephen J. Fink |
The Complexity of Andersen's Analysis in Practice. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing (Harry) Xu, Atanas Rountev, Manu Sridharan |
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wloka, Manu Sridharan, Frank Tip |
Refactoring for reentrancy. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
reentrant code, program transformation, refactoring |
| 1 | Bor-Yuh Evan Chang, Manu Sridharan |
PML: Toward a High-Level Formal Language for Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Sridharan, Stephen J. Fink, Rastislav Bodík |
Thin slicing. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
debugging, program understanding, slicing |
| 1 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
| 1 | Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík |
Demand-driven points-to analysis for Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, demand-driven analysis, context-free language reachability |
| 1 | Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang |
PSE: explaining program failures via postmortem static analysis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
postmortem analysis, value flow, alias analysis, typestate |
| 1 | Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri |
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan |
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
dataraces, static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, race conditions, multithreaded programming |
| 1 | Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides |
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Daniel Jackson, Ilya Shlyakhter, Manu Sridharan |
A micromodularity mechanism. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language |
| 1 | Manu Sridharan, Gerald Tesauro |
Multi-agent Q-learning and Regression Trees for Automated Pricing Decisions. |
ICML |
2000 |
DBLP BibTeX RDF |
|
| 1 | Manu Sridharan, Gerald Tesauro |
Multi-Agent Q-Learning and Regression Trees for Automated Pricing Decisions. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")