Project Grant 2217722

COLLABORATIVE RESEARCH: DASS: ENABLING STANDARDS- AND DISCLOSURE-BASED REGULATIONS IN AND THROUGH SOFTWARE SYSTEMS: MAKING ALGORITHMIC WORK MANAGEMENT SOFTWARE ACCOUNTABLE TO LAW -SOFTWARE SYSTEMS HAVE BECOME AN INTEGRAL PART OF PUBLIC AND PRIVATE SECTOR MANAGEMENT, ASSISTING AND AUTOMATING CRITICAL HUMAN DECISIONS SUCH AS SELECTING PEOPLE AND ALLOCATING RESOURCES. EMERGING EVIDENCE SUGGESTS THAT SOFTWARE SYSTEMS FOR ALGORITHMIC MANAGEMENT CAN SIGNIFICANTLY UNDERMINE WORKFORCE WELL-BEING AND MAY BE POORLY SUITED TO FOSTERING ACCOUNTABILITY TO EXISTING LABOR LAW. FOR EXAMPLE, WAREHOUSE WORKERS ARE UNDER SERIOUS PHYSICAL AND PSYCHOLOGICAL STRESS DUE TO TASK ASSIGNMENT AND TRACKING WITHOUT APPROPRIATE BREAK TIMES. ON-DEMAND RIDE DRIVERS FEEL THAT AUTOMATED EVALUATION IS UNFAIR AND DISTRUST THE SYSTEM?S OPAQUE PAYMENT CALCULATIONS WHICH HAS LED TO WORKER LAWSUITS FOR WAGE UNDERPAYMENT. SHIFT WORKERS SUFFER FROM UNPREDICTABLE SCHEDULES THAT DESTABILIZE WORK-LIFE BALANCE AND DISRUPT THEIR ABILITY TO PLAN AHEAD. MEANWHILE, THERE IS NOT YET AN ESTABLISHED MECHANISM TO REGULATE SUCH SOFTWARE SYSTEMS. FOR EXAMPLE, THERE IS NO EXPERT CONSENSUS ON HOW TO APPLY CONCEPTS OF FAIRNESS IN SOFTWARE SYSTEMS. EXISTING WORK LAWS HAVE NOT KEPT PACE WITH EMERGING FORMS OF WORK, SUCH AS ALGORITHMIC MANAGEMENT AND DIGITAL LABOR PLATFORMS THAT INTRODUCE NEW RISK TO WORKERS, INCLUDING WORK-SCHEDULE VOLATILITY AND EMPLOYER SURVEILLANCE OF WORKERS BOTH ON AND OFF THE JOB. TO TACKLE THESE CHALLENGES, WE AIM TO DEVELOP TECHNICAL APPROACHES THAT CAN (1) MAKE SOFTWARE ACCOUNTABLE TO EXISTING LAW, AND (2) ADDRESS THE GAPS IN EXISTING LAW BY MEASURING THE NEGATIVE IMPACTS OF CERTAIN SOFTWARE USE AND BEHAVIOR, SO AS TO HELP STAKEHOLDERS BETTER MITIGATE THOSE EFFECTS. IN OTHER WORDS, WE AIM TO MAKE SOFTWARE ACCOUNTABLE TO LAW AND POLICY, AND LEVERAGE IT TO MAKE SOFTWARE USERS (INDIVIDUALS AND FIRMS) ACCOUNTABLE TO THE AFFECTED POPULATION AND THE PUBLIC. THIS PROJECT IS DEVELOPING NOVEL METHODS TO ENABLE STANDARDS AND DISCLOSURE-BASED REGULATION IN AND THROUGH SOFTWARE SYSTEMS DRAWING FROM FORMAL METHODS, HUMAN-COMPUTER INTERACTION, SOCIOLOGY, PUBLIC POLICY, AND LAW THROUGHOUT THE SOFTWARE DEVELOPMENT CYCLE. THE WORK WILL FOCUS ON ALGORITHMIC WORK SCHEDULING, WHICH IMPACTS SHIFT WORKERS WHO MAKE UP 25% OF WORKERS IN THE UNITED STATES. IT WILL TAKE A PARTICIPATORY APPROACH INVOLVING STAKEHOLDERS, PUBLIC POLICY AND LEGAL EXPERTS, GOVERNMENTS, COMMERCIAL SOFTWARE COMPANIES, AS WELL AS SOFTWARE USERS IN FIRMS AND THOSE AFFECTED BY THE SOFTWARE?S USE, IN THE SOFTWARE DESIGN AND EVALUATION. THE RESEARCH WILL TAKE PLACE IN THREE THRUSTS IN THE CONTEXT OF ALGORITHMIC SCHEDULING: (1) PARTICIPATORY FORMALIZATION OF REGULATORY SOFTWARE REQUIREMENTS, (2) SCALABLE AND INTERACTIVE FORMAL METHODS AND AUTOMATED REASONING FOR SOFTWARE GUARANTEES AND DECISION SUPPORT, AND (3) REGULATORY OUTCOME EVALUATION AND MONITORING. BY DEVELOPING ACCOUNTABLE SCHEDULING SOFTWARE, THE PROJECT HAS THE POTENTIAL FOR SIGNIFICANT BROADER IMPACTS BY GIVING BUSINESSES THE TOOLS THEY NEED FOR COMPLIANCE WITH AND ACCOUNTABILITY TO EXISTING WORK SCHEDULING REGULATIONS, AS WELL AS THE CAPACITY TO PROVIDE MORE SCHEDULE STABILITY AND PREDICTABILITY IN THEIR BUSINESS OPERATIONS. THIS AWARD REFLECTS NSF'S STATUTORY MISSION AND HAS BEEN DEEMED WORTHY OF SUPPORT THROUGH EVALUATION USING THE FOUNDATION'S INTELLECTUAL MERIT AND BROADER IMPACTS REVIEW CRITERIA.