| 901 |
Exploiting CPU Clock Modulation for Covert Communication Channel
Shariful Alam, Jidong Xiao, Nasir U. Eisty
|
👻
Ghosted
|
cs.CR
|
0 |
2 years ago |
| 902 |
A Deep Learning Framework for Evaluating Dynamic Network Generative Models and Anomaly Detection
Alireza Rashnu, Sadegh Aliakbary
|
👻
Ghosted
|
cs.SI
|
0 |
2 years ago |
| 903 |
Drop it All or Pick it Up? How Developers Responded to the Log4JShell Vulnerability
Vittunyuta Maeprasart, Ali Ouni, Raula Gaikovina Kula
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 904 |
Towards Quantum Multiparty Session Types
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 905 |
Minuska: Towards a Formally Verified Programming Language Framework
Jan Tušil, Jan Obdržálek
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 906 |
Unlocking the Power of Environment Assumptions for Unit Proofs
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 907 |
Accessibility Issues in Ad-Driven Web Applications
Abdul Haddi Amjad, Muhammad Danish, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 908 |
FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation
Jiawen Weng, Zeke Xia, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
0 |
1 year ago |
| 909 |
Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE
Benjamin Steenhoek, Kalpathy Sivaraman, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 910 |
Gender Disparities in Contributions, Leadership, and Collaboration: An Exploratory Study on Software Systems Research
Shamse Tasnim Cynthia, Saikat Mondal, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 911 |
Formally Verified Binary-level Pointer Analysis
Freek Verbeek, Ali Shokri, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 912 |
Framework for On the Fly Input Refinement for Deep Learning Models
Ravishka Rathnasuriya
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 913 |
Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
Ruchira Manke, Mohammad Wardat, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 914 |
What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines
Nitish Patkar, Aimen Fahmi, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 915 |
Analyzing Social Media Engagement of Computer Science Conferences
Rey Ortiz, Sharif Ahmed, ... (+2 more)
|
👻
Ghosted
|
cs.SI
|
0 |
1 year ago |
| 916 |
Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences
Emily Vorderwülbeke, Isabella Graßl
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 917 |
A Bot-based Approach to Manage Codes of Conduct in Open-Source Projects
Sergio Cobos, Javier Luis Cánovas Izquierdo
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 918 |
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Rajdeep Singh Hundal, Yan Xiao, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 919 |
Towards Compatibly Mitigating Technical Lag in Maven Projects
Rui Lu
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 920 |
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira, João F. Ferreira, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
0 |
1 year ago |
| 921 |
The Balancing Act of Policies in Developing Machine Learning Explanations
Jacob Tjaden
|
👻
Ghosted
|
cs.HC
|
0 |
1 year ago |
| 922 |
Enhancing Women's Experiences in Software Engineering
Júlia Rocha Fortunato, Luana Ribeiro Soares, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 923 |
ROSA: Finding Backdoors with Fuzzing
Dimitri Kokkonis, Michaël Marcozzi, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
0 |
1 year ago |
| 924 |
Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing
Seth Wolfgang, Lan Lin, Fengguang Song
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 925 |
Improving Software Team Communication Through Social Interventions in Project Management Tools
April Clarke
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 926 |
Augmenting the Generality and Performance of Large Language Models for Software Engineering
Fabian C. Peña
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 927 |
Program Feature-based Fuzzing Benchmarking
Miao Miao
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 928 |
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
|
👻
Ghosted
|
cs.SE
|
0 |
9 months ago |
| 929 |
Digital Twins for Software Engineering Processes
Robin Kimmel, Judith Michael, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
8 months ago |
| 930 |
Detecting Suicidal Ideation in Text with Interpretable Deep Learning: A CNN-BiGRU with Attention Mechanism
Mohaiminul Islam Bhuiyan, Nur Shazwani Kamarudin, Nur Hafieza Ismail
|
👻
Ghosted
|
cs.CL
|
0 |
7 months ago |