1
0
0
(1 - 28 from 29
)
paper
www.usenix.org
Microsoft Research Shaz Qadeer Microsoft Research Thomas Ball Microsoft Research Gerard Basler ETH Zurich Piramanayagam Arumuga Nainar University of ...
OSDI '08 Technical Sessions
www.usenix.org
Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball, Microsoft Research; Gerard Basler, ETH Zurich; Piramanayagam Arumuga Nainar, University of Wisconsin,
Info über Piramanayagam Arumuga Nainar | Flickr
www.flickr.com
Flickr ist die wahrscheinlich beste Online-Fotoplattform der Welt. Präsentieren Sie der ganzen Welt Ihre Lieblingsfotos, zeigen Sie sicher und privat Ihren...
Piramanayagam Arumuga Nainar - Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for Piramanayagam Arumuga Nainar, with 76 highly influential citations.
Piramanayagam Arumuga Nainar - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Piramanayagam Arumuga Nainar. Ph.D. University of Wisconsin-Madison UnitedStates. Dissertation: Applications of Static Analysis and Program Structure ...
Benjamin Liblit - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Piramanayagam Arumuga Nainar: University of Wisconsin-Madison: 2012: Anne Mulhern: University of Wisconsin-Madison: 2010: Tristan Ravitch: University of …
CIL (C Intermediate Language) / Re: [CIL users] Patch to consider...
sourceforge.net
On Tue, Jan 25, at 04:55:02PM , Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to ...
CiteSeerX — Applications of Static Analysis and Program Structure in...
citeseerx.ist.psu.edu
Applications of Static Analysis and Program Structure in Statistical ... Piramanayagam Arumuga Nainar ... Static Analysis and Program Structure in ...
dblp: Piramanayagam Arumuga Nainar
dblp.uni-trier.de
List of computer science publications by Piramanayagam Arumuga Nainar
CiteSeerX — Finding and Reproducing Heisenbugs in Concurrent Programs
citeseer.ist.psu.edu
BibTeX @MISC{Musuvathi_findingand, author = {Madanlal Musuvathi and Shaz Qadeer and Piramanayagam Arumuga Nainar and Thomas Ball and Gerard Basler and Iulian …
Log based Transactions for Single-threaded Programs - CORE
core.ac.uk
Log based Transactions for Single-threaded Programs . By Arini Balakrishnan and Piramanayagam Arumuga Nainar. Abstract. The Pennsylvania State University …
Cooperative Bug Isolation - CORE
core.ac.uk
By Piramanayagam Arumuga Nainar and Ben Liblit. Abstract.
Google Groups: [algogeeks] Re: Which is the fastest solution for comparing ...
: Piramanayagam Arumuga Nainar ... algogeeks You are ignoring the complexity of the comparison function (reqd. for sorting). ...
Google Groups: OSDI '08 Technical Sessions
: ... and Thomas Ball, _Microsoft Research;_ Gerard Basler, _ETH Zurich;_ Piramanayagam Arumuga Nainar, _University of Wisconsin, Madison;_ Iulian Neamtiu, ...
Re: [CIL users] Patch to consider Addrof/StartOf as a definition
www.mail-archive.com
On Tue, Jan 25, at 04:55:02PM , Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to > the Use-Def
Piramanayagam Arumuga Nainar | LinkedIn
www.linkedin.com
View Piramanayagam Arumuga Nainar's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Piramanayagam
Piramanayagam Arumuga Nainar - Citations Google Scholar
scholar.google.fr
Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu. OSDI 8, Statistical debugging using compound boolean predicates. P Arumuga Nainar, T Chen, J Rosin, B Liblit. Proceedings of the international symposium on ...
Piramanayagam Arumuga Nainar - Citas de Google Académico
scholar.google.es
Statistical debugging using compound boolean predicates. P Arumuga Nainar, T Chen, J Rosin, B Liblit. Proceedings of the international symposium on ...
Automated Adaptive Bug Isolation using Dyninst Piramanayagam Arumuga...
slideplayer.com
Problem with static instrumentation –Predicates are fixed for entire lifetime –Three problems 1.Worst case assumption 2.Cannot stop counting predicates –After...
Piramanayagam Arumuga Nainar | USENIX
www.usenix.org
Home » Piramanayagam Arumuga Nainar, University of Wisconsin, Madison. Tweet. connect with us
Piramanayagam Arumuga Nainar's research works | University ...
www.researchgate.net
Piramanayagam Arumuga Nainar's 5 research works with 518 citations and 92 reads, including: Adaptive bug isolation
Homepage of Piramanayagam Arumuga Nainar
pages.cs.wisc.edu
Piramanayagam Arumuga Nainar Graduate Student Computer Sciences Department University of Wisconsin - Madison 1210, W Dayton st Madison, WI
CiteSeerX — Citation Query Piramanayagam Arumuga Nainar, and Iulian...
citeseer.uark.edu
CiteSeerX - Scientific documents that cite the following paper: Piramanayagam Arumuga Nainar, and Iulian Neamtiu. Finding and reproducing heisenbugs in...
CHESS: Find and Reproduce Heisenbugs in Concurrent Programs -...
www.microsoft.com
Piramanayagam Arumuga Nainar, University of Wisconsin at Madison
SWE 795 Spring 2017
cs.gmu.edu
Piramanayagam Arumuga Nainar and Ben Liblit Adaptive bug isolation. International Conference on Software Engineering, T. D. LaToza and ...
CSE 503: Software Engineering: Program Analysis
courses.cs.washington.edu
... in Concurrent Programs" by Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. OSDI 2008
UW CS Alumni Connection - Browse By Name
oberon.cs.wisc.edu
Arumuga Nainar, Piramanayagam (MS 2007) Adve, Sarita (PHD 1993), (MS 1989) Anderson, Jamie (BS 1983) Aryani, Novita (BS 2001) Adve, Vikram (MS 1989), (PHD 1993)
RESEARCH & TECHNICAL TRACK
www.sbs.co.za
... Piramanayagam Arumuga Nainar and Ben Liblit (University of Wisconsin, Madison, USA) Practical Fault Localization for Dynamic Web Applications, Shay Artzi,
All web results to the name "Arumuga Nainar"
Related search requests for Arumuga Nainar
|
Person "Nainar" (1) Forename "Arumuga" (15) Name "Nainar" (29) |
sorted by relevance / date