Search results for "Satish Chandra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík	Angelic debugging.	ICSE	2011	DBLP DOI BibTeX RDF
1	Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra	Fault localization for data-centric programs.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
1	Shardul Jain, Himanshu Singh, Ankur Chauhan, Deepak Pandey, Satish Chandra	Heuristics-Aided Load Balancing in Distributed Systems and Node Prioritization: An Intelligent Approach.	UKSim	2010	DBLP DOI BibTeX RDF
1	Shardul Jain, Ankit Sabharwal, Satish Chandra	An Improvised Localization Scheme Using Active RFID for Accurate Tracking in Smart Homes.	UKSim	2010	DBLP DOI BibTeX RDF
1	Ajay Kant, Arnesh Sharma, Sanchit Agarwal, Satish Chandra	An ACO Approach to Job Scheduling in Grid Environment.	SEMCCO	2010	DBLP DOI BibTeX RDF
1	Emina Torlak, Satish Chandra	Effective interprocedural resource leak detection.	ICSE	2010	DBLP DOI BibTeX RDF	inter-procedural analysis, resource leaks, alias analysis
1	Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran	Making defect-finding tools work for you.	ICSE	2010	DBLP DOI BibTeX RDF	defect differencing, defect merging, defect prioritization, defect views, static analysis portal
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	Satish Chandra, Rajesh Bhat, Harinder Singh	A PSO based Method for Detection of Brain Tumors from MRI.	NaBIC	2009	DBLP DOI BibTeX RDF
1	Satish Chandra, Rajesh Bhat, D. S. Chauhan	A Score Based Method for Controlling the Convergence Behavior of Particle Swarm Optimization.	UKSim	2009	DBLP DOI BibTeX RDF
1	Satish Chandra, Utkarsh Shrivastava, Rajan Vaish, Siddharth Dixit, Manisha Rana	Improved-AntNet: ACO Routing Algorithm in Practice.	UKSim	2009	DBLP DOI BibTeX RDF
1	Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda	Verifying dereference safety via expanding-scope analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, specification inference
1	Greta Yorsh, Eran Yahav, Satish Chandra	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
1	Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra	The CLOSER: automating resource management in java.	ISMM	2008	DBLP DOI BibTeX RDF	higher-level resource, interest reachability, logical liveness, resource interest graph, resource management
1	Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPOPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
1	Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav	A survey of static analysis methods for identifying security vulnerabilities in software systems.	IBM Systems Journal	2007	DBLP DOI BibTeX RDF
1	Vibha Sinha, Bikram Sengupta, Satish Chandra	Enabling Collaboration in Distributed Requirements Management.	IEEE Software	2006	DBLP DOI BibTeX RDF	collaboration, tool support, requirements management, distributed development
1	Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue	Technical forum: Using logical data models for understanding and transforming legacy business applications.	IBM Systems Journal	2006	DBLP DOI BibTeX RDF
1	Bikram Sengupta, Satish Chandra, Vibha Sinha	A research agenda for distributed software development.	ICSE	2006	DBLP DOI BibTeX RDF	collaboration, testing, knowledge management, metrics, process, distributed software development, research agenda
1	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field	Dependent Types for Program Understanding.	TACAS	2005	DBLP DOI BibTeX RDF
1	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
1	Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar	Decentralizing execution of composite web services.	OOPSLA	2004	DBLP DOI BibTeX RDF	business process, program dependence graph, work flow
1	Satish Chandra	Tools and Techniques for Multi-site Sotware Development.	ICDCIT	2004	DBLP DOI BibTeX RDF
1	Glenn Bruns, Satish Chandra	Searching for Points-To Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, program analysis, reachability analysis, Points-to analysis
1	Jahangir Hasan, Satish Chandra, T. N. Vijaykumar	Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. (PDF / PS)	ISCA	2003	DBLP DOI BibTeX RDF
1	Satish Chandra, Satyendra Bhattaram	Patterns Approach to Building Software Systems.	STRAW	2003	DBLP BibTeX RDF
1	Satish Chandra, Patrice Godefroid, Christopher Palm	Software model checking in practice: an industrial case study.	ICSE	2002	DBLP DOI BibTeX RDF
1	Glenn Bruns, Satish Chandra	Searching for points-to analysis.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter	What packets may come: automata for network monitoring.	POPL	2001	DBLP DOI BibTeX RDF	TCP/IP
1	Atanas Rountev, Satish Chandra	Off-line variable substitution for scaling points-to analysis.	PLDI	2000	DBLP DOI BibTeX RDF
1	Peter J. McCann, Satish Chandra	Packet Types: Abstract specifications of network protocol messages.	SIGCOMM	2000	DBLP DOI BibTeX RDF
1	Satish Chandra, Brad Richards, James R. Larus	Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed systems, verification, Domain-specific languages, continuations, cache coherence
1	Satish Chandra, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
1	Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps	Coping with Type Casts in C.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
1	Satish Chandra	A tutorial and diagnostic tool for chaotic oscillators and time series.	Computers & Graphics	1997	DBLP DOI BibTeX RDF
1	Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson	Experience with a Language for Writing Coherence Protocols.	DSL	1997	DBLP BibTeX RDF
1	Satish Chandra, James R. Larus	Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory.	PPOPP	1997	DBLP DOI BibTeX RDF
1	Satish Chandra, Brad Richards, James R. Larus	Teapot: Language Support for Writing Memory Coherence Protocols.	PLDI	1996	DBLP DOI BibTeX RDF
1	Satish Chandra, James R. Larus	HPF on Fine-Grain Distributed Shared Memory: Early Experience.	LCPC	1996	DBLP DOI BibTeX RDF
1	Satish Chandra, James R. Larus, Anne Rogers	Where is Time Spent in Message-Passing and Shared-Memory Programs?	ASPLOS	1994	DBLP DOI BibTeX RDF
1	David A. Wood, Satish Chandra, Babak Falsafi, Mark D. Hill, James R. Larus, Alvin R. Lebeck, James C. Lewis, Shubhendu S. Mukherjee, Subbarao Palacharla, Steven K. Reinhardt	Mechanisms for Cooperative Shared Memory.	ISCA	1993	DBLP DOI BibTeX RDF

Publications of "Satish Chandra" ( http://dblp.L3S.de/Authors/Satish_Chandra )