Satish Chandra

According to our database1, Satish Chandra authored at least 80 papers between 1993 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Neural Software Analysis.
CoRR, 2020

What It Would Take to Use Mutation Testing in Industry-A Study at Facebook.
CoRR, 2020

Industry-scale IR-based Bug Localization: A Perspective from Facebook.
CoRR, 2020

Scalable Statistical Root Cause Analysis on App Telemetry.
CoRR, 2020

Code Prediction by Feeding Trees to Transformers.
CoRR, 2020

TypeWriter: neural type prediction with search-based validation.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Exempla gratis (E.G.): code examples for free.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Scaffle: bug localization on millions of files.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Debugging crashes using <i>continuous</i> contrast set mining.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019
Aroma: code recommendation via structural code search.
Proc. ACM Program. Lang., 2019

Getafix: learning to fix bugs automatically.
Proc. ACM Program. Lang., 2019

Debugging Crashes using Continuous Contrast Set Mining.
CoRR, 2019

Neural Code Search Evaluation Dataset.
CoRR, 2019

Getafix: Learning to fix bugs automatically.
CoRR, 2019

When deep learning met code search.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Neural query expansion for code search.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

SapFix: automated end-to-end repair at scale.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

Predictive test selection.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018
Aroma: Code Recommendation via Structural Code Search.
CoRR, 2018

Retrieval on source code: a neural code search.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

2017
I¿¿¿: a calculus for internet of things automation.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Type Inference for Static Compilation of JavaScript (Extended Version).
CoRR, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR, 2016

Formula-based software debugging.
Commun. ACM, 2016

Lessons from the tech transfer trenches.
Commun. ACM, 2016

A practical framework for type inference error explanation.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Type inference for static compilation of JavaScript.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
MemInsight: platform-independent memory debugging for JavaScript.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Mimic: computing models for opaque code.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Toward tool support for interactive synthesis.
Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Test Generation from Business Rules.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
What Gives? A Hybrid Algorithm for Error Trace Explanation.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Are you getting traction? tales from the tech transfer trenches (invited talk).
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Robust test automation using contextual clues.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Data-guided repair of selection statements.
Proceedings of the 36th International Conference on Software Engineering, 2014

Software services: a research roadmap.
Proceedings of the on Future of Software Engineering, 2014

2013
Alias Analysis for Object-Oriented Programs.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Guided test generation for web applications.
Proceedings of the 35th International Conference on Software Engineering, 2013

Efficient and change-resilient test automation: an industrial case study.
Proceedings of the 35th International Conference on Software Engineering, 2013

SemFix: program repair via semantic analysis.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Efficiently scripting change-resilient tests.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Automating test automation.
Proceedings of the 34th International Conference on Software Engineering, 2012

Correlation Tracking for Points-To Analysis of JavaScript.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Alternate and Learn: Finding Witnesses without Looking All over.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Fault localization for data-centric programs.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Angelic debugging.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Programming with angelic nondeterminism.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Effective interprocedural resource leak detection.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Making defect-finding tools work for you.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Snugglebug: a powerful approach to weakest preconditions.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Type inference for locality analysis of distributed data structures.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Generating precise and concise procedure summaries.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

The CLOSER: automating resource management in java.
Proceedings of the 7th International Symposium on Memory Management, 2008

Verifying dereference safety via expanding-scope analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
A survey of static analysis methods for identifying security vulnerabilities in software systems.
IBM Syst. J., 2007

2006
Enabling Collaboration in Distributed Requirements Management.
IEEE Softw., 2006

Technical forum: Using logical data models for understanding and transforming legacy business applications.
IBM Syst. J., 2006

A research agenda for distributed software development.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Dependent Types for Program Understanding.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Deriving object typestates in the presence of inter-object references.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004
Decentralizing execution of composite web services.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Tools and Techniques for Multi-site Sotware Development.
Proceedings of the Distributed Computing and Internet Technology, 2004

2003
Searching for Points-To Analysis.
IEEE Trans. Software Eng., 2003

Efficient Use of Memory Bandwidth to Improve Network Processor Throughput.
Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

2002
Software model checking in practice: an industrial case study.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
What packets may come: automata for network monitoring.
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000
Packet Types: Abstract specifications of network protocol messages.
Proceedings of the ACM SIGCOMM 2000 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 28, 2000

Off-line variable substitution for scaling points-to analysis.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.
IEEE Trans. Software Eng., 1999

Physical type checking for C.
ACM SIGSOFT Softw. Eng. Notes, 1999

Coping with Type Casts in C.
Proceedings of the Software Engineering, 1999

1997
Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

Experience with a Language for Writing Coherence Protocols.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Teapot: Language Support for Writing Memory Coherence Protocols.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

HPF on Fine-Grain Distributed Shared Memory: Early Experience.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

1994
Where is Time Spent in Message-Passing and Shared-Memory Programs?
Proceedings of the ASPLOS-VI Proceedings, 1994

1993
Mechanisms for Cooperative Shared Memory.
Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993


  Loading...