Workshop PROMISE 2023 – Author Index

A B C D E F H J K M O P R S T W Y

	Amasaki, Sousuke	PROMISE '23: "On Effectiveness of Further ..." On Effectiveness of Further Pre-training on BERT Models for Story Point Estimation Sousuke Amasaki (Okayama Prefectural University, Japan) @InProceedings{PROMISE23p67, author = {Sousuke Amasaki}, title = {On Effectiveness of Further Pre-training on BERT Models for Story Point Estimation}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3617555.3617877}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p16-p doi:10.1145/3617555.3617877
	Bhandari, Pragya	PROMISE '23: "BuggIn: Automatic Intrinsic ..." BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML Pragya Bhandari and Gema Rodríguez-Pérez (University of British Columbia, Canada) @InProceedings{PROMISE23p12, author = {Pragya Bhandari and Gema Rodríguez-Pérez}, title = {BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3617555.3617875}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p12-p doi:10.1145/3617555.3617875
	Bisztray, Tamas	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Chand, Sivajeet	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Cordeiro, Lucas C.	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Durisic, Darko	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Erdogmus, Hakan	PROMISE '23: "Do Developers Fix Continuous ..." Do Developers Fix Continuous Integration Smells? Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün (Bilkent University, Turkiye; Carnegie Mellon University, USA) @InProceedings{PROMISE23p23, author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün}, title = {Do Developers Fix Continuous Integration Smells?}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3617555.3617870}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p2-p doi:10.1145/3617555.3617870
	Ergül, Ege	PROMISE '23: "Do Developers Fix Continuous ..." Do Developers Fix Continuous Integration Smells? Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün (Bilkent University, Turkiye; Carnegie Mellon University, USA) @InProceedings{PROMISE23p23, author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün}, title = {Do Developers Fix Continuous Integration Smells?}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3617555.3617870}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p2-p doi:10.1145/3617555.3617870
	Ferrag, Mohamed Amine	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Horkoff, Jennifer	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Jain, Ridhi	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Karakas, Umutcan	PROMISE '23: "Automated Fairness Testing ..." Automated Fairness Testing with Representative Sampling Umutcan Karakas and Ayse Tosun (Istanbul Technical University, Turkiye) @InProceedings{PROMISE23p78, author = {Umutcan Karakas and Ayse Tosun}, title = {Automated Fairness Testing with Representative Sampling}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {78-77}, doi = {10.1145/3617555.3617871}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p5-p doi:10.1145/3617555.3617871
	Khomh, Foutse	PROMISE '23: "Harnessing Predictive Modeling ..." Harnessing Predictive Modeling and Software Analytics in the Age of LLM-Powered Software Development (Invited Talk) Foutse Khomh (Polytechnique Montréal, Canada) @InProceedings{PROMISE23p1, author = {Foutse Khomh}, title = {Harnessing Predictive Modeling and Software Analytics in the Age of LLM-Powered Software Development (Invited Talk)}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3617555.3634736}, year = {2023}, } Publisher's Version Article: fsews23promisemain-key1-p doi:10.1145/3617555.3634736
	Mavroeidis, Vasileios	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Menzies, Tim	PROMISE '23: "Model Review: A PROMISEing ..." Model Review: A PROMISEing Opportunity Tim Menzies (North Carolina State University, USA) @InProceedings{PROMISE23p89, author = {Tim Menzies}, title = {Model Review: A PROMISEing Opportunity}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3617555.3617876}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p14-p doi:10.1145/3617555.3617876
	Ochodek, Miroslaw	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Pandey, Sushant Kumar	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Rahkema, Kristiina	PROMISE '23: "Large Scale Study of Orphan ..." Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain David Reid, Kristiina Rahkema, and James Walden (University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA) @InProceedings{PROMISE23p34, author = {David Reid and Kristiina Rahkema and James Walden}, title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3617555.3617872}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p7-p doi:10.1145/3617555.3617872
	Reid, David	PROMISE '23: "Large Scale Study of Orphan ..." Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain David Reid, Kristiina Rahkema, and James Walden (University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA) @InProceedings{PROMISE23p34, author = {David Reid and Kristiina Rahkema and James Walden}, title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3617555.3617872}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p7-p doi:10.1145/3617555.3617872
	Rodríguez-Pérez, Gema	PROMISE '23: "BuggIn: Automatic Intrinsic ..." BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML Pragya Bhandari and Gema Rodríguez-Pérez (University of British Columbia, Canada) @InProceedings{PROMISE23p12, author = {Pragya Bhandari and Gema Rodríguez-Pérez}, title = {BuggIn: Automatic Intrinsic Bugs Classification Model using NLP and ML}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3617555.3617875}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p12-p doi:10.1145/3617555.3617875
	Staron, Miroslaw	PROMISE '23: "Comparing Word-Based and AST-Based ..." Comparing Word-Based and AST-Based Models for Design Pattern Recognition Sivajeet Chand, Sushant Kumar Pandey, Jennifer Horkoff, Miroslaw Staron, Miroslaw Ochodek, and Darko Durisic (Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Poznan University, Poland; Volvo Cars, Gothenburg, Sweden) @InProceedings{PROMISE23p56, author = {Sivajeet Chand and Sushant Kumar Pandey and Jennifer Horkoff and Miroslaw Staron and Miroslaw Ochodek and Darko Durisic}, title = {Comparing Word-Based and AST-Based Models for Design Pattern Recognition}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {56-55}, doi = {10.1145/3617555.3617873}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p9-p doi:10.1145/3617555.3617873
	Tihanyi, Norbert	PROMISE '23: "The FormAI Dataset: Generative ..." The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification Norbert Tihanyi, Tamas Bisztray, Ridhi Jain, Mohamed Amine Ferrag, Lucas C. Cordeiro, and Vasileios Mavroeidis (Technology Innovation Institute, United Arab Emirates; University of Oslo, Norway; University of Manchester, UK) @InProceedings{PROMISE23p45, author = {Norbert Tihanyi and Tamas Bisztray and Ridhi Jain and Mohamed Amine Ferrag and Lucas C. Cordeiro and Vasileios Mavroeidis}, title = {The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3617555.3617874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: fsews23promisemain-p11-p doi:10.1145/3617555.3617874
	Tosun, Ayse	PROMISE '23: "Automated Fairness Testing ..." Automated Fairness Testing with Representative Sampling Umutcan Karakas and Ayse Tosun (Istanbul Technical University, Turkiye) @InProceedings{PROMISE23p78, author = {Umutcan Karakas and Ayse Tosun}, title = {Automated Fairness Testing with Representative Sampling}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {78-77}, doi = {10.1145/3617555.3617871}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p5-p doi:10.1145/3617555.3617871
	Tüzün, Eray	PROMISE '23: "Do Developers Fix Continuous ..." Do Developers Fix Continuous Integration Smells? Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün (Bilkent University, Turkiye; Carnegie Mellon University, USA) @InProceedings{PROMISE23p23, author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün}, title = {Do Developers Fix Continuous Integration Smells?}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3617555.3617870}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p2-p doi:10.1145/3617555.3617870
	Walden, James	PROMISE '23: "Large Scale Study of Orphan ..." Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain David Reid, Kristiina Rahkema, and James Walden (University of Tennessee at Knoxville, USA; University of Tartu, Estonia; Northern Kentucky University, USA) @InProceedings{PROMISE23p34, author = {David Reid and Kristiina Rahkema and James Walden}, title = {Large Scale Study of Orphan Vulnerabilities in the Software Supply Chain}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3617555.3617872}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p7-p doi:10.1145/3617555.3617872
	Yaşa, Ayberk	PROMISE '23: "Do Developers Fix Continuous ..." Do Developers Fix Continuous Integration Smells? Ayberk Yaşa, Ege Ergül, Hakan Erdogmus, and Eray Tüzün (Bilkent University, Turkiye; Carnegie Mellon University, USA) @InProceedings{PROMISE23p23, author = {Ayberk Yaşa and Ege Ergül and Hakan Erdogmus and Eray Tüzün}, title = {Do Developers Fix Continuous Integration Smells?}, booktitle = {Proc.\ PROMISE}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3617555.3617870}, year = {2023}, } Publisher's Version Article: fsews23promisemain-p2-p doi:10.1145/3617555.3617870

26 authors

proc time: 0.04