1
0
0
News
Ken’s Top 5 JavaScript Sessions at EclipseCon | Orion News
planetorion.org
JAVASCRIPT: DON'T BELIEVE THE TYPE! with Manu Sridharan and Simon Kaegi Manu has worked on language tooling in IBM Research ...
Moving Fast with High Reliability: Program Analysis at Uber | MIT...
www.csail.mit.edu
Bio: Manu Sridharan is a senior software engineer at Uber, working on static analysis and software quality. He received his MEng from MIT in and his PhD from the University of California, Berkeley in He worked as a research staff member at IBM Research from and as a senior ...
Repairing Event Race Errors by Controlling Nondeterminism
cs.au.dk
Repairing Event Race Errors by Controlling Nondeterminism. Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, and Koushik Sen. Modern web applications are written in an event-driven style, in which event handlers execute asynchronously in response to user or system events.
TAPAS : The Fifth Workshop on Tools for Automatic Program...
www.wikicfp.com
TAPAS : The Fifth Workshop on Tools for Automatic Program Analysis
Telephone & Addresses
Manu Sridharan, 36, Berkeley, US, Arch St, Apt 6
View Manu's social profiles and photos on Facebook, MySpace, and +40 Networks.
Manu Sridharan, 36, Berkeley, US, Francisco St, Apt 2B
View Manu's social profiles and photos on Facebook, MySpace, and +40 Networks.
Manu Sridharan, 36, Boulder, US, S 43rd St
View Manu's social profiles and photos on Facebook, MySpace, and +40 Networks.
Manu Sridharan, 36, Boulder, US, Zamia Ave
View Manu's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
msridhar (Manu Sridharan) · GitHub
github.com
UC Riverside professor, researching program analysis and developer tools - msridhar
Interests
lastFM: Manu Sridharan music, videos, stats, and photos | Last.fm
Listen to music from Manu Sridharan like Practical Analysis Tools for Large-Scale Software and Practical Analysis Tools for Large-Scale Software Development....
Business Profiles
patentbuddy: Manu Sridharan
INTERNATIONAL BUSINESS MACHINES CORPORATION, Boulder, CO, US
Private Homepages
Manu Sridharan
manu.sridharan.net
Manu Sridharan Email (professional): Email (personal): . I am a researcher at Samsung Research America in the area of ...
User msridhar - Stack Overflow
stackoverflow.com
Q&A for professional and enthusiast programmers ... Tour Start here for a quick overview of the site
Heritage
Manu Sridharan - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of
Projects
msridhar1 / Profile
sourceforge.net
Manu Sridharan. User Activity No activity to display. Personal Data Username: msridhar1 Joined: :06:43 Projects WALA
Thresher
plv.colorado.edu
Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan. Thresher is a static analysis tool that specializes in checking heap reachability properties. Its secret sauce is using a coarse up-front points-to analysis to focus a precise symbolic analysis on the alarms reported by the points-to analysis. See our PLDI '13 paper ...
WALA / List wala-wala Archives
sourceforge.net
Hi, Yes, the current version of wala works fine with Java 8. (-: Thanks. On Sun, May 31, at 10:35 PM, Manu Sridharan <m.sridharan@ wrote: - Nihamata, did ...
WALA / Re: [Wala-wala] Help Geting started Javascript front end
sourceforge.net
Thanks, Manu Manu Sridharan Samsung Research America http://manu.sridharan.net On Wed, Nov 27, at 8:17 AM, Astrid Muriel Waindja ...
Books & Literature
SCEAS
sceas.csd.auth.gr
Manu Sridharan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]. Publications of Author. Manu Sridharan, Gerald Tesauro
Julian Dolby, Manu Sridharan, Stephen Fink Downloads Published at...
www.winsite.com
The T. J. Watson Libraries for Analysis (WALA) provide program analysis capabilities for Java bytecode and related languages. The WALA libraries constitute an open ...
Computer Aided Verification: 27th International Conference, CAV 2015,...
books.google.de
The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015,...
Game Theory and Decision Theory in Agent-Based Systems - Google Books
books.google.de
Game Theory And Decision Theory In Agent-Based Systems is a collection of papers from international leading researchers, that offers a broad view of the many...
Related Documents
Manu Sridharan - PLDI 2015
conf.researchr.org
Manu Sridharan. PLDI profile . View global profile (new window) Registered user since Wed 25 Jun Affiliation: Samsung Research America.
[ ] Trace Typing: An Approach for Evaluating Retrofitted...
arxiv.org
Authors: Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen. (Submitted on 4 May 2016). Abstract: Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity, ...
CiteSeerX — TAJ: Effective Taint Analysis of Web Applications
citeseerx.ist.psu.edu
by Marco Pistoia , Stephen Fink , Manu Sridharan , Omri Weisman ... author = {Marco Pistoia and Stephen Fink and Manu Sridharan and Omri Weisman},
Refactoring with Synthesis Veselin Raychev Max Schäfer Manu...
www.pdfsearch.io
Refactoring with Synthesis Veselin Raychev Max Schäfer Manu Sridharan. Source URL: www.srl.inf.ethz.ch. Download Document from Source Website ...
Scientific Publications
Annotated - SE-Wiki
sewiki.iai.uni-bonn.de
Refinement-Based Context-Sensitive Points-To Analysis for Java. Manu Sridharan. University of California, Berkeley .edu. Rastislav Bodэk.
Refinement-Based Context-Sensitive Points-To Analysis SE-Wiki
sewiki.iai.uni-bonn.de
Refinement-Based Context-Sensitive Points-To Analysis for Java. Manu Sridharan. University of California, Berkeley .edu. Rastislav BodÌk.
Refinement-Based Program Analysis Tools - SE-Wiki
sewiki.iai.uni-bonn.de
The dissertation of Manu Sridharan is approved: Professor Rastislav Bodík, Chair. Date. Professor George Necula. Date. Professor Leo ...
Publications
Alias Analysis for Object-Oriented Programs | SpringerLink
link.springer.com
We present a high-level survey of state-of-the-art alias analyses for object-oriented programs, based on a years-long effort developing industrial-strength...
Home - Software Engineering Seminar - Illinois Wiki
wiki.illinois.edu
by Max Schäfer, Manu Sridharan, Julian Dolby, and Frank Tip (ICSE'11) ... by Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak and Frank Tip ( ECOOP ...
Video & Audio
CS Colloquium Manu Sridharan SEAS video
video.seas.harvard.edu
▶ 1:02:24CS Colloquium Manu Sridharan From Gioia Sweetland 3 Months ago. 18 views
Reports & Statements
Modern Dataflow Frameworks Wanted – Embedded in Academia
blog.regehr.org
... designed for (predicate abstraction). (disclosure: I'm a developer of a similar tool). Manu Sridharan | October 4, at 1:49 pm | Permalink.
Buying Into Open Source Security – Embedded in Academia
blog.regehr.org
Manu Sridharan | January 21, at 11:47 am | Permalink. Fascinating question. I'd be in favor of a staged approach. In the first phase, ...
Rakingleaves.blogspot.com - Raking Leaves
urlm.co.uk
In the United Kingdom, Rakingleaves.blogspot.com is ranked 17,873,113, with an estimated < 300 monthly visitors a month. Click to view other data about this...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... (University of Colorado – Boulder, US) [dblp] · Gareth Smith (Imperial College London, GB) [dblp] · Manu Sridharan (Samsung Research, US) ...
Miscellaneous
Manu Sridharan | LinkedIn
www.linkedin.com
View Manu Sridharan's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Manu Sridharan …
Manu Sridharan - Trích dẫn của Google Scholar
scholar.google.com.vn
Manu Sridharan. Samsung Research America. Programming Languages, Software Engineering, Program Analysis. Email được xác minh tại sridharan.net ...
Manu Sridharan - اقتباسات الباحث العلمي من Google
scholar.google.ae
متابعة الاقتباسات الجديدة. إنشاء تنبيه إلغاء. Manu Sridharan. Samsung Research America. Programming Languages, Software Engineering, Program Analysis.
Manu Sridharan - Google Scholar -sitaatit
scholar.google.it
David C. ParkesHarvard College Professor and George F. Colony Professor of Computer Science, Harvard University Vahvistettu sähköpostiosoite verkkotunnuksessa eecs.harvard.edu. Ian KashMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com. David F. BaconGoogleVahvistettu ...
Manu Sridharan is a Committer for Orion | projects.eclipse.org
projects.eclipse.org
Commits on Orion by Manu Sridharan (lifetime). Back to the top. Eclipse Foundation. About Us; Contact Us; Donate; Governance
Manu Sridharan - Google Tudós Hivatkozások - Google Scholar
scholar.google.pl
David C. ParkesHarvard College Professor and George F. Colony Professor of Computer Science, Harvard University E-mail megerősítve itt: eecs.harvard.edu. Ian KashMicrosoft ResearchE-mail megerősítve itt: microsoft.com. David F. BaconGoogleE-mail megerősítve itt: google.com. Yiling ChenHarvard UniversityE-mail ...
Max Schaefer - Citazioni di Google Scholar
scholar.google.it
Crea un avviso email per le nuove citazioni di articoli in questo profilo. Coautori. Oege de Moor · Manu Sridharan · Julian Dolby · Todd Millstein · Laurie Hendren
schandra at acm dot org
sites.google.com
"Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts", with Andrei Dan, Manu Sridharan, Jean-Baptiste Jeannin, and Martin Vechev, in CAV I taught a graduate class on Software Engineering during the Winter quarter at Stanford University. Started working at Facebook, November
User msridhar - Android Enthusiasts Stack Exchange
android.stackexchange.com
Manu Sridharan Apparently, this user prefers to keep an air of mystery about them. 1 answer 1 question ~6k people
Publications
manu.sridharan.net
Publications. Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan. Selective control-flow abstraction via jumping. In Object-Oriented Programming, Systems ...
User msridhar - Ask Different
apple.stackexchange.com
Manu Sridharan Apparently, this user prefers to keep an air of mystery about them. 0 answers 1 question ~4 people ...
Manu Sridharan talks, workshops and events · Eventil
eventil.com
View Manu Sridharan talks, workshops and events. Eventil is a tech event network, helping event participants like Manu Sridharan get the most out of tech
Static Analysis and Reflection. Manu Sridharan (and many...
docplayer.net
Static Analysis and Reflection Manu Sridharan (and many collaborators) IBM Research What is Reflection? class Factory { Object make(string x) { return Class.forName(x).newInstance(); } } What is Reflection?
AERCS - Person information
tosini.informatik.rwth-aachen.de
Manu Sridharan's related websites. Link: http://domino.watson.ibm.com/comm/ research_people.nsf/pages/msridhar.index.html ...
[orion-dev] Committer vote for Manu Sridharan has been approved...
www.eclipse.org
eclipse.orion Committers, This automatically generated message marks the PMC's approval of the vote for Manu Sridharan's full Committer ...
[orion-dev] Committer vote for Manu Sridharan has...
www.eclipse.org
eclipse.orion Committers, This automatically generated message marks the successful completion of voting for Manu Sridharan to receive full Committer status on the ...
Manu Sridharan (msridhar) - Libraries.io
libraries.io
Repositories created and contributed to by Manu Sridharan (msridhar)
TDGS - "Manu Sridharan"
juliette.lsi.us.es
A total of 37 records were found in seconds. Fetch | Report | Google
User msridhar - Mathematics Stack Exchange
math.stackexchange.com
Apparently, this user prefers to keep an air of mystery about them. manu.sridharan.net; Member for 3 years, 10 months; 2 profile views; Last seen Jul 15 '14 at ...
Related search requests for Manu Sridharan
Evan Chang Julian Dolby Michael Pradel | Omer Tripp Denis Gopan Jong-Deok Choi | Stephen Fink Emina Torlak Ilya Shlyakhter |
Person "Sridharan" (1) Forename "Manu" (5670) Name "Sridharan" (302) |
sorted by relevance / date