default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Satish Chandra 0001
@article{DBLP:journals/sigsoft/JabbarvandTBC24,
author = {Reyhaneh Jabbarvand and
Saeid Tizpaz{-}Niari and
Earl T. Barr and
Satish Chandra},
title = {Summary of the 1st Interpretability and Robustness in Neural Software
Engineering (InteNSE 2023)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {49},
number = {1},
pages = {30--33},
year = {2024},
url = {https://doi.org/10.1145/3635439.3635446},
doi = {10.1145/3635439.3635446},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/JabbarvandTBC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/DAngeloMCM24,
author = {Sarah D'Angelo and
Ambar Murillo and
Satish Chandra and
Andrew Macvean},
title = {What Do Developers Want From AI?},
journal = {{IEEE} Softw.},
volume = {41},
number = {3},
pages = {11--15},
year = {2024},
url = {https://doi.org/10.1109/MS.2024.3363538},
doi = {10.1109/MS.2024.3363538},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/DAngeloMCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiware/Chandra24,
author = {Satish Chandra},
editor = {Bram Adams and
Thomas Zimmermann and
Ipek Ozkaya and
Dayi Lin and
Jie M. Zhang},
title = {{AI} in Software Engineering at Google: Progress and the Path Ahead
(Invited Talk)},
booktitle = {Proceedings of the 1st {ACM} International Conference on AI-Powered
Software, AIware 2024, Porto de Galinhas, Brazil, July 15-16, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3664646.3676277},
doi = {10.1145/3664646.3676277},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiware/Chandra24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FrommgenA24,
author = {Alexander Fr{\"{o}}mmgen and
Jacob Austin and
Peter Choy and
Nimesh Ghelani and
Lera Kharatyan and
Gabriela Surita and
Elena Khrapko and
Pascal Lamblin and
Pierre{-}Antoine Manzagol and
Marcus Revaj and
Maxim Tabachnyk and
Daniel Tarlow and
Kevin Villela and
Daniel Zheng and
Satish Chandra and
Petros Maniatis},
title = {Resolving Code Review Comments with Machine Learning},
booktitle = {Proceedings of the 46th International Conference on Software Engineering:
Software Engineering in Practice, {ICSE-SEIP} 2024, Lisbon, Portugal,
April 14-20, 2024},
pages = {204--215},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639477.3639746},
doi = {10.1145/3639477.3639746},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/FrommgenA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/CitoDM024,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Counterfactual Explanations for Models of Code},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {91--92},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_27},
doi = {10.18420/SW2024\_27},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/CitoDM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-04820,
author = {Kensen Shi and
Deniz Altinb{\"{u}}ken and
Saswat Anand and
Mihai Christodorescu and
Katja Gr{\"{u}}nwedel and
Alexa Koenings and
Sai Naidu and
Anurag Pathak and
Marc Rasi and
Fredde Ribeiro and
Brandon Ruffin and
Siddhant Sanyam and
Maxim Tabachnyk and
Sara Toth and
Roy Tu and
Tobias Welp and
Pengcheng Yin and
Manzil Zaheer and
Satish Chandra and
Charles Sutton},
title = {Natural Language Outlines for Code: Literate Programming in the {LLM}
Era},
journal = {CoRR},
volume = {abs/2408.04820},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.04820},
doi = {10.48550/ARXIV.2408.04820},
eprinttype = {arXiv},
eprint = {2408.04820},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-04820.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/TantithamthavornCHC23,
author = {Chakkrit Tantithamthavorn and
J{\"{u}}rgen Cito and
Hadi Hemmati and
Satish Chandra},
title = {Explainable {AI} for {SE:} Challenges and Future Directions},
journal = {{IEEE} Softw.},
volume = {40},
number = {3},
pages = {29--33},
year = {2023},
url = {https://doi.org/10.1109/MS.2023.3246686},
doi = {10.1109/MS.2023.3246686},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/TantithamthavornCHC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CitoCTH23,
author = {J{\"{u}}rgen Cito and
Satish Chandra and
Chakkrit Tantithamthavorn and
Hadi Hemmati},
title = {Expert Perspectives on Explainability},
journal = {{IEEE} Softw.},
volume = {40},
number = {3},
pages = {84--88},
year = {2023},
url = {https://doi.org/10.1109/MS.2023.3255663},
doi = {10.1109/MS.2023.3255663},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CitoCTH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2023,
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643},
doi = {10.1145/3611643},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/PradelC22,
author = {Michael Pradel and
Satish Chandra},
title = {Neural software analysis},
journal = {Commun. {ACM}},
volume = {65},
number = {1},
pages = {86--96},
year = {2022},
url = {https://doi.org/10.1145/3460348},
doi = {10.1145/3460348},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/PradelC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CitoDMC22,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
title = {Counterfactual Explanations for Models of Code},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2022, Pittsburgh,
PA, USA, May 22-24, 2022},
pages = {125--134},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9794112},
doi = {10.1109/ICSE-SEIP55303.2022.9794112},
timestamp = {Tue, 28 Jun 2022 16:23:39 +0200},
biburl = {https://dblp.org/rec/conf/icse/CitoDMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SivaramanASAC22,
author = {Aishwarya Sivaraman and
Rui Abreu and
Andrew Scott and
Tobi Akomolede and
Satish Chandra},
title = {Mining Idioms in the Wild},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2022, Pittsburgh,
PA, USA, May 22-24, 2022},
pages = {187--196},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9794062},
doi = {10.1109/ICSE-SEIP55303.2022.9794062},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SivaramanASAC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NamR0Q022,
author = {Daye Nam and
Baishakhi Ray and
Seohyun Kim and
Xianshan Qu and
Satish Chandra},
editor = {Swarat Chaudhuri and
Charles Sutton},
title = {Predictive synthesis of API-centric code},
booktitle = {MAPS@PLDI 2022: 6th {ACM} {SIGPLAN} International Symposium on Machine
Programming, San Diego, CA, USA, 13 June 2022},
pages = {40--49},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520312.3534866},
doi = {10.1145/3520312.3534866},
timestamp = {Wed, 29 Jun 2022 12:22:44 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NamR0Q022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chen0AR0N22,
author = {Lawrence Chen and
Rui Abreu and
Tobi Akomolede and
Peter C. Rigby and
Satish Chandra and
Nachiappan Nagappan},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Leveraging test plan quality to improve code review efficacy},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1320--1330},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3558952},
doi = {10.1145/3540250.3558952},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Chen0AR0N22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03758,
author = {Daye Nam and
Baishakhi Ray and
Seohyun Kim and
Xianshan Qu and
Satish Chandra},
title = {Predictive Synthesis of API-Centric Code},
journal = {CoRR},
volume = {abs/2201.03758},
year = {2022},
url = {https://arxiv.org/abs/2201.03758},
eprinttype = {arXiv},
eprint = {2201.03758},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GouesPRC21,
author = {Claire {Le Goues} and
Michael Pradel and
Abhik Roychoudhury and
Satish Chandra},
title = {Automatic Program Repair},
journal = {{IEEE} Softw.},
volume = {38},
number = {4},
pages = {22--27},
year = {2021},
url = {https://doi.org/10.1109/MS.2021.3072577},
doi = {10.1109/MS.2021.3072577},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GouesPRC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BaderKLCM21,
author = {Johannes Bader and
Sonia Seohyun Kim and
Frank Sifei Luan and
Satish Chandra and
Erik Meijer},
title = {{AI} in Software Engineering at Facebook},
journal = {{IEEE} Softw.},
volume = {38},
number = {4},
pages = {52--61},
year = {2021},
url = {https://doi.org/10.1109/MS.2021.3061664},
doi = {10.1109/MS.2021.3061664},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BaderKLCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KimZT021,
author = {Seohyun Kim and
Jinman Zhao and
Yuchi Tian and
Satish Chandra},
title = {Code Prediction by Feeding Trees to Transformers},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {150--162},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00026},
doi = {10.1109/ICSE43902.2021.00026},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KimZT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MuraliGQ021,
author = {Vijayaraghavan Murali and
Lee Gross and
Rebecca Qian and
Satish Chandra},
title = {Industry-Scale IR-Based Bug Localization: {A} Perspective from Facebook},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2021, Madrid, Spain,
May 25-28, 2021},
pages = {188--197},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-SEIP52600.2021.00028},
doi = {10.1109/ICSE-SEIP52600.2021.00028},
timestamp = {Mon, 28 Jun 2021 14:13:45 +0200},
biburl = {https://dblp.org/rec/conf/icse/MuraliGQ021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BellerWBSM0021,
author = {Moritz Beller and
Chu{-}Pan Wong and
Johannes Bader and
Andrew Scott and
Mateusz Machalica and
Satish Chandra and
Erik Meijer},
title = {What It Would Take to Use Mutation Testing in Industry - {A} Study
at Facebook},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2021, Madrid, Spain,
May 25-28, 2021},
pages = {268--277},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-SEIP52600.2021.00036},
doi = {10.1109/ICSE-SEIP52600.2021.00036},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BellerWBSM0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MuraliY0021,
author = {Vijayaraghavan Murali and
Edward Yao and
Umang Mathur and
Satish Chandra},
title = {Scalable Statistical Root Cause Analysis on App Telemetry},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2021, Madrid, Spain,
May 25-28, 2021},
pages = {288--297},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-SEIP52600.2021.00038},
doi = {10.1109/ICSE-SEIP52600.2021.00038},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MuraliY0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CitoD0M021,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Seohyun Kim and
Vijayaraghavan Murali and
Satish Chandra},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Explaining mispredictions of machine learning models using rule induction},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {716--727},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468614},
doi = {10.1145/3468264.3468614},
timestamp = {Sat, 21 Aug 2021 19:12:34 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CitoD0M021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06402,
author = {Aishwarya Sivaraman and
Rui Abreu and
Andrew Scott and
Tobi Akomolede and
Satish Chandra},
title = {Mining Idioms in the Wild},
journal = {CoRR},
volume = {abs/2107.06402},
year = {2021},
url = {https://arxiv.org/abs/2107.06402},
eprinttype = {arXiv},
eprint = {2107.06402},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-05711,
author = {J{\"{u}}rgen Cito and
Isil Dillig and
Vijayaraghavan Murali and
Satish Chandra},
title = {Counterfactual Explanations for Models of Code},
journal = {CoRR},
volume = {abs/2111.05711},
year = {2021},
url = {https://arxiv.org/abs/2111.05711},
eprinttype = {arXiv},
eprint = {2111.05711},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-05711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/QianYPMF020,
author = {Rebecca Qian and
Yang Yu and
Wonhee Park and
Vijayaraghavan Murali and
Stephen Fink and
Satish Chandra},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Debugging crashes using \emph{continuous} contrast set mining},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {61--70},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381369},
doi = {10.1145/3377813.3381369},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/QianYPMF020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PradelMQMM020,
author = {Michael Pradel and
Vijayaraghavan Murali and
Rebecca Qian and
Mateusz Machalica and
Erik Meijer and
Satish Chandra},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Scaffle: bug localization on millions of files},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {225--236},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397356},
doi = {10.1145/3395363.3397356},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PradelMQMM020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PradelGL020,
author = {Michael Pradel and
Georgios Gousios and
Jason Liu and
Satish Chandra},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {TypeWriter: neural type prediction with search-based validation},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {209--220},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409715},
doi = {10.1145/3368089.3409715},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PradelGL020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BarnabyS0G020,
author = {Celeste Barnaby and
Koushik Sen and
Tianyi Zhang and
Elena L. Glassman and
Satish Chandra},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Exempla gratis {(E.G.):} code examples for free},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1353--1364},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417052},
doi = {10.1145/3368089.3417052},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BarnabyS0G020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-13848,
author = {Seohyun Kim and
Jinman Zhao and
Yuchi Tian and
Satish Chandra},
title = {Code Prediction by Feeding Trees to Transformers},
journal = {CoRR},
volume = {abs/2003.13848},
year = {2020},
url = {https://arxiv.org/abs/2003.13848},
eprinttype = {arXiv},
eprint = {2003.13848},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09974,
author = {Vijayaraghavan Murali and
Edward Yao and
Umang Mathur and
Satish Chandra},
title = {Scalable Statistical Root Cause Analysis on App Telemetry},
journal = {CoRR},
volume = {abs/2010.09974},
year = {2020},
url = {https://arxiv.org/abs/2010.09974},
eprinttype = {arXiv},
eprint = {2010.09974},
timestamp = {Fri, 30 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09977,
author = {Vijayaraghavan Murali and
Lee Gross and
Rebecca Qian and
Satish Chandra},
title = {Industry-scale IR-based Bug Localization: {A} Perspective from Facebook},
journal = {CoRR},
volume = {abs/2010.09977},
year = {2020},
url = {https://arxiv.org/abs/2010.09977},
eprinttype = {arXiv},
eprint = {2010.09977},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13464,
author = {Moritz Beller and
Chu{-}Pan Wong and
Johannes Bader and
Andrew Scott and
Mateusz Machalica and
Satish Chandra and
Erik Meijer},
title = {What It Would Take to Use Mutation Testing in Industry-A Study at
Facebook},
journal = {CoRR},
volume = {abs/2010.13464},
year = {2020},
url = {https://arxiv.org/abs/2010.13464},
eprinttype = {arXiv},
eprint = {2010.13464},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-01407,
author = {Celeste Barnaby and
Koushik Sen and
Tianyi Zhang and
Elena L. Glassman and
Satish Chandra},
title = {Exempla Gratis {(E.G.):} Code Examples for Free},
journal = {CoRR},
volume = {abs/2011.01407},
year = {2020},
url = {https://arxiv.org/abs/2011.01407},
eprinttype = {arXiv},
eprint = {2011.01407},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-01407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07986,
author = {Michael Pradel and
Satish Chandra},
title = {Neural Software Analysis},
journal = {CoRR},
volume = {abs/2011.07986},
year = {2020},
url = {https://arxiv.org/abs/2011.07986},
eprinttype = {arXiv},
eprint = {2011.07986},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LuanYBS019,
author = {Sifei Luan and
Di Yang and
Celeste Barnaby and
Koushik Sen and
Satish Chandra},
title = {Aroma: code recommendation via structural code search},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {152:1--152:28},
year = {2019},
url = {https://doi.org/10.1145/3360578},
doi = {10.1145/3360578},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LuanYBS019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaderSP019,
author = {Johannes Bader and
Andrew Scott and
Michael Pradel and
Satish Chandra},
title = {Getafix: learning to fix bugs automatically},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {159:1--159:27},
year = {2019},
url = {https://doi.org/10.1145/3360585},
doi = {10.1145/3360585},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BaderSP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MachalicaSP019,
author = {Mateusz Machalica and
Alex Samylkin and
Meredith Porth and
Satish Chandra},
editor = {Helen Sharp and
Mike Whalen},
title = {Predictive test selection},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {91--100},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-SEIP.2019.00018},
doi = {10.1109/ICSE-SEIP.2019.00018},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MachalicaSP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MargineanBCH0MM19,
author = {Alexandru Marginean and
Johannes Bader and
Satish Chandra and
Mark Harman and
Yue Jia and
Ke Mao and
Alexander Mols and
Andrew Scott},
editor = {Helen Sharp and
Mike Whalen},
title = {SapFix: automated end-to-end repair at scale},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2019, Montreal,
QC, Canada, May 25-31, 2019},
pages = {269--278},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-SEIP.2019.00039},
doi = {10.1109/ICSE-SEIP.2019.00039},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MargineanBCH0MM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuKMC019,
author = {Jason Liu and
Seohyun Kim and
Vijayaraghavan Murali and
Swarat Chaudhuri and
Satish Chandra},
editor = {Tim Mattson and
Abdullah Muzahid and
Armando Solar{-}Lezama},
title = {Neural query expansion for code search},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {29--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315508.3329975},
doi = {10.1145/3315508.3329975},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuKMC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CambroneroLKS019,
author = {Jos{\'{e}} Cambronero and
Hongyu Li and
Seohyun Kim and
Koushik Sen and
Satish Chandra},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {When deep learning met code search},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {964--974},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3340458},
doi = {10.1145/3338906.3340458},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CambroneroLKS019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06111,
author = {Andrew Scott and
Johannes Bader and
Satish Chandra},
title = {Getafix: Learning to fix bugs automatically},
journal = {CoRR},
volume = {abs/1902.06111},
year = {2019},
url = {http://arxiv.org/abs/1902.06111},
eprinttype = {arXiv},
eprint = {1902.06111},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03813,
author = {Jos{\'{e}} Cambronero and
Hongyu Li and
Seohyun Kim and
Koushik Sen and
Satish Chandra},
title = {When Deep Learning Met Code Search},
journal = {CoRR},
volume = {abs/1905.03813},
year = {2019},
url = {http://arxiv.org/abs/1905.03813},
eprinttype = {arXiv},
eprint = {1905.03813},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09804,
author = {Hongyu Li and
Seohyun Kim and
Satish Chandra},
title = {Neural Code Search Evaluation Dataset},
journal = {CoRR},
volume = {abs/1908.09804},
year = {2019},
url = {http://arxiv.org/abs/1908.09804},
eprinttype = {arXiv},
eprint = {1908.09804},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04768,
author = {Rebecca Qian and
Yang Yu and
Wonhee Park and
Vijayaraghavan Murali and
Stephen Fink and
Satish Chandra},
title = {Debugging Crashes using Continuous Contrast Set Mining},
journal = {CoRR},
volume = {abs/1911.04768},
year = {2019},
url = {http://arxiv.org/abs/1911.04768},
eprinttype = {arXiv},
eprint = {1911.04768},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-03768,
author = {Michael Pradel and
Georgios Gousios and
Jason Liu and
Satish Chandra},
title = {TypeWriter: Neural Type Prediction with Search-based Validation},
journal = {CoRR},
volume = {abs/1912.03768},
year = {2019},
url = {http://arxiv.org/abs/1912.03768},
eprinttype = {arXiv},
eprint = {1912.03768},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-03768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SachdevLLKS018,
author = {Saksham Sachdev and
Hongyu Li and
Sifei Luan and
Seohyun Kim and
Koushik Sen and
Satish Chandra},
editor = {Justin Gottschlich and
Alvin Cheung},
title = {Retrieval on source code: a neural code search},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia,
PA, USA, June 18-22, 2018},
pages = {31--41},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3211346.3211353},
doi = {10.1145/3211346.3211353},
timestamp = {Sun, 12 Nov 2023 02:12:56 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SachdevLLKS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05286,
author = {Mateusz Machalica and
Alex Samylkin and
Meredith Porth and
Satish Chandra},
title = {Predictive Test Selection},
journal = {CoRR},
volume = {abs/1810.05286},
year = {2018},
url = {http://arxiv.org/abs/1810.05286},
eprinttype = {arXiv},
eprint = {1810.05286},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01158,
author = {Sifei Luan and
Di Yang and
Koushik Sen and
Satish Chandra},
title = {Aroma: Code Recommendation via Structural Code Search},
journal = {CoRR},
volume = {abs/1812.01158},
year = {2018},
url = {http://arxiv.org/abs/1812.01158},
eprinttype = {arXiv},
eprint = {1812.01158},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DanS0JV17,
author = {Andrei Marian Dan and
Manu Sridharan and
Satish Chandra and
Jean{-}Baptiste Jeannin and
Martin T. Vechev},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {521--541},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_27},
doi = {10.1007/978-3-319-63390-9\_27},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DanS0JV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Newcomb0JSS17,
author = {Julie L. Newcomb and
Satish Chandra and
Jean{-}Baptiste Jeannin and
Cole Schlesinger and
Manu Sridharan},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {I{\textquestiondown}{\textquestiondown}{\textquestiondown}: a calculus
for internet of things automation},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {119--133},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133860},
doi = {10.1145/3133850.3133860},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Newcomb0JSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ChandraTS16,
author = {Satish Chandra and
Suresh Thummalapenta and
Saurabh Sinha},
title = {Lessons from the tech transfer trenches},
journal = {Commun. {ACM}},
volume = {59},
number = {2},
pages = {37--39},
year = {2016},
url = {https://doi.org/10.1145/2811254},
doi = {10.1145/2811254},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/ChandraTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RoychoudhuryC16,
author = {Abhik Roychoudhury and
Satish Chandra},
title = {Formula-based software debugging},
journal = {Commun. {ACM}},
volume = {59},
number = {7},
pages = {68--77},
year = {2016},
url = {https://doi.org/10.1145/2856103},
doi = {10.1145/2856103},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/RoychoudhuryC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AndreasenGCSTS16,
author = {Esben Andreasen and
Colin S. Gordon and
Satish Chandra and
Manu Sridharan and
Frank Tip and
Koushik Sen},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {1:1--1:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.1},
doi = {10.4230/LIPICS.ECOOP.2016.1},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AndreasenGCSTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/0001GJSSTC16,
author = {Satish Chandra and
Colin S. Gordon and
Jean{-}Baptiste Jeannin and
Cole Schlesinger and
Manu Sridharan and
Frank Tip and
Young{-}Il Choi},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Type inference for static compilation of JavaScript},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {410--429},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984017},
doi = {10.1145/2983990.2984017},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/0001GJSSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Loncaric0SS16,
author = {Calvin Loncaric and
Satish Chandra and
Cole Schlesinger and
Manu Sridharan},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {A practical framework for type inference error explanation},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {781--799},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2983994},
doi = {10.1145/2983990.2983994},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Loncaric0SS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndreasenGCSTS16,
author = {Esben Andreasen and
Colin S. Gordon and
Satish Chandra and
Manu Sridharan and
Frank Tip and
Koushik Sen},
title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems
(Extended Version)},
journal = {CoRR},
volume = {abs/1605.01362},
year = {2016},
url = {http://arxiv.org/abs/1605.01362},
eprinttype = {arXiv},
eprint = {1605.01362},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndreasenGCSTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChandraGJSSTC16,
author = {Satish Chandra and
Colin S. Gordon and
Jean{-}Baptiste Jeannin and
Cole Schlesinger and
Manu Sridharan and
Frank Tip and
Young{-}Il Choi},
title = {Type Inference for Static Compilation of JavaScript (Extended Version)},
journal = {CoRR},
volume = {abs/1608.07261},
year = {2016},
url = {http://arxiv.org/abs/1608.07261},
eprinttype = {arXiv},
eprint = {1608.07261},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChandraGJSSTC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JensenTSC15,
author = {Simon Holm Jensen and
Suresh Thummalapenta and
Saurabh Sinha and
Satish Chandra},
title = {Test Generation from Business Rules},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102608},
doi = {10.1109/ICST.2015.7102608},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JensenTSC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BarmanBCTBC15,
author = {Shaon Barman and
Rastislav Bod{\'{\i}}k and
Satish Chandra and
Emina Torlak and
Arka Aloke Bhattacharya and
David E. Culler},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Toward tool support for interactive synthesis},
booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2015, Pittsburgh,
PA, USA, October 25-30, 2015},
pages = {121--136},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814235},
doi = {10.1145/2814228.2814235},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BarmanBCTBC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChoiCNS15,
author = {Wontae Choi and
Satish Chandra and
George C. Necula and
Koushik Sen},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {{SJS:} {A} Type System for JavaScript with Fixed Object Layout},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {181--198},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_11},
doi = {10.1007/978-3-662-48288-9\_11},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChoiCNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JensenSSC15,
author = {Simon Holm Jensen and
Manu Sridharan and
Koushik Sen and
Satish Chandra},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {MemInsight: platform-independent memory debugging for JavaScript},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {345--356},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786860},
doi = {10.1145/2786805.2786860},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/JensenSSC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HeuleSC15,
author = {Stefan Heule and
Manu Sridharan and
Satish Chandra},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Mimic: computing models for opaque code},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {710--720},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786875},
doi = {10.1145/2786805.2786875},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HeuleSC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChandraSSR14,
author = {Satish Chandra and
Vibha Singhal Sinha and
Saurabh Sinha and
Krishna Ratakonda},
editor = {James D. Herbsleb and
Matthew B. Dwyer},
title = {Software services: a research roadmap},
booktitle = {Proceedings of the on Future of Software Engineering, {FOSE} 2014,
Hyderabad, India, May 31 - June 7, 2014},
pages = {40--54},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593882.2593892},
doi = {10.1145/2593882.2593892},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChandraSSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathKSC14,
author = {Divya Gopinath and
Sarfraz Khurshid and
Diptikalyan Saha and
Satish Chandra},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Data-guided repair of selection statements},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {243--253},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568303},
doi = {10.1145/2568225.2568303},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GopinathKSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YandrapallyTSC14,
author = {Rahulkrishna Yandrapally and
Suresh Thummalapenta and
Saurabh Sinha and
Satish Chandra},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Robust test automation using contextual clues},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {304--314},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610390},
doi = {10.1145/2610384.2610390},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/YandrapallyTSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chandra14,
author = {Satish Chandra},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Are you getting traction? tales from the tech transfer trenches (invited
talk)},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2684430},
doi = {10.1145/2635868.2684430},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Chandra14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MuraliSTC14,
author = {Vijayaraghavan Murali and
Nishant Sinha and
Emina Torlak and
Satish Chandra},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {What Gives? {A} Hybrid Algorithm for Error Trace Explanation},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {270--286},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_17},
doi = {10.1007/978-3-319-12154-3\_17},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/MuraliSTC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ThummalapentaLSSC13,
author = {Suresh Thummalapenta and
K. Vasanta Lakshmi and
Saurabh Sinha and
Nishant Sinha and
Satish Chandra},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Guided test generation for web applications},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606562},
doi = {10.1109/ICSE.2013.6606562},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ThummalapentaLSSC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenQRC13,
author = {Hoang Duong Thien Nguyen and
Dawei Qi and
Abhik Roychoudhury and
Satish Chandra},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {SemFix: program repair via semantic analysis},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {772--781},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606623},
doi = {10.1109/ICSE.2013.6606623},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NguyenQRC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ThummalapentaDSCGNS13,
author = {Suresh Thummalapenta and
Pranavadatta Devaki and
Saurabh Sinha and
Satish Chandra and
Sivagami Gnanasundaram and
Deepa D. Nagaraj and
Sampathkumar Sathishkumar},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Efficient and change-resilient test automation: an industrial case
study},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1002--1011},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606650},
doi = {10.1109/ICSE.2013.6606650},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ThummalapentaDSCGNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SridharanCDFY13,
author = {Manu Sridharan and
Satish Chandra and
Julian Dolby and
Stephen J. Fink and
Eran Yahav},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Alias Analysis for Object-Oriented Programs},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {196--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_8},
doi = {10.1007/978-3-642-36946-9\_8},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/SridharanCDFY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indiaSE/2013,
editor = {Sugata Ghosal and
Gautam Shroff and
Satish Chandra and
Nachiappan Nagappan},
title = {6th India Software Engineering Conference, {ISEC} '13, New Delhi,
India - February 21 - 23, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2442754},
isbn = {978-1-4503-1987-4},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SinhaSCS12,
author = {Nishant Sinha and
Nimit Singhania and
Satish Chandra and
Manu Sridharan},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Alternate and Learn: Finding Witnesses without Looking All over},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {599--615},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_42},
doi = {10.1007/978-3-642-31424-7\_42},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SinhaSCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SridharanDCST12,
author = {Manu Sridharan and
Julian Dolby and
Satish Chandra and
Max Sch{\"{a}}fer and
Frank Tip},
editor = {James Noble},
title = {Correlation Tracking for Points-To Analysis of JavaScript},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {435--458},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_20},
doi = {10.1007/978-3-642-31057-7\_20},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SridharanDCST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ThummalapentaSSC12,
author = {Suresh Thummalapenta and
Saurabh Sinha and
Nimit Singhania and
Satish Chandra},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Automating test automation},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {881--891},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227131},
doi = {10.1109/ICSE.2012.6227131},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ThummalapentaSSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ThummalapentaSDSCDM12,
author = {Suresh Thummalapenta and
Nimit Singhania and
Pranavadatta Devaki and
Saurabh Sinha and
Satish Chandra and
Achin K. Das and
Srinivas Mangipudi},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Efficiently scripting change-resilient tests},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {41},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393643},
doi = {10.1145/2393596.2393643},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ThummalapentaSDSCDM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChandraTBB11,
author = {Satish Chandra and
Emina Torlak and
Shaon Barman and
Rastislav Bod{\'{\i}}k},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Angelic debugging},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {121--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985811},
doi = {10.1145/1985793.1985811},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChandraTBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SahaNDNSC11,
author = {Diptikalyan Saha and
Mangala Gowri Nanda and
Pankaj Dhoolia and
V. Krishna Nandivada and
Vibha Sinha and
Satish Chandra},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Fault localization for data-centric programs},
booktitle = {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), Szeged, Hungary, September 5-9,
2011},
pages = {157--167},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025137},
doi = {10.1145/2025113.2025137},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SahaNDNSC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NandaGSCSB10,
author = {Mangala Gowri Nanda and
Monika Gupta and
Saurabh Sinha and
Satish Chandra and
David Schmidt and
Pradeep Balachandran},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Making defect-finding tools work for you},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {99--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810310},
doi = {10.1145/1810295.1810310},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NandaGSCSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TorlakC10,
author = {Emina Torlak and
Satish Chandra},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Effective interprocedural resource leak detection},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {535--544},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806876},
doi = {10.1145/1806799.1806876},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TorlakC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BodikCGKTBR10,
author = {Rastislav Bod{\'{\i}}k and
Satish Chandra and
Joel Galenson and
Doug Kimelman and
Nicholas Tung and
Shaon Barman and
Casey Rodarmor},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Programming with angelic nondeterminism},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {339--352},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706339},
doi = {10.1145/1706299.1706339},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BodikCGKTBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChandraFS09,
author = {Satish Chandra and
Stephen J. Fink and
Manu Sridharan},
editor = {Michael Hind and
Amer Diwan},
title = {Snugglebug: a powerful approach to weakest preconditions},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {363--374},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542517},
doi = {10.1145/1542476.1542517},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChandraFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LoginovYCFRN08,
author = {Alexey Loginov and
Eran Yahav and
Satish Chandra and
Stephen Fink and
Noam Rinetzky and
Mangala Gowri Nanda},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Verifying dereference safety via expanding-scope analysis},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {213--224},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390657},
doi = {10.1145/1390630.1390657},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LoginovYCFRN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/DilligDYC08,
author = {Isil Dillig and
Thomas Dillig and
Eran Yahav and
Satish Chandra},
editor = {Richard E. Jones and
Stephen M. Blackburn},
title = {The {CLOSER:} automating resource management in java},
booktitle = {Proceedings of the 7th International Symposium on Memory Management,
{ISMM} 2008, Tucson, AZ, USA, June 7-8, 2008},
pages = {1--10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375634.1375636},
doi = {10.1145/1375634.1375636},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/DilligDYC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/YorshYC08,
author = {Greta Yorsh and
Eran Yahav and
Satish Chandra},
editor = {George C. Necula and
Philip Wadler},
title = {Generating precise and concise procedure summaries},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {221--234},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328467},
doi = {10.1145/1328438.1328467},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/YorshYC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ChandraSSB08,
author = {Satish Chandra and
Vijay A. Saraswat and
Vivek Sarkar and
Rastislav Bod{\'{\i}}k},
editor = {Siddhartha Chatterjee and
Michael L. Scott},
title = {Type inference for locality analysis of distributed data structures},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
USA, February 20-23, 2008},
pages = {11--22},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1345206.1345211},
doi = {10.1145/1345206.1345211},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ChandraSSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/PistoiaCFY07,
author = {Marco Pistoia and
Satish Chandra and
Stephen J. Fink and
Eran Yahav},
title = {A survey of static analysis methods for identifying security vulnerabilities
in software systems},
journal = {{IBM} Syst. J.},
volume = {46},
number = {2},
pages = {265--288},
year = {2007},
url = {https://doi.org/10.1147/sj.462.0265},
doi = {10.1147/SJ.462.0265},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmsj/PistoiaCFY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/ChandraVFHKKNRX06,
author = {Satish Chandra and
Jackie De Vries and
John Field and
Howard M. Hess and
Manivannan Kalidasan and
Raghavan Komondoor and
Frans Nieuwerth and
Ganesan Ramalingam and
Justin Xue},
title = {Technical forum: Using logical data models for understanding and transforming
legacy business applications},
journal = {{IBM} Syst. J.},
volume = {45},
number = {3},
pages = {647--655},
year = {2006},
url = {https://doi.org/10.1147/sj.453.0647},
doi = {10.1147/SJ.453.0647},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmsj/ChandraVFHKKNRX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/SinhaSC06,
author = {Vibha Sinha and
Bikram Sengupta and
Satish Chandra},
title = {Enabling Collaboration in Distributed Requirements Management},
journal = {{IEEE} Softw.},
volume = {23},
number = {5},
pages = {52--61},
year = {2006},
url = {https://doi.org/10.1109/MS.2006.123},
doi = {10.1109/MS.2006.123},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/SinhaSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SenguptaCS06,
author = {Bikram Sengupta and
Satish Chandra and
Vibha Sinha},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {A research agenda for distributed software development},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {731--740},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134402},
doi = {10.1145/1134285.1134402},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SenguptaCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NandaGC05,
author = {Mangala Gowri Nanda and
Christian Grothoff and
Satish Chandra},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Deriving object typestates in the presence of inter-object references},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {77--96},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094818},
doi = {10.1145/1094811.1094818},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NandaGC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KomondoorRCF05,
author = {Raghavan Komondoor and
Ganesan Ramalingam and
Satish Chandra and
John Field},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Dependent Types for Program Understanding},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {157--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_11},
doi = {10.1007/978-3-540-31980-1\_11},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KomondoorRCF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/Chandra04,
author = {Satish Chandra},
editor = {R. K. Ghosh and
Hrushikesha Mohanty},
title = {Tools and Techniques for Multi-site Sotware Development},
booktitle = {Distributed Computing and Internet Technology, First International
Conference, {ICDCIT} 2004, Bhubaneswar, India, December 22-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3347},
pages = {243},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30555-2\_28},
doi = {10.1007/978-3-540-30555-2\_28},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/Chandra04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NandaCS04,
author = {Mangala Gowri Nanda and
Satish Chandra and
Vivek Sarkar},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Decentralizing execution of composite web services},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {170--187},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028991},
doi = {10.1145/1028976.1028991},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NandaCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrunsC03,
author = {Glenn Bruns and
Satish Chandra},
title = {Searching for Points-To Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {10},
pages = {883--897},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1237170},
doi = {10.1109/TSE.2003.1237170},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrunsC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/HasanCV03,
author = {Jahangir Hasan and
Satish Chandra and
T. N. Vijaykumar},
editor = {Allan Gottlieb and
Kai Li},
title = {Efficient Use of Memory Bandwidth to Improve Network Processor Throughput},
booktitle = {30th International Symposium on Computer Architecture {(ISCA} 2003),
9-11 June 2003, San Diego, California, {USA}},
pages = {300--311},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISCA.2003.1207009},
doi = {10.1109/ISCA.2003.1207009},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/HasanCV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChandraGP02,
author = {Satish Chandra and
Patrice Godefroid and
Christopher Palm},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Software model checking in practice: an industrial case study},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {431--441},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581393},
doi = {10.1145/581339.581393},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChandraGP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrunsC02,
author = {Glenn Bruns and
Satish Chandra},
title = {Searching for points-to analysis},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {61--70},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587061},
doi = {10.1145/587051.587061},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrunsC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BhargavanCMG01,
author = {Karthikeyan Bhargavan and
Satish Chandra and
Peter J. McCann and
Carl A. Gunter},
editor = {Chris Hankin and
Dave Schmidt},
title = {What packets may come: automata for network monitoring},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {206--219},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360221},
doi = {10.1145/360204.360221},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BhargavanCMG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RouhtevC00,
author = {Atanas Rountev and
Satish Chandra},
editor = {Monica S. Lam},
title = {Off-line variable substitution for scaling points-to analysis},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {47--56},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349310},
doi = {10.1145/349299.349310},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RouhtevC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/McCannC00,
author = {Peter J. McCann and
Satish Chandra},
editor = {Craig Partridge},
title = {Packet Types: Abstract specifications of network protocol messages},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2000 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communication,
August 28 - September 1, 2000, Stockholm, Sweden},
pages = {321--333},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347059.347563},
doi = {10.1145/347059.347563},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/McCannC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ChandraR99,
author = {Satish Chandra and
Thomas W. Reps},
title = {Physical type checking for {C}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {5},
pages = {66--75},
year = {1999},
url = {https://doi.org/10.1145/381788.316183},
doi = {10.1145/381788.316183},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ChandraR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChandraRL99,
author = {Satish Chandra and
Brad Richards and
James R. Larus},
title = {Teapot: {A} Domain-Specific Language for Writing Cache Coherence Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {25},
number = {3},
pages = {317--333},
year = {1999},
url = {https://doi.org/10.1109/32.798322},
doi = {10.1109/32.798322},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChandraRL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/SiffCBKR99,
author = {Michael Siff and
Satish Chandra and
Thomas Ball and
Krishna Kunchithapadam and
Thomas W. Reps},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Coping with Type Casts in {C}},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {180--198},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_12},
doi = {10.1007/3-540-48166-4\_12},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esec/SiffCBKR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/ChandraR99,
author = {Satish Chandra and
Thomas W. Reps},
editor = {William G. Griswold and
Susan Horwitz},
title = {Physical Type Checking for {C}},
booktitle = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
September 6, 1999},
pages = {66--75},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/316158.316183},
doi = {10.1145/316158.316183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/ChandraR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/ChandraLDRWA97,
author = {Satish Chandra and
James R. Larus and
Michael Dahlin and
Brad Richards and
Randolph Y. Wang and
Thomas E. Anderson},
editor = {Chris Ramming},
title = {Experience with a Language for Writing Coherence Protocols},
booktitle = {Proceedings of the Conference on Domain-Specific Languages, DSL'97,
Santa Barbara, California, USA, October 15-17, 1997},
pages = {51--66},
publisher = {{USENIX}},
year = {1997},
url = {http://www.usenix.org/publications/library/proceedings/dsl97/chandra.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsl/ChandraLDRWA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ChandraL97,
author = {Satish Chandra and
James R. Larus},
editor = {Robert Schreiber and
Keshav Pingali and
A. Michael Berman},
title = {Optimizing Communication in {HPF} programs for Fine-Grain Distributed
Shared Memory},
booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} Symposium on Principles {\&}
Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA,
June 18-21, 1997},
pages = {100--111},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263764.263780},
doi = {10.1145/263764.263780},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ChandraL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ChandraL96,
author = {Satish Chandra and
James R. Larus},
editor = {David C. Sehr and
Utpal Banerjee and
David Gelernter and
Alexandru Nicolau and
David A. Padua},
title = {{HPF} on Fine-Grain Distributed Shared Memory: Early Experience},
booktitle = {Languages and Compilers for Parallel Computing, 9th International
Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1239},
pages = {450--465},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0017269},
doi = {10.1007/BFB0017269},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/ChandraL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChandraRL96,
author = {Satish Chandra and
Brad Richards and
James R. Larus},
editor = {Charles N. Fischer},
title = {Teapot: Language Support for Writing Memory Coherence Protocols},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {237--248},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231430},
doi = {10.1145/231379.231430},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChandraRL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChandraLR94,
author = {Satish Chandra and
James R. Larus and
Anne Rogers},
editor = {Forest Baskett and
Douglas W. Clark},
title = {Where is Time Spent in Message-Passing and Shared-Memory Programs?},
booktitle = {{ASPLOS-VI} Proceedings - Sixth International Conference on Architectural
Support for Programming Languages and Operating Systems, San Jose,
California, USA, October 4-7, 1994},
pages = {61--73},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/195473.195501},
doi = {10.1145/195473.195501},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/ChandraLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/WoodCFHLLLMPR93,
author = {David A. Wood and
Satish Chandra and
Babak Falsafi and
Mark D. Hill and
James R. Larus and
Alvin R. Lebeck and
James C. Lewis and
Shubhendu S. Mukherjee and
Subbarao Palacharla and
Steven K. Reinhardt},
editor = {Alan Jay Smith},
title = {Mechanisms for Cooperative Shared Memory},
booktitle = {Proceedings of the 20th Annual International Symposium on Computer
Architecture, San Diego, CA, USA, May 1993},
pages = {156--167},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165123.165151},
doi = {10.1145/165123.165151},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/WoodCFHLLLMPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-22 00:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
