| 901 |
Unlocking the Power of Environment Assumptions for Unit Proofs
Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 902 |
Minuska: Towards a Formally Verified Programming Language Framework
Jan Tušil, Jan Obdržálek
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 903 |
Towards Quantum Multiparty Session Types
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 904 |
A Deep Learning Framework for Evaluating Dynamic Network Generative Models and Anomaly Detection
Alireza Rashnu, Sadegh Aliakbary
|
👻
Ghosted
|
cs.SI
|
0 |
2 years ago |
| 905 |
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 |
8 months ago |
| 906 |
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 |
| 907 |
Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences
Emily Vorderwülbeke, Isabella Graßl
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 908 |
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 |
| 909 |
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 |
| 910 |
Framework for On the Fly Input Refinement for Deep Learning Models
Ravishka Rathnasuriya
|
👻
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 |
Analyzing Social Media Engagement of Computer Science Conferences
Rey Ortiz, Sharif Ahmed, ... (+2 more)
|
👻
Ghosted
|
cs.SI
|
0 |
1 year ago |
| 913 |
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 |
| 914 |
FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation
Jiawen Weng, Zeke Xia, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
0 |
1 year ago |
| 915 |
Testing the Stationarity Assumption in Software Effort Estimation Datasets
Michael Franklin Bosu, Stephen G. MacDonell, Peter Whigham
|
👻
Ghosted
|
cs.SE
|
0 |
5 years ago |
| 916 |
Time-Aware Models for Software Effort Estimation
Michael Franklin Bosu, Stephen G. MacDonell, Peter Whigham
|
👻
Ghosted
|
cs.SE
|
0 |
5 years ago |
| 917 |
Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE
Yixue Zhao
|
👻
Ghosted
|
cs.SE
|
0 |
7 years ago |
| 918 |
Poster: Identification of Methods with Low Fault Risk
Rainer Niedermayr, Tobias Röhm, Stefan Wagner
|
👻
Ghosted
|
cs.SE
|
0 |
8 years ago |
| 919 |
Semantic Query Language for Temporal Genealogical Trees
Evgeniy Gryaznov
|
👻
Ghosted
|
cs.DB
|
0 |
8 years ago |
| 920 |
Self-adaptive node-based PCA encodings
Leonard Johard, Victor Rivera, ... (+2 more)
|
👻
Ghosted
|
cs.NE
|
0 |
9 years ago |
| 921 |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)
Peizun Liu, Thomas Wahl
|
👻
Ghosted
|
cs.SE
|
0 |
9 years ago |
| 922 |
Towards the Design and Implementation of Aspect-Oriented Programming for Spreadsheets
Pedro Maia, Jorge Mendes, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 923 |
Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications
Domenico Amalfitano, Nicola Amatucci, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 924 |
Spreadsheets in an ERP environment: not what the doctor ordered
No'am Newman
|
👻
Ghosted
|
cs.SE
|
0 |
11 years ago |
| 925 |
Exploiting CPU Clock Modulation for Covert Communication Channel
Shariful Alam, Jidong Xiao, Nasir U. Eisty
|
👻
Ghosted
|
cs.CR
|
0 |
2 years ago |
| 926 |
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 |
| 927 |
Accessibility Issues in Ad-Driven Web Applications
Abdul Haddi Amjad, Muhammad Danish, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
1 year ago |
| 928 |
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 |
2 years ago |
| 929 |
Exact and Efficient Bayesian Inference for Privacy Risk Quantification (Extended Version)
Rasmus C. Rønneberg, Raúl Pardo, Andrzej Wąsowski
|
👻
Ghosted
|
cs.CR
|
0 |
2 years ago |
| 930 |
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata
Gunnar Kudrjavets, Aditya Kumar, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 931 |
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity
Gunnar Kudrjavets, Aditya Kumar, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 932 |
TIPICAL -- Type Inference for Python In Critical Accuracy Level
Jonathan Elkobi, Bernd Gruner, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 933 |
Verified Scalable Parallel Computing with Why3
Olivia Proust, Frédéric Loulergue
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 934 |
Personalized action suggestions in low-code automation platforms
Saksham Gupta, Gust Verbruggen, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 935 |
Towards machine learning guided by best practices
Anamaria Mojica-Hanke
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 936 |
Evaluating Code Metrics in GitHub Repositories Related to Fake News and Misinformation
Jason Duran, Mostofa Sakib, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 937 |
Simulation-Driven Automated End-to-End Test and Oracle Inference
Shreshth Tuli, Kinga Bojarczuk, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 938 |
Who Ate My Memory? Towards Attribution in Memory Management
Gunnar Kudrjavets, Ayushi Rastogi, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 939 |
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries
Rijnard van Tonder
|
👻
Ghosted
|
cs.SE
|
0 |
3 years ago |
| 940 |
Decisions in Continuous Integration and Delivery: An Exploratory Study
Yajing Luo, Peng Liang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
0 |
4 years ago |