default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Koushik Sen
@article{DBLP:journals/software/KadronNPBPS24,
author = {Ismet Burak Kadron and
Yannic Noller and
Rohan Padhye and
Tevfik Bultan and
Corina S. Pasareanu and
Koushik Sen},
title = {Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing},
journal = {{IEEE} Softw.},
volume = {41},
number = {1},
pages = {98--104},
year = {2024},
url = {https://doi.org/10.1109/MS.2023.3237981},
doi = {10.1109/MS.2023.3237981},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/KadronNPBPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/GuLJOLSS24,
author = {Alex Gu and
Wen{-}Ding Li and
Naman Jain and
Theo Olausson and
Celine Lee and
Koushik Sen and
Armando Solar{-}Lezama},
editor = {Lun{-}Wei Ku and
Andre Martins and
Vivek Srikumar},
title = {The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances
of Their Incorrect Generations?},
booktitle = {Findings of the Association for Computational Linguistics, {ACL} 2024,
Bangkok, Thailand and virtual meeting, August 11-16, 2024},
pages = {74--117},
publisher = {Association for Computational Linguistics},
year = {2024},
url = {https://doi.org/10.18653/v1/2024.findings-acl.7},
doi = {10.18653/V1/2024.FINDINGS-ACL.7},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/GuLJOLSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/LaeuferFAINS24,
author = {Kevin Laeufer and
Brandon Fajardo and
Abhik Ahuja and
Vighnesh Iyer and
Borivoje Nikolic and
Koushik Sen},
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {RTL-Repair: Fast Symbolic Repair of Hardware Design Code},
booktitle = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
pages = {867--881},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3620666.3651346},
doi = {10.1145/3620666.3651346},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/LaeuferFAINS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/WeiLLZSBA24,
author = {Tianrui Wei and
Kevin Laeufer and
Katie Lim and
Jerry Zhao and
Koushik Sen and
Jonathan Balkind and
Krste Asanovic},
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {Zoomie: {A} Software-like Debugging Tool for FPGAs},
booktitle = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
pages = {1048--1062},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3620666.3651356},
doi = {10.1145/3620666.3651356},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/WeiLLZSBA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/JainZCGSS24,
author = {Naman Jain and
Tianjun Zhang and
Wei{-}Lin Chiang and
Joseph E. Gonzalez and
Koushik Sen and
Ion Stoica},
title = {LLM-Assisted Code Cleaning For Training Accurate Code Generators},
booktitle = {The Twelfth International Conference on Learning Representations,
{ICLR} 2024, Vienna, Austria, May 7-11, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=maRYffiUpI},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/JainZCGSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/JainSZHSS24,
author = {Naman Jain and
Manish Shetty and
Tianjun Zhang and
King Han and
Koushik Sen and
Ion Stoica},
title = {{R2E:} Turning any Github Repository into a Programming Agent Environment},
booktitle = {Forty-first International Conference on Machine Learning, {ICML} 2024,
Vienna, Austria, July 21-27, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=kXHgEYFyf3},
timestamp = {Mon, 02 Sep 2024 16:45:29 +0200},
biburl = {https://dblp.org/rec/conf/icml/JainSZHSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhengS24,
author = {Dan Zheng and
Koushik Sen},
title = {Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine
Learning Programs},
booktitle = {Proceedings of the 46th International Conference on Software Engineering:
Software Engineering in Practice, {ICSE-SEIP} 2024, Lisbon, Portugal,
April 14-20, 2024},
pages = {147--156},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639477.3639718},
doi = {10.1145/3639477.3639718},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhengS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HaanPSIC24,
author = {Altan Haan and
Doru{-}Thom Popovici and
Koushik Sen and
Costin Iancu and
Alvin Cheung},
title = {To Tile or not to Tile, That is the Question},
booktitle = {{IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2024 - Workshop, San Francisco, CA, USA, May 27-31, 2024},
pages = {449--458},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/IPDPSW63119.2024.00096},
doi = {10.1109/IPDPSW63119.2024.00096},
timestamp = {Wed, 07 Aug 2024 14:14:07 +0200},
biburl = {https://dblp.org/rec/conf/ipps/HaanPSIC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/ArdakaniHTPCIS24,
author = {Arash Ardakani and
Altan Haan and
Shangyin Tan and
Doru{-}Thom Popovici and
Alvin Cheung and
Costin Iancu and
Koushik Sen},
editor = {Kevin Duh and
Helena G{\'{o}}mez{-}Adorno and
Steven Bethard},
title = {SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models
Using Training Dynamics},
booktitle = {Proceedings of the 2024 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies
(Volume 1: Long Papers), {NAACL} 2024, Mexico City, Mexico, June 16-21,
2024},
pages = {6218--6236},
publisher = {Association for Computational Linguistics},
year = {2024},
url = {https://doi.org/10.18653/v1/2024.naacl-long.345},
doi = {10.18653/V1/2024.NAACL-LONG.345},
timestamp = {Thu, 29 Aug 2024 17:13:57 +0200},
biburl = {https://dblp.org/rec/conf/naacl/ArdakaniHTPCIS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11108,
author = {Chaofan Shou and
Jing Liu and
Doudou Lu and
Koushik Sen},
title = {LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models},
journal = {CoRR},
volume = {abs/2401.11108},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11108},
doi = {10.48550/ARXIV.2401.11108},
eprinttype = {arXiv},
eprint = {2401.11108},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-19475,
author = {Alex Gu and
Wen{-}Ding Li and
Naman Jain and
Theo X. Olausson and
Celine Lee and
Koushik Sen and
Armando Solar{-}Lezama},
title = {The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances
of Their Incorrect Generations?},
journal = {CoRR},
volume = {abs/2402.19475},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.19475},
doi = {10.48550/ARXIV.2402.19475},
eprinttype = {arXiv},
eprint = {2402.19475},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-19475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07974,
author = {Naman Jain and
King Han and
Alex Gu and
Wen{-}Ding Li and
Fanjia Yan and
Tianjun Zhang and
Sida Wang and
Armando Solar{-}Lezama and
Koushik Sen and
Ion Stoica},
title = {LiveCodeBench: Holistic and Contamination Free Evaluation of Large
Language Models for Code},
journal = {CoRR},
volume = {abs/2403.07974},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07974},
doi = {10.48550/ARXIV.2403.07974},
eprinttype = {arXiv},
eprint = {2403.07974},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/LaeuferIBBNS23,
author = {Kevin Laeufer and
Vighnesh Iyer and
David Biancolin and
Jonathan Bachrach and
Borivoje Nikolic and
Koushik Sen},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {Simulator Independent Coverage for {RTL} Hardware Languages},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {606--615},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582016.3582019},
doi = {10.1145/3582016.3582019},
timestamp = {Tue, 21 Mar 2023 11:08:23 +0100},
biburl = {https://dblp.org/rec/conf/asplos/LaeuferIBBNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/SenVV23,
author = {Koushik Sen and
Sathish Vadhiyar and
P. N. Vinayachandran},
title = {Strategies for Fast {I/O} Throughput in Large-Scale Climate Modeling
Applications},
booktitle = {30th {IEEE} International Conference on High Performance Computing,
Data, and Analytics, HiPC 2023, Goa, India, December 18-21, 2023},
pages = {203--212},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/HiPC58850.2023.00038},
doi = {10.1109/HIPC58850.2023.00038},
timestamp = {Tue, 16 Apr 2024 13:57:14 +0200},
biburl = {https://dblp.org/rec/conf/hipc/SenVV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShouTS23,
author = {Chaofan Shou and
Shangyin Tan and
Koushik Sen},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {ItyFuzz: Snapshot-Based Fuzzer for Smart Contract},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {322--333},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598059},
doi = {10.1145/3597926.3598059},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/ShouTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18513,
author = {Arash Ardakani and
Altan Haan and
Shangyin Tan and
Doru{-}Thom Popovici and
Alvin Cheung and
Costin Iancu and
Koushik Sen},
title = {SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models
Using Training Dynamics},
journal = {CoRR},
volume = {abs/2305.18513},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18513},
doi = {10.48550/ARXIV.2305.18513},
eprinttype = {arXiv},
eprint = {2305.18513},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-17135,
author = {Chaofan Shou and
Shangyin Tan and
Koushik Sen},
title = {ItyFuzz: Snapshot-Based Fuzzer for Smart Contract},
journal = {CoRR},
volume = {abs/2306.17135},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.17135},
doi = {10.48550/ARXIV.2306.17135},
eprinttype = {arXiv},
eprint = {2306.17135},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-07898,
author = {Rolando Garcia and
Anusha Dandamudi and
Gabriel Matute and
Lehan Wan and
Joseph Gonzalez and
Joseph M. Hellerstein and
Koushik Sen},
title = {Multiversion Hindsight Logging for Continuous Training},
journal = {CoRR},
volume = {abs/2310.07898},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.07898},
doi = {10.48550/ARXIV.2310.07898},
eprinttype = {arXiv},
eprint = {2310.07898},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-07898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14904,
author = {Naman Jain and
Tianjun Zhang and
Wei{-}Lin Chiang and
Joseph E. Gonzalez and
Koushik Sen and
Ion Stoica},
title = {LLM-Assisted Code Cleaning For Training Accurate Code Generators},
journal = {CoRR},
volume = {abs/2311.14904},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14904},
doi = {10.48550/ARXIV.2311.14904},
eprinttype = {arXiv},
eprint = {2311.14904},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13382,
author = {Arnav Singhvi and
Manish Shetty and
Shangyin Tan and
Christopher Potts and
Koushik Sen and
Matei Zaharia and
Omar Khattab},
title = {DSPy Assertions: Computational Constraints for Self-Refining Language
Model Pipelines},
journal = {CoRR},
volume = {abs/2312.13382},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13382},
doi = {10.48550/ARXIV.2312.13382},
eprinttype = {arXiv},
eprint = {2312.13382},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-15157,
author = {Manish Shetty and
Koushik Sen and
Ion Stoica},
title = {CodeScholar: Growing Idiomatic Code Examples},
journal = {CoRR},
volume = {abs/2312.15157},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.15157},
doi = {10.48550/ARXIV.2312.15157},
eprinttype = {arXiv},
eprint = {2312.15157},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-15157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/GubriCPTS22,
author = {Martin Gubri and
Maxime Cordy and
Mike Papadakis and
Yves Le Traon and
Koushik Sen},
editor = {Shai Avidan and
Gabriel J. Brostow and
Moustapha Ciss{\'{e}} and
Giovanni Maria Farinella and
Tal Hassner},
title = {{LGV:} Boosting Adversarial Example Transferability from Large Geometric
Vicinity},
booktitle = {Computer Vision - {ECCV} 2022 - 17th European Conference, Tel Aviv,
Israel, October 23-27, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13664},
pages = {603--618},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19772-7\_35},
doi = {10.1007/978-3-031-19772-7\_35},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/GubriCPTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ShenCWSS22,
author = {Da Shen and
Xinyun Chen and
Chenguang Wang and
Koushik Sen and
Dawn Song},
editor = {Yoav Goldberg and
Zornitsa Kozareva and
Yue Zhang},
title = {Benchmarking Language Models for Code Syntax Understanding},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022},
pages = {3071--3093},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.findings-emnlp.224},
doi = {10.18653/V1/2022.FINDINGS-EMNLP.224},
timestamp = {Sat, 03 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emnlp/ShenCWSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ShenWYHJS0S22,
author = {Jianhao Shen and
Chenguang Wang and
Ye Yuan and
Jiawei Han and
Heng Ji and
Koushik Sen and
Ming Zhang and
Dawn Song},
editor = {Yoav Goldberg and
Zornitsa Kozareva and
Yue Zhang},
title = {{PALT:} Parameter-Lite Transfer of Language Models for Knowledge Graph
Completion},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022},
pages = {3833--3847},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.findings-emnlp.281},
doi = {10.18653/V1/2022.FINDINGS-EMNLP.281},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ShenWYHJS0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GubriCPTS22,
author = {Martin Gubri and
Maxime Cordy and
Mike Papadakis and
Yves Le Traon and
Koushik Sen},
editor = {James Cussens and
Kun Zhang},
title = {Efficient and transferable adversarial examples from bayesian neural
networks},
booktitle = {Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth
Conference on Uncertainty in Artificial Intelligence, {UAI} 2022,
1-5 August 2022, Eindhoven, The Netherlands},
series = {Proceedings of Machine Learning Research},
volume = {180},
pages = {738--748},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v180/gubri22a.html},
timestamp = {Sat, 15 Oct 2022 12:08:13 +0200},
biburl = {https://dblp.org/rec/conf/uai/GubriCPTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07147,
author = {Sarah E. Chasins and
Alvin Cheung and
Natacha Crooks and
Ali Ghodsi and
Ken Goldberg and
Joseph E. Gonzalez and
Joseph M. Hellerstein and
Michael I. Jordan and
Anthony D. Joseph and
Michael W. Mahoney and
Aditya G. Parameswaran and
David A. Patterson and
Raluca Ada Popa and
Koushik Sen and
Scott Shenker and
Dawn Song and
Ion Stoica},
title = {The Sky Above The Clouds},
journal = {CoRR},
volume = {abs/2205.07147},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07147},
doi = {10.48550/ARXIV.2205.07147},
eprinttype = {arXiv},
eprint = {2205.07147},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-13129,
author = {Martin Gubri and
Maxime Cordy and
Mike Papadakis and
Yves Le Traon and
Koushik Sen},
title = {{LGV:} Boosting Adversarial Example Transferability from Large Geometric
Vicinity},
journal = {CoRR},
volume = {abs/2207.13129},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.13129},
doi = {10.48550/ARXIV.2207.13129},
eprinttype = {arXiv},
eprint = {2207.13129},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-13129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13715,
author = {Jianhao Shen and
Chenguang Wang and
Ye Yuan and
Jiawei Han and
Heng Ji and
Koushik Sen and
Ming Zhang and
Dawn Song},
title = {{PALT:} Parameter-Lite Transfer of Language Models for Knowledge Graph
Completion},
journal = {CoRR},
volume = {abs/2210.13715},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13715},
doi = {10.48550/ARXIV.2210.13715},
eprinttype = {arXiv},
eprint = {2210.13715},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-14473,
author = {Da Shen and
Xinyun Chen and
Chenguang Wang and
Koushik Sen and
Dawn Song},
title = {Benchmarking Language Models for Code Syntax Understanding},
journal = {CoRR},
volume = {abs/2210.14473},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.14473},
doi = {10.48550/ARXIV.2210.14473},
eprinttype = {arXiv},
eprint = {2210.14473},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-14473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BavishiLSS21,
author = {Rohan Bavishi and
Caroline Lemieux and
Koushik Sen and
Ion Stoica},
title = {Gauss: program synthesis by reasoning over graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3485511},
doi = {10.1145/3485511},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BavishiLSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LemieuxS21,
author = {Caroline Lemieux and
Koushik Sen},
title = {FairFuzz-TC: a fuzzer targeting rare branches},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {863--866},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00569-w},
doi = {10.1007/S10009-020-00569-W},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LemieuxS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VikramPS21,
author = {Vasudev Vikram and
Rohan Padhye and
Koushik Sen},
title = {Growing {A} Test Corpus with Bonsai Fuzzing},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {723--735},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00072},
doi = {10.1109/ICSE43902.2021.00072},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/VikramPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BavishiLYPS21,
author = {Rohan Bavishi and
Shadaj Laddad and
Hiroaki Yoshida and
Mukul R. Prasad and
Koushik Sen},
title = {VizSmith: Automated Visualization Synthesis by Mining Data-Science
Notebooks},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {129--141},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678696},
doi = {10.1109/ASE51524.2021.9678696},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BavishiLYPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KulkarniLS21,
author = {Neil Kulkarni and
Caroline Lemieux and
Koushik Sen},
title = {Learning Highly Recursive Input Grammars},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {456--467},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678879},
doi = {10.1109/ASE51524.2021.9678879},
timestamp = {Mon, 24 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KulkarniLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/YounisSYI21,
author = {Ed Younis and
Koushik Sen and
Katherine A. Yelick and
Costin Iancu},
editor = {Hausi A. M{\"{u}}ller and
Greg Byrd and
Candace Culhane and
Travis S. Humble},
title = {{QFAST:} Conflating Search and Numerical Optimization for Scalable
Quantum Circuit Synthesis},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2021, Broomfield, CO, USA, October 17-22, 2021},
pages = {232--243},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QCE52317.2021.00041},
doi = {10.1109/QCE52317.2021.00041},
timestamp = {Thu, 14 Dec 2023 11:20:44 +0100},
biburl = {https://dblp.org/rec/conf/qce/YounisSYI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/SonPPPS21,
author = {Jeongseok Son and
Griffin Prechter and
Rishabh Poddar and
Raluca Ada Popa and
Koushik Sen},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable
State},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {2219--2236},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/son},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/SonPPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-04388,
author = {Vasudev Vikram and
Rohan Padhye and
Koushik Sen},
title = {Growing a Test Corpus with Bonsai Fuzzing},
journal = {CoRR},
volume = {abs/2103.04388},
year = {2021},
url = {https://arxiv.org/abs/2103.04388},
eprinttype = {arXiv},
eprint = {2103.04388},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-04388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13340,
author = {Neil Kulkarni and
Caroline Lemieux and
Koushik Sen},
title = {Learning Highly Recursive Input Grammars},
journal = {CoRR},
volume = {abs/2108.13340},
year = {2021},
url = {https://arxiv.org/abs/2108.13340},
eprinttype = {arXiv},
eprint = {2108.13340},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/ChekamPBTS20,
author = {Thierry Titcheu Chekam and
Mike Papadakis and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Yves Le Traon and
Koushik Sen},
title = {Selecting fault revealing mutants},
journal = {Empir. Softw. Eng.},
volume = {25},
number = {1},
pages = {434--487},
year = {2020},
url = {https://doi.org/10.1007/s10664-019-09778-7},
doi = {10.1007/S10664-019-09778-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/ChekamPBTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GarciaLSYD0HS20,
author = {Rolando Garcia and
Eric Liu and
Vikram Sreekanti and
Bobby Yan and
Anusha Dandamudi and
Joseph Gonzalez and
Joseph M. Hellerstein and
Koushik Sen},
title = {Hindsight Logging for Model Training},
journal = {Proc. {VLDB} Endow.},
volume = {14},
number = {4},
pages = {682--693},
year = {2020},
url = {http://www.vldb.org/pvldb/vol14/p682-garcia.pdf},
doi = {10.14778/3436905.3436925},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/GarciaLSYD0HS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
author = {Cyrille Artho and
Quoc{-}Sang Phan and
Peter Aldous and
Alyas Almaawi and
Lucas Bang and
Lasse Berglund and
Tevfik Bultan and
Zhenbang Chen and
Hayes Converse and
Wei Dong and
William Eiers and
Milos Gligoric and
Simon Goldsmith and
Lars Grunske and
Joshua Hooker and
Ismet Burak Kadron and
Timo Kehrer and
Sarfraz Khurshid and
Xuan{-}Bach Dinh Le and
David Lo and
Eric Mercer and
Sasa Misailovic and
Egor Namakonov and
Hoang Lam Nguyen and
Yannic Noller and
Benjamin Ogles and
Rohan Padhye and
Pavel Par{\'{\i}}zek and
Corina S. Pasareanu and
Sheridan Jacob Powell and
Seemanta Saha and
Koushik Sen and
Elena Sherman and
Kyle Storey and
Minxing Tang and
Willem Visser and
Ji Wang and
Hengbiao Yu},
title = {The Java Pathfinder Workshop 2019},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {20--22},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385685},
doi = {10.1145/3385678.3385685},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KarimTSS20,
author = {Rezwana Karim and
Frank Tip and
Alena Sochurkov{\'{a}} and
Koushik Sen},
title = {Platform-Independent Dynamic Taint Analysis for JavaScript},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {12},
pages = {1364--1379},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2878020},
doi = {10.1109/TSE.2018.2878020},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/KarimTSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/ChidaKITS20,
author = {Nariyoshi Chida and
Yuhei Kawakoya and
Dai Ikarashi and
Kenji Takahashi and
Koushik Sen},
editor = {Louis{-}No{\"{e}}l Pouchet and
Alexandra Jimborean},
title = {Is stateful packrat parsing really linear in practice? a counter-example,
an improved grammar, and its parsing algorithms},
booktitle = {{CC} '20: 29th International Conference on Compiler Construction,
San Diego, CA, USA, February 22-23, 2020},
pages = {155--166},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377555.3377898},
doi = {10.1145/3377555.3377898},
timestamp = {Mon, 03 Jan 2022 22:32:58 +0100},
biburl = {https://dblp.org/rec/conf/cc/ChidaKITS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LaddadS20,
author = {Shadaj Laddad and
Koushik Sen},
editor = {Martin Erwig and
Jeff Gray},
title = {Fluid quotes: metaprogramming across abstraction boundaries with dependent
types},
booktitle = {{GPCE} '20: Proceedings of the 19th {ACM} {SIGPLAN} International
Conference on Generative Programming: Concepts and Experiences, Virtual
Event, USA, November 16-17, 2020},
pages = {98--110},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3425898.3426953},
doi = {10.1145/3425898.3426953},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/LaddadS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ReddyLPS20,
author = {Sameer Reddy and
Caroline Lemieux and
Rohan Padhye and
Koushik Sen},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Quickly generating diverse valid test inputs with reinforcement learning},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1410--1421},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380399},
doi = {10.1145/3377811.3380399},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ReddyLPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhengJSWYHWYZSG20,
author = {Lianmin Zheng and
Chengfan Jia and
Minmin Sun and
Zhao Wu and
Cody Hao Yu and
Ameer Haj{-}Ali and
Yida Wang and
Jun Yang and
Danyang Zhuo and
Koushik Sen and
Joseph E. Gonzalez and
Ion Stoica},
title = {Ansor: Generating High-Performance Tensor Programs for Deep Learning},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {863--879},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/zheng},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/ZhengJSWYHWYZSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/DavisSTSSI20,
author = {Marc Grau Davis and
Ethan Smith and
Ana Tudor and
Koushik Sen and
Irfan Siddiqi and
Costin Iancu},
title = {Towards Optimal Topology Aware Quantum Circuit Synthesis},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2020, Denver, CO, USA, October 12-16, 2020},
pages = {223--234},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QCE49297.2020.00036},
doi = {10.1109/QCE49297.2020.00036},
timestamp = {Tue, 22 Dec 2020 10:22:17 +0100},
biburl = {https://dblp.org/rec/conf/qce/DavisSTSSI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LaddadS20,
author = {Shadaj Laddad and
Koushik Sen},
editor = {Guido Salvaneschi and
Nada Amin},
title = {ScalaPy: seamless Python interoperability for cross-platform Scala
programs},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {2--13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3428485},
doi = {10.1145/3426426.3428485},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/LaddadS20.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}
}
@inproceedings{DBLP:conf/uss/HarrisonVPSG20,
author = {Lee Harrison and
Hayawardh Vijayakumar and
Rohan Padhye and
Koushik Sen and
Michael Grace},
editor = {Srdjan Capkun and
Franziska Roesner},
title = {{PARTEMU:} Enabling Dynamic Analysis of Real-World TrustZone Software
Using Emulation},
booktitle = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
2020},
pages = {789--806},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/harrison},
timestamp = {Fri, 29 Jan 2021 22:08:55 +0100},
biburl = {https://dblp.org/rec/conf/uss/HarrisonVPSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2020mapl,
editor = {Koushik Sen and
Mayur Naik},
title = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June
15, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394450},
doi = {10.1145/3394450},
isbn = {978-1-4503-7996-0},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2020mapl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06762,
author = {Lianmin Zheng and
Chengfan Jia and
Minmin Sun and
Zhao Wu and
Cody Hao Yu and
Ameer Haj{-}Ali and
Yida Wang and
Jun Yang and
Danyang Zhuo and
Koushik Sen and
Joseph E. Gonzalez and
Ion Stoica},
title = {Ansor : Generating High-Performance Tensor Programs for Deep Learning},
journal = {CoRR},
volume = {abs/2006.06762},
year = {2020},
url = {https://arxiv.org/abs/2006.06762},
eprinttype = {arXiv},
eprint = {2006.06762},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07357,
author = {Rolando Garcia and
Eric Liu and
Vikram Sreekanti and
Bobby Yan and
Anusha Dandamudi and
Joseph E. Gonzalez and
Joseph M. Hellerstein and
Koushik Sen},
title = {Hindsight Logging for Model Training},
journal = {CoRR},
volume = {abs/2006.07357},
year = {2020},
url = {https://arxiv.org/abs/2006.07357},
eprinttype = {arXiv},
eprint = {2006.07357},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-07357.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/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/BavishiLFSS19,
author = {Rohan Bavishi and
Caroline Lemieux and
Roy Fox and
Koushik Sen and
Ion Stoica},
title = {AutoPandas: neural-backed generators for program synthesis},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {168:1--168:27},
year = {2019},
url = {https://doi.org/10.1145/3360594},
doi = {10.1145/3360594},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BavishiLFSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadhyeLSSV19,
author = {Rohan Padhye and
Caroline Lemieux and
Koushik Sen and
Laurent Simon and
Hayawardh Vijayakumar},
title = {FuzzFactory: domain-specific fuzzing with waypoints},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {174:1--174:29},
year = {2019},
url = {https://doi.org/10.1145/3360600},
doi = {10.1145/3360600},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LePPLVS19,
author = {Xuan{-}Bach Dinh Le and
Corina S. Pasareanu and
Rohan Padhye and
David Lo and
Willem Visser and
Koushik Sen},
title = {Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {4},
pages = {14},
year = {2019},
url = {https://doi.org/10.1145/3364452.3364455},
doi = {10.1145/3364452.3364455},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LePPLVS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/KurogomeOKIHMS19,
author = {Yuma Kurogome and
Yuto Otsuki and
Yuhei Kawakoya and
Makoto Iwamura and
Syogo Hayashi and
Tatsuya Mori and
Koushik Sen},
editor = {David M. Balenson},
title = {{EIGER:} automated {IOC} generation for accurate and interpretable
endpoint malware detection},
booktitle = {Proceedings of the 35th Annual Computer Security Applications Conference,
{ACSAC} 2019, San Juan, PR, USA, December 09-13, 2019},
pages = {687--701},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359789.3359808},
doi = {10.1145/3359789.3359808},
timestamp = {Thu, 30 May 2024 10:08:27 +0200},
biburl = {https://dblp.org/rec/conf/acsac/KurogomeOKIHMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DutraBS19,
author = {Rafael Dutra and
Jonathan Bachrach and
Koushik Sen},
editor = {Clark W. Barrett and
Jin Yang},
title = {{GUIDEDSAMPLER:} Coverage-guided Sampling of {SMT} Solutions},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {203--211},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894251},
doi = {10.23919/FMCAD.2019.8894251},
timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DutraBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PadhyeLSPT19,
author = {Rohan Padhye and
Caroline Lemieux and
Koushik Sen and
Mike Papadakis and
Yves Le Traon},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Validity fuzzing and parametric generators for effective random testing},
booktitle = {Proceedings of the 41st International Conference on Software Engineering:
Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
2019},
pages = {266--267},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE-Companion.2019.00107},
doi = {10.1109/ICSE-COMPANION.2019.00107},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PadhyeLSPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PadhyeLSPT19,
author = {Rohan Padhye and
Caroline Lemieux and
Koushik Sen and
Mike Papadakis and
Yves Le Traon},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Semantic fuzzing with zest},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {329--340},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330576},
doi = {10.1145/3293882.3330576},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PadhyeLSPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PadhyeLS19,
author = {Rohan Padhye and
Caroline Lemieux and
Koushik Sen},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {{JQF:} coverage-guided property-based testing in Java},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {398--401},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3339002},
doi = {10.1145/3293882.3339002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PadhyeLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PadhyeS19,
author = {Rohan Padhye and
Koushik Sen},
editor = {Daniele Bonetta and
Yu David Liu},
title = {Efficient fail-fast dynamic subtype checking},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
Virtual Machines and Intermediate Languages, VMIL@SPLASH 2019, Athens,
Greece, October 22, 2019},
pages = {32--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358504.3361229},
doi = {10.1145/3358504.3361229},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PadhyeS19.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}
}
@inproceedings{DBLP:conf/splash/PadhyeSH19,
author = {Rohan Padhye and
Koushik Sen and
Paul N. Hilfinger},
editor = {Elisa L. A. Baniassad},
title = {ChocoPy: a programming language for compilers courses},
booktitle = {{SPLASH-E} '19 - Proceedings of the 2019 {ACM} {SIGPLAN} Workshop
on SPLASH-E, Athens, Greece, October 25, 2019},
pages = {41--45},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358711.3361627},
doi = {10.1145/3358711.3361627},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splash/PadhyeSH19.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-1912-02727,
author = {Marc Grau Davis and
Ethan Smith and
Ana Tudor and
Koushik Sen and
Irfan Siddiqi and
Costin Iancu},
title = {Heuristics for Quantum Compiling with a Continuous Gate Set},
journal = {CoRR},
volume = {abs/1912.02727},
year = {2019},
url = {http://arxiv.org/abs/1912.02727},
eprinttype = {arXiv},
eprint = {1912.02727},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-02727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PradelS18,
author = {Michael Pradel and
Koushik Sen},
title = {DeepBugs: a learning approach to name-based bug detection},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {147:1--147:25},
year = {2018},
url = {https://doi.org/10.1145/3276517},
doi = {10.1145/3276517},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PradelS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcasia/SaillardSLI18,
author = {Emmanuelle Saillard and
Koushik Sen and
Wim Lavrijsen and
Costin Iancu},
title = {Maximizing Communication Overlap with Dynamic Program Analysis},
booktitle = {Proceedings of the International Conference on High Performance Computing
in Asia-Pacific Region, {HPC} Asia 2018, Chiyoda, Tokyo, Japan, January
28-31, 2018},
pages = {1--11},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3149457.3149459},
doi = {10.1145/3149457.3149459},
timestamp = {Tue, 06 Nov 2018 16:59:01 +0100},
biburl = {https://dblp.org/rec/conf/hpcasia/SaillardSLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LaeuferKKBS18,
author = {Kevin Laeufer and
Jack Koenig and
Donggyu Kim and
Jonathan Bachrach and
Koushik Sen},
editor = {Iris Bahar},
title = {{RFUZZ:} coverage-directed fuzz testing of {RTL} on FPGAs},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
pages = {28},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3240765.3240842},
doi = {10.1145/3240765.3240842},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/LaeuferKKBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DutraBS18,
author = {Rafael Dutra and
Jonathan Bachrach and
Koushik Sen},
editor = {Iris Bahar},
title = {SMTSampler: efficient stimulus generation from complex {SMT} constraints},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
pages = {30},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3240765.3240848},
doi = {10.1145/3240765.3240848},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/DutraBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChoiSNW18,
author = {Wontae Choi and
Koushik Sen and
George C. Necula and
Wenyu Wang},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {DetReduce: minimizing Android {GUI} test suites for regression testing},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {445--455},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180173},
doi = {10.1145/3180155.3180173},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChoiSNW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DutraLBS18,
author = {Rafael Dutra and
Kevin Laeufer and
Jonathan Bachrach and
Koushik Sen},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Efficient sampling of {SAT} solutions for testing},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {549--559},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180248},
doi = {10.1145/3180155.3180248},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DutraLBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MehneYPSGK18,
author = {Ben Mehne and
Hiroaki Yoshida and
Mukul R. Prasad and
Koushik Sen and
Divya Gopinath and
Sarfraz Khurshid},
title = {Accelerating Search-Based Program Repair},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {227--238},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00031},
doi = {10.1109/ICST.2018.00031},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MehneYPSGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LemieuxPSS18,
author = {Caroline Lemieux and
Rohan Padhye and
Koushik Sen and
Dawn Song},
editor = {Frank Tip and
Eric Bodden},
title = {PerfFuzz: automatically generating pathological inputs},
booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
pages = {254--265},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3213846.3213874},
doi = {10.1145/3213846.3213874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LemieuxPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LemieuxS18,
author = {Caroline Lemieux and
Koushik Sen},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {FairFuzz: a targeted mutation strategy for increasing greybox fuzz
testing coverage},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {475--485},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238176},
doi = {10.1145/3238147.3238176},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LemieuxS18.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}
}
@incollection{DBLP:reference/mc/GodefroidS18,
author = {Patrice Godefroid and
Koushik Sen},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Combining Model Checking and Testing},
booktitle = {Handbook of Model Checking},
pages = {613--649},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_19},
doi = {10.1007/978-3-319-10575-8\_19},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/GodefroidS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-07901,
author = {Thierry Titcheu Chekam and
Mike Papadakis and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Yves Le Traon and
Koushik Sen},
title = {Selecting Fault Revealing Mutants},
journal = {CoRR},
volume = {abs/1803.07901},
year = {2018},
url = {http://arxiv.org/abs/1803.07901},
eprinttype = {arXiv},
eprint = {1803.07901},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-07901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11683,
author = {Michael Pradel and
Koushik Sen},
title = {DeepBugs: {A} Learning Approach to Name-based Bug Detection},
journal = {CoRR},
volume = {abs/1805.11683},
year = {2018},
url = {http://arxiv.org/abs/1805.11683},
eprinttype = {arXiv},
eprint = {1805.11683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-11683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-05193,
author = {Rohan Bavishi and
Michael Pradel and
Koushik Sen},
title = {Context2Name: {A} Deep Learning-Based Approach to Infer Natural Variable
Names from Usage Contexts},
journal = {CoRR},
volume = {abs/1809.05193},
year = {2018},
url = {http://arxiv.org/abs/1809.05193},
eprinttype = {arXiv},
eprint = {1809.05193},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-05193.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-00078,
author = {Rohan Padhye and
Caroline Lemieux and
Koushik Sen and
Mike Papadakis and
Yves Le Traon},
title = {Zest: Validity Fuzzing and Parametric Generators for Effective Random
Testing},
journal = {CoRR},
volume = {abs/1812.00078},
year = {2018},
url = {http://arxiv.org/abs/1812.00078},
eprinttype = {arXiv},
eprint = {1812.00078},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-00078.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}
}
@article{DBLP:journals/csur/AndreasenGMPSSS17,
author = {Esben Andreasen and
Liang Gong and
Anders M{\o}ller and
Michael Pradel and
Marija Selakovic and
Koushik Sen and
Cristian{-}Alexandru Staicu},
title = {A Survey of Dynamic Analysis and Test Generation for JavaScript},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {5},
pages = {66:1--66:36},
year = {2017},
url = {https://doi.org/10.1145/3106739},
doi = {10.1145/3106739},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/AndreasenGMPSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AdamsenMKSTS17,
author = {Christoffer Quist Adamsen and
Anders M{\o}ller and
Rezwana Karim and
Manu Sridharan and
Frank Tip and
Koushik Sen},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Repairing event race errors by controlling nondeterminism},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {289--299},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.34},
doi = {10.1109/ICSE.2017.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AdamsenMKSTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PadhyeS17,
author = {Rohan Padhye and
Koushik Sen},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Travioli: a dynamic analysis for detecting data-structure traversals},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
pages = {473--483},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.50},
doi = {10.1109/ICSE.2017.50},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PadhyeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2017,
editor = {Tevfik Bultan and
Koushik Sen},
title = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703},
doi = {10.1145/3092703},
isbn = {978-1-4503-5076-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GopalakrishnanH17,
author = {Ganesh Gopalakrishnan and
Paul D. Hovland and
Costin Iancu and
Sriram Krishnamoorthy and
Ignacio Laguna and
Richard A. Lethin and
Koushik Sen and
Stephen F. Siegel and
Armando Solar{-}Lezama},
title = {Report of the {HPC} Correctness Summit, Jan 25-26, 2017, Washington,
{DC}},
journal = {CoRR},
volume = {abs/1705.07478},
year = {2017},
url = {http://arxiv.org/abs/1705.07478},
eprinttype = {arXiv},
eprint = {1705.07478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GopalakrishnanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07101,
author = {Caroline Lemieux and
Koushik Sen},
title = {FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz
Testing Coverage},
journal = {CoRR},
volume = {abs/1709.07101},
year = {2017},
url = {http://arxiv.org/abs/1709.07101},
eprinttype = {arXiv},
eprint = {1709.07101},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Sen16,
author = {Koushik Sen},
title = {Technical Perspective: Veritesting tackles path-explosion problem},
journal = {Commun. {ACM}},
volume = {59},
number = {6},
pages = {92},
year = {2016},
url = {https://doi.org/10.1145/2927922},
doi = {10.1145/2927922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Sen16.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/ics/QianSHI16,
author = {Xuehai Qian and
Koushik Sen and
Paul Hargrove and
Costin Iancu},
editor = {Ozcan Ozturk and
Kemal Ebcioglu and
Mahmut T. Kandemir and
Onur Mutlu},
title = {SReplay: Deterministic Sub-Group Replay for One-Sided Communication},
booktitle = {Proceedings of the 2016 International Conference on Supercomputing,
{ICS} 2016, Istanbul, Turkey, June 1-3, 2016},
pages = {17:1--17:13},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2925426.2926264},
doi = {10.1145/2925426.2926264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/QianSHI16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MadsenTASM16,
author = {Magnus Madsen and
Frank Tip and
Esben Andreasen and
Koushik Sen and
Anders M{\o}ller},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Feedback-directed instrumentation for deployed JavaScript applications},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {899--910},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884846},
doi = {10.1145/2884781.2884846},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MadsenTASM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Rubio-Gonzalez016,
author = {Cindy Rubio{-}Gonz{\'{a}}lez and
Cuong Nguyen and
Benjamin Mehne and
Koushik Sen and
James Demmel and
William Kahan and
Costin Iancu and
Wim Lavrijsen and
David H. Bailey and
David Hough},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Floating-point precision tuning using blame analysis},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {1074--1085},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884850},
doi = {10.1145/2884781.2884850},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Rubio-Gonzalez016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/QianSHI16,
author = {Xuehai Qian and
Koushik Sen and
Paul Hargrove and
Costin Iancu},
editor = {Rafael Asenjo and
Tim Harris},
title = {{OPR:} deterministic group replay for one-sided communication},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {47:1--47:2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851179},
doi = {10.1145/2851141.2851179},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/QianSHI16.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}
}
@inproceedings{DBLP:conf/ecoop/PradelS15,
author = {Michael Pradel and
Koushik Sen},
editor = {John Tang Boyland},
title = {The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type
Conversions in JavaScript},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {519--541},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.519},
doi = {10.4230/LIPICS.ECOOP.2015.519},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PradelS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SenTZH15,
author = {Koushik Sen and
Haruto Tanno and
Xiaojing Zhang and
Takashi Hoshino},
editor = {Hong Zhu and
Dan Hao and
Leonardo Mariani and
Rajesh Subramanyan},
title = {GuideSE: Annotations for Guiding Concolic Testing},
booktitle = {10th {IEEE/ACM} International Workshop on Automation of Software Test,
{AST} 2015, Florence, Italy, May 23-24, 2015},
pages = {23--27},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/AST.2015.12},
doi = {10.1109/AST.2015.12},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SenTZH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PradelSS15,
author = {Michael Pradel and
Parker Schuh and
Koushik Sen},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {314--324},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.51},
doi = {10.1109/ICSE.2015.51},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PradelSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TannoZHS15,
author = {Haruto Tanno and
Xiaojing Zhang and
Takashi Hoshino and
Koushik Sen},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {TesMa and {CATG:} Automated Test Generation Tools for Models of Enterprise
Applications},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {717--720},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.231},
doi = {10.1109/ICSE.2015.231},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/TannoZHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/0001YPGS15,
author = {Cuong Nguyen and
Hiroaki Yoshida and
Mukul R. Prasad and
Indradeep Ghosh and
Koushik Sen},
title = {Generating Succinct Test Cases Using Don't Care Analysis},
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.7102590},
doi = {10.1109/ICST.2015.7102590},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/0001YPGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/Sen15,
author = {Koushik Sen},
editor = {Srinivas Padmanabhuni and
Raghu Nambiar and
Premkumar T. Devanbu and
Murali Krishna Ramanathan and
Ashish Sureka},
title = {Automated Test Generation Using Concolic Testing},
booktitle = {Proceedings of the 8th India Software Engineering Conference, {ISEC}
2015, Bangalore, India, February 18-20, 2015},
pages = {9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723742.2723768},
doi = {10.1145/2723742.2723768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/Sen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GongPSS15,
author = {Liang Gong and
Michael Pradel and
Manu Sridharan and
Koushik Sen},
editor = {Michal Young and
Tao Xie},
title = {DLint: dynamically checking bad coding practices in JavaScript},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {94--105},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771809},
doi = {10.1145/2771783.2771809},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/GongPSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Sen15,
author = {Koushik Sen},
editor = {Harry Xu and
Walter Binder},
title = {Concolic testing: a decade later (keynote)},
booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis,
WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
pages = {1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2823363.2823364},
doi = {10.1145/2823363.2823364},
timestamp = {Fri, 14 Apr 2023 23:05:46 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Sen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ChabbiLJSMI15,
author = {Milind Chabbi and
Wim Lavrijsen and
Wibe de Jong and
Koushik Sen and
John M. Mellor{-}Crummey and
Costin Iancu},
editor = {Albert Cohen and
David Grove},
title = {Barrier elision for production parallel programs},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {109--119},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688502},
doi = {10.1145/2688500.2688502},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ChabbiLJSMI15.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/se/PradelSNS15,
author = {Michael Pradel and
Parker Schuh and
George C. Necula and
Koushik Sen},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {EventBreak: Analyzing the Responsiveness of User Interfaces through
Performance-Guided Test Generation},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {131},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2529},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PradelSNS15.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/GongPS15,
author = {Liang Gong and
Michael Pradel and
Koushik Sen},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {JITProf: pinpointing JIT-unfriendly JavaScript 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 = {357--368},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786831},
doi = {10.1145/2786805.2786831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GongPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenNGC15,
author = {Koushik Sen and
George C. Necula and
Liang Gong and
Wontae Choi},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {MultiSE: multi-path symbolic execution using value summaries},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {842--853},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786830},
doi = {10.1145/2786805.2786830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenNGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GalensonRBHS14,
author = {Joel Galenson and
Philip Reames and
Rastislav Bod{\'{\i}}k and
Bj{\"{o}}rn Hartmann and
Koushik Sen},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {CodeHint: dynamic and interactive synthesis of code snippets},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {653--663},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568250},
doi = {10.1145/2568225.2568250},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GalensonRBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PradelSNS14,
author = {Michael Pradel and
Parker Schuh and
George C. Necula and
Koushik Sen},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {EventBreak: analyzing the responsiveness of user interfaces through
performance-guided test generation},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {33--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660233},
doi = {10.1145/2660193.2660233},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PradelSNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indiaSE/2014,
editor = {Dharanipragada Janakiram and
Koushik Sen and
Vinay Kulkarni},
title = {7th India Software Engineering Conference, Chennai, {ISEC} '14, Chennai,
India - February 19 - 21, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2590748},
isbn = {978-1-4503-2776-3},
timestamp = {Thu, 22 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CadarGSS14,
author = {Cristian Cadar and
Vijay Ganesh and
Raimondas Sasnauskas and
Koushik Sen},
title = {Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)},
journal = {Dagstuhl Reports},
volume = {4},
number = {10},
pages = {98--114},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.10.98},
doi = {10.4230/DAGREP.4.10.98},
timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CadarGSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CadarS13,
author = {Cristian Cadar and
Koushik Sen},
title = {Symbolic execution for software testing: three decades later},
journal = {Commun. {ACM}},
volume = {56},
number = {2},
pages = {82--90},
year = {2013},
url = {https://doi.org/10.1145/2408776.2408795},
doi = {10.1145/2408776.2408795},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CadarS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/ParkSI13,
author = {Chang{-}Seo Park and
Koushik Sen and
Costin Iancu},
editor = {Allen D. Malony and
Mario Nemirovsky and
Samuel P. Midkiff},
title = {Scaling data race detection for partitioned global address space programs},
booktitle = {International Conference on Supercomputing, ICS'13, Eugene, OR, {USA}
- June 10 - 14, 2013},
pages = {47--58},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2464996.2465000},
doi = {10.1145/2464996.2465000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/ParkSI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChoiNS13,
author = {Wontae Choi and
George C. Necula and
Koushik Sen},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Guided {GUI} testing of android apps with minimal restart and approximate
learning},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {623--640},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509552},
doi = {10.1145/2509136.2509552},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChoiNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ElmasBNS13,
author = {Tayfun Elmas and
Jacob Burnim and
George C. Necula and
Koushik Sen},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {{CONCURRIT:} a domain specific language for reproducing concurrency
bugs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {153--164},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462162},
doi = {10.1145/2491956.2462162},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ElmasBNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ParkSI13,
author = {Chang{-}Seo Park and
Koushik Sen and
Costin Iancu},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {Scalable data race detection for partitioned global address space
programs},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {305--306},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442557},
doi = {10.1145/2442516.2442557},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ParkSI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/Rubio-GonzalezNNDKSBIH13,
author = {Cindy Rubio{-}Gonz{\'{a}}lez and
Cuong Nguyen and
Hong Diep Nguyen and
James Demmel and
William Kahan and
Koushik Sen and
David H. Bailey and
Costin Iancu and
David Hough},
editor = {William Gropp and
Satoshi Matsuoka},
title = {Precimonious: tuning assistant for floating-point precision},
booktitle = {International Conference for High Performance Computing, Networking,
Storage and Analysis, SC'13, Denver, CO, {USA} - November 17 - 21,
2013},
pages = {27:1--27:12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503210.2503296},
doi = {10.1145/2503210.2503296},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/Rubio-GonzalezNNDKSBIH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenKBG13,
author = {Koushik Sen and
Swaroop Kalasapur and
Tasneem G. Brutch and
Simon Gibbs},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Jalangi: a selective record-replay and dynamic analysis framework
for JavaScript},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {488--498},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491447},
doi = {10.1145/2491411.2491447},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenKBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenKBG13a,
author = {Koushik Sen and
Swaroop Kalasapur and
Tasneem G. Brutch and
Simon Gibbs},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Jalangi: a tool framework for concolic testing, selective record-replay,
and dynamic analysis of JavaScript},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {615--618},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2494598},
doi = {10.1145/2491411.2494598},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenKBG13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/BurnimENS12,
author = {Jacob Burnim and
Tayfun Elmas and
George C. Necula and
Koushik Sen},
editor = {Hans{-}Juergen Boehm and
Luis Ceze},
title = {{CONCURRIT:} Testing Concurrent Programs with Programmable State-Space
Exploration},
booktitle = {4th {USENIX} Workshop on Hot Topics in Parallelism, HotPar'12, Berkeley,
CA, USA, June 7-8, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/burnim},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/BurnimENS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/BurnimENS12,
author = {Jacob Burnim and
Tayfun Elmas and
George C. Necula and
Koushik Sen},
editor = {J. Ramanujam and
P. Sadayappan},
title = {NDetermin: inferring nondeterministic sequential specifications for
parallelism correctness},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
February 25-29, 2012},
pages = {329--330},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145879},
doi = {10.1145/2145816.2145879},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/BurnimENS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ParkS12,
author = {Chang{-}Seo Park and
Koushik Sen},
editor = {J. Ramanujam and
P. Sadayappan},
title = {Concurrent breakpoints},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
February 25-29, 2012},
pages = {331--332},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145880},
doi = {10.1145/2145816.2145880},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ParkS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CadarS12,
author = {Cristian Cadar and
Koushik Sen},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Symbolic Execution},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_2},
doi = {10.1007/978-3-642-35632-2\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/CadarS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2011,
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29860-8},
doi = {10.1007/978-3-642-29860-8},
isbn = {978-3-642-29859-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BurnimNS11,
author = {Jacob Burnim and
George C. Necula and
Koushik Sen},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {Specifying and checking semantic atomicity for multithreaded programs},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {79--90},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950377},
doi = {10.1145/1950365.1950377},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BurnimNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/JalbertPPS11,
author = {Nicholas Jalbert and
Cristiano Pereira and
Gilles Pokam and
Koushik Sen},
editor = {Michael McCool and
Mendel Rosenblum},
title = {RADBench: {A} Concurrency Bug Benchmark Suite},
booktitle = {3rd {USENIX} Workshop on Hot Topics in Parallelism, HotPar'11, Berkeley,
CA, USA, May 26-27, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotpar-11/radbench-concurrency-bug-benchmark-suite},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/JalbertPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CadarGKPSTV11,
author = {Cristian Cadar and
Patrice Godefroid and
Sarfraz Khurshid and
Corina S. Pasareanu and
Koushik Sen and
Nikolai Tillmann and
Willem Visser},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Symbolic execution for software testing in practice: preliminary assessment},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1066--1071},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985995},
doi = {10.1145/1985793.1985995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CadarGKPSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChanderDSY11,
author = {Ajay Chander and
Dinakar Dhurjati and
Koushik Sen and
Dachuan Yu},
title = {Optimal Test Input Sequence Generation for Finite State Models and
Pushdown Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.64},
doi = {10.1109/ICST.2011.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChanderDSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BurnimSS11,
author = {Jacob Burnim and
Koushik Sen and
Christos Stergiou},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Testing concurrent programs on relaxed memory models},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {122--132},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001436},
doi = {10.1145/2001420.2001436},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/BurnimSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/GunawiDJAHAASB10,
author = {Haryadi S. Gunawi and
Thanh Do and
Pallavi Joshi and
Peter Alvaro and
Joseph M. Hellerstein and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau and
Koushik Sen and
Dhruba Borthakur},
editor = {David G. Andersen and
Sylvia Ratnasamy},
title = {{FATE} and {DESTINI:} {A} Framework for Cloud Recovery Testing},
booktitle = {Proceedings of the 8th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2011, Boston, MA, USA, March 30 - April
1, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/nsdi11/fate-and-destini-framework-cloud-recovery-testing},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/GunawiDJAHAASB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JoshiGS11,
author = {Pallavi Joshi and
Haryadi S. Gunawi and
Koushik Sen},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {{PREFAIL:} a programmable tool for multiple-failure injection},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {171--188},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048082},
doi = {10.1145/2048066.2048082},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JoshiGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurnimENS11,
author = {Jacob Burnim and
Tayfun Elmas and
George C. Necula and
Koushik Sen},
editor = {Mary W. Hall and
David A. Padua},
title = {NDSeq: runtime checking for nondeterministic sequential specifications
of parallel correctness},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {401--414},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993545},
doi = {10.1145/1993498.1993545},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurnimENS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Sen11,
author = {Koushik Sen},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Concolic Testing and Constraint Satisfaction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {3--4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_2},
doi = {10.1007/978-3-642-21581-0\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Sen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/ParkSHI11,
author = {Chang{-}Seo Park and
Koushik Sen and
Paul Hargrove and
Costin Iancu},
editor = {Scott A. Lathrop and
Jim Costa and
William Kramer},
title = {Efficient data race detection for distributed memory parallel programs},
booktitle = {Conference on High Performance Computing Networking, Storage and Analysis,
{SC} 2011, Seattle, WA, USA, November 12-18, 2011},
pages = {51:1--51:12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063384.2063452},
doi = {10.1145/2063384.2063452},
timestamp = {Fri, 03 Jul 2020 08:57:23 +0200},
biburl = {https://dblp.org/rec/conf/sc/ParkSHI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BurnimSS11,
author = {Jacob Burnim and
Koushik Sen and
Christos Stergiou},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Sound and Complete Monitoring of Sequential Consistency for Relaxed
Memory Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {11--25},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_3},
doi = {10.1007/978-3-642-19835-9\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BurnimSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BurnimS10,
author = {Jacob Burnim and
Koushik Sen},
title = {Asserting and checking determinism for multithreaded programs},
journal = {Commun. {ACM}},
volume = {53},
number = {6},
pages = {97--105},
year = {2010},
url = {https://doi.org/10.1145/1743546.1743572},
doi = {10.1145/1743546.1743572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BurnimS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/GunawiDJHAAS10,
author = {Haryadi S. Gunawi and
Thanh Do and
Pallavi Joshi and
Joseph M. Hellerstein and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau and
Koushik Sen},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Towards Automatically Checking Thousands of Failures with Micro-specifications},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BurnimS10,
author = {Jacob Burnim and
Koushik Sen},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {{DETERMIN:} inferring likely deterministic specifications of multithreaded
programs},
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 = {415--424},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806860},
doi = {10.1145/1806799.1806860},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BurnimS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JalbertS10,
author = {Nicholas Jalbert and
Koushik Sen},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {A trace simplification technique for effective debugging of concurrent
programs},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {57--66},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882302},
doi = {10.1145/1882291.1882302},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JalbertS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JoshiNSG10,
author = {Pallavi Joshi and
Mayur Naik and
Koushik Sen and
David Gay},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {An effective dynamic analysis for detecting generalized deadlocks},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {327--336},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882339},
doi = {10.1145/1882291.1882339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JoshiNSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AsanovicBDKKKMPSWWY09,
author = {Krste Asanovic and
Rastislav Bod{\'{\i}}k and
James Demmel and
Tony M. Keaveny and
Kurt Keutzer and
John Kubiatowicz and
Nelson Morgan and
David A. Patterson and
Koushik Sen and
John Wawrzynek and
David Wessel and
Katherine A. Yelick},
title = {A view of the parallel computing landscape},
journal = {Commun. {ACM}},
volume = {52},
number = {10},
pages = {56--67},
year = {2009},
url = {https://doi.org/10.1145/1562764.1562783},
doi = {10.1145/1562764.1562783},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AsanovicBDKKKMPSWWY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JoshiNPS09,
author = {Pallavi Joshi and
Mayur Naik and
Chang{-}Seo Park and
Koushik Sen},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {675--681},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_54},
doi = {10.1007/978-3-642-02658-4\_54},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JoshiNPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChatterjeeJS09,
author = {Shaunak Chatterjee and
Sudeep Juvekar and
Koushik Sen},
editor = {Marsha Chechik and
Martin Wirsing},
title = {{SNIFF:} {A} Search Engine for Java Using Free-Form Queries},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {385--400},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_26},
doi = {10.1007/978-3-642-00593-0\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ChatterjeeJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Sen09,
author = {Koushik Sen},
editor = {Kedar S. Namjoshi and
Andreas Zeller and
Avi Ziv},
title = {{DART:} Directed Automated Random Testing},
booktitle = {Hardware and Software: Verification and Testing - 5th International
Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October
19-22, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6405},
pages = {4},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-19237-1\_4},
doi = {10.1007/978-3-642-19237-1\_4},
timestamp = {Sun, 25 Jul 2021 11:51:18 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Sen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NaikPSG09,
author = {Mayur Naik and
Chang{-}Seo Park and
Koushik Sen and
David Gay},
title = {Effective static deadlock detection},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {386--396},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070538},
doi = {10.1109/ICSE.2009.5070538},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NaikPSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BurnimJS09,
author = {Jacob Burnim and
Sudeep Juvekar and
Koushik Sen},
title = {{WISE:} Automated test generation for worst-case complexity},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {463--473},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070545},
doi = {10.1109/ICSE.2009.5070545},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BurnimJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BurnimJSS09,
author = {Jacob Burnim and
Nicholas Jalbert and
Christos Stergiou and
Koushik Sen},
title = {Looper: Lightweight Detection of Infinite Loops at Runtime},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {161--169},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.87},
doi = {10.1109/ASE.2009.87},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BurnimJSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JoshiPSN09,
author = {Pallavi Joshi and
Chang{-}Seo Park and
Koushik Sen and
Mayur Naik},
editor = {Michael Hind and
Amer Diwan},
title = {A randomized dynamic program analysis technique for detecting real
deadlocks},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {110--120},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542489},
doi = {10.1145/1542476.1542489},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JoshiPSN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BurnimS09,
author = {Jacob Burnim and
Koushik Sen},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Asserting and checking determinism for multithreaded programs},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {3--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595700},
doi = {10.1145/1595696.1595700},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BurnimS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChatterjeeSH08,
author = {Krishnendu Chatterjee and
Koushik Sen and
Thomas A. Henzinger},
editor = {Roberto M. Amadio},
title = {Model-Checking omega-Regular Properties of Interval Markov Chains},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {302--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_22},
doi = {10.1007/978-3-540-78499-9\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ChatterjeeSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KannanS08,
author = {Yamini Kannan and
Koushik Sen},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Universal symbolic execution and its application to likely data structure
invariant generation},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {283--294},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390665},
doi = {10.1145/1390630.1390665},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/KannanS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JoshiS08,
author = {Pallavi Joshi and
Koushik Sen},
title = {Predictive Typestate Checking of Multithreaded Java Programs},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {288--296},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.39},
doi = {10.1109/ASE.2008.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JoshiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BurnimS08,
author = {Jacob Burnim and
Koushik Sen},
title = {Heuristics for Scalable Dynamic Test Generation},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {443--446},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.69},
doi = {10.1109/ASE.2008.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BurnimS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sen08,
author = {Koushik Sen},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Race directed random testing of concurrent programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {11--21},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375584},
doi = {10.1145/1375581.1375584},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RamanathanSGJ08,
author = {Murali Krishna Ramanathan and
Koushik Sen and
Ananth Grama and
Suresh Jagannathan},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Protocol Inference Using Static Path Profiles},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_6},
doi = {10.1007/978-3-540-69166-2\_6},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/RamanathanSGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ParkS08,
author = {Chang{-}Seo Park and
Koushik Sen},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Randomized active atomicity violation detection in concurrent programs},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {135--145},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453121},
doi = {10.1145/1453101.1453121},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ParkS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/RosuS07,
author = {Grigore Rosu and
Koushik Sen},
title = {An instrumentation technique for online analysis of multithreaded
programs},
journal = {Concurr. Comput. Pract. Exp.},
volume = {19},
number = {3},
pages = {311--325},
year = {2007},
url = {https://doi.org/10.1002/cpe.1066},
doi = {10.1002/CPE.1066},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/RosuS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MajumdarS07,
author = {Rupak Majumdar and
Koushik Sen},
title = {Hybrid Concolic Testing},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {416--426},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.41},
doi = {10.1109/ICSE.2007.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MajumdarS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EmmiMS07,
author = {Michael Emmi and
Rupak Majumdar and
Koushik Sen},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Dynamic test input generation for database applications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {151--162},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273484},
doi = {10.1145/1273463.1273484},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/EmmiMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Sen07,
author = {Koushik Sen},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Effective random testing of concurrent programs},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {323--332},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321679},
doi = {10.1145/1321631.1321679},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Sen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Sen07a,
author = {Koushik Sen},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Concolic testing},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {571--572},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321746},
doi = {10.1145/1321631.1321746},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Sen07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JoshiSS07,
author = {Pallavi Joshi and
Koushik Sen and
Mark Shlimovich},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Predictive testing: amplifying the effectiveness of software testing},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {561--564},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287710},
doi = {10.1145/1287624.1287710},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JoshiSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Sen06,
author = {Koushik Sen},
title = {Scalable Automated Methods for Dynamic Program Analysis},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2006},
url = {https://hdl.handle.net/2142/81740},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Sen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SenRA06,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
title = {Online efficient predictive safety analysis of multithreaded programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {248--260},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0192-y},
doi = {10.1007/S10009-005-0192-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SenRA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenV06,
author = {Koushik Sen and
Mahesh Viswanathan},
editor = {Thomas Ball and
Robert B. Jones},
title = {Model Checking Multithreaded Programs with Asynchronous Atomic Methods},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {300--314},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_29},
doi = {10.1007/11817963\_29},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Thomas Ball and
Robert B. Jones},
title = {{CUTE} and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking
Tools},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {419--423},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_38},
doi = {10.1007/11817963\_38},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Automated Systematic Testing of Open Distributed Programs},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {339--356},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_25},
doi = {10.1007/11693017\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SenA06,
author = {Koushik Sen and
Gul Agha},
editor = {Eyal Bin and
Avi Ziv and
Shmuel Ur},
title = {A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded
Programs},
booktitle = {Hardware and Software, Verification and Testing, Second International
Haifa Verification Conference, {HVC} 2006, Haifa, Israel, October
23-26, 2006. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4383},
pages = {166--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70889-6\_13},
doi = {10.1007/978-3-540-70889-6\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/SenA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SenVAR06,
author = {Koushik Sen and
Abhay Vardhan and
Gul Agha and
Grigore Rosu},
title = {Decentralized runtime analysis of multithreaded applications},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639591},
doi = {10.1109/IPDPS.2006.1639591},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SenVAR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SenVA06,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Model-Checking Markov Chains in the Presence of Uncertainties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {394--410},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_26},
doi = {10.1007/11691372\_26},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SenVA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArthoBGHKLPRSVW05,
author = {Cyrille Artho and
Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Sarfraz Khurshid and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Koushik Sen and
Willem Visser and
Richard Washington},
title = {Combining test case generation and runtime verification},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {2-3},
pages = {209--234},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.007},
doi = {10.1016/J.TCS.2004.11.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenVA05,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {On Statistical Model Checking of Stochastic Systems},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {266--280},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_26},
doi = {10.1007/11513988\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SenRA05,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Martin Steffen and
Gianluigi Zavattaro},
title = {Detecting Errors in Multithreaded Programs by Generalized Predictive
Analysis of Executions},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
June 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {211--226},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494881\_14},
doi = {10.1007/11494881\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/SenRA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GodefroidKS05,
author = {Patrice Godefroid and
Nils Klarlund and
Koushik Sen},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {{DART:} directed automated random testing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {213--223},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065036},
doi = {10.1145/1065010.1065036},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GodefroidKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SenVA05,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul A. Agha},
title = {{VESTA:} {A} Statistical Model-checker and Analyzer for Probabilistic
Systems},
booktitle = {Second International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
pages = {251--252},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QEST.2005.42},
doi = {10.1109/QEST.2005.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SenVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenMA05,
author = {Koushik Sen and
Darko Marinov and
Gul Agha},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {{CUTE:} a concolic unit testing engine for {C}},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {263--272},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081750},
doi = {10.1145/1081706.1081750},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenMA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VardhanSVA05,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Using Language Inference to Verify Omega-Regular Properties},
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 = {45--60},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_4},
doi = {10.1007/978-3-540-31980-1\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VardhanSVA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AghaMS06,
author = {Gul A. Agha and
Jos{\'{e}} Meseguer and
Koushik Sen},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {PMaude: Rewrite-based Specification Language for Probabilistic Object
Systems},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {213--239},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.040},
doi = {10.1016/J.ENTCS.2005.10.040},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AghaMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SenVA04,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Statistical Model Checking of Black-Box Probabilistic Systems},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {202--215},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_16},
doi = {10.1007/978-3-540-27813-9\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SenVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NaldurgST04,
author = {Prasad Naldurg and
Koushik Sen and
Prasanna Thati},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {A Temporal Logic Based Framework for Intrusion Detection},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {359--376},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_23},
doi = {10.1007/978-3-540-30232-2\_23},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/NaldurgST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VardhanSVA04,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Actively Learning to Verify Safety for {FIFO} Automata},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {494--505},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_41},
doi = {10.1007/978-3-540-30538-5\_41},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VardhanSVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VardhanSVA04,
author = {Abhay Vardhan and
Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Learning to Verify Safety Properties},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {274--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_26},
doi = {10.1007/978-3-540-30482-1\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/VardhanSVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SenVAR04,
author = {Koushik Sen and
Abhay Vardhan and
Gul Agha and
Grigore Rosu},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Efficient Decentralized Monitoring of Safety in Distributed Systems},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {418--427},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317464},
doi = {10.1109/ICSE.2004.1317464},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SenVAR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BarringerGHS04,
author = {Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Koushik Sen},
title = {Program Monitoring with {LTL} in {EAGLE}},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303336},
doi = {10.1109/IPDPS.2004.1303336},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BarringerGHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RosuS04,
author = {Grigore Rosu and
Koushik Sen},
title = {An Instrumentation Technique for Online Analysis of Multithreaded
Programs},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303344},
doi = {10.1109/IPDPS.2004.1303344},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/RosuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/SenVA04,
author = {Koushik Sen and
Mahesh Viswanathan and
Gul Agha},
title = {Learning Continuous Time Markov Chains from Sample Executions},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {146--155},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348029},
doi = {10.1109/QEST.2004.1348029},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/SenVA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SenRA04,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Online Efficient Predictive Safety Analysis of Multithreaded Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {123--138},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_9},
doi = {10.1007/978-3-540-24730-2\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SenRA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BarringerGHS04,
author = {Howard Barringer and
Allen Goldberg and
Klaus Havelund and
Koushik Sen},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Rule-Based Runtime Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {44--57},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_5},
doi = {10.1007/978-3-540-24622-0\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BarringerGHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/SenRA03,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Vijay A. Saraswat},
title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {260--275},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_17},
doi = {10.1007/978-3-540-40965-6\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/SenRA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KumarSMA03,
author = {Nirman Kumar and
Koushik Sen and
Jos{\'{e}} Meseguer and
Gul Agha},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
title = {A Rewriting Based Model for Probabilistic Distributed Object Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
19.21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {32--46},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39958-2\_3},
doi = {10.1007/978-3-540-39958-2\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/KumarSMA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SenRA03,
author = {Koushik Sen and
Grigore Rosu and
Gul Agha},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Runtime safety analysis of multithreaded programs},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {337--346},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940116},
doi = {10.1145/940071.940116},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SenRA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SenR03,
author = {Koushik Sen and
Grigore Rosu},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Generating Optimal Monitors for Extended Regular Expressions},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {226--245},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81051-X},
doi = {10.1016/S1571-0661(04)81051-X},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SenR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThatiSM02,
author = {Prasanna Thati and
Koushik Sen and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {An Executable Specification of Asynchronous Pi-Calculus Semantics
and May Testing in Maude 2.0},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {261--281},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82539-3},
doi = {10.1016/S1571-0661(05)82539-3},
timestamp = {Wed, 07 Dec 2022 08:35:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThatiSM02.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-26 01:57 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:
