Follow

Submissions from 2021

Link

Ancestral haplotype reconstruction in endogamous populations using identity-by-descent, Kelly Finke, Michael Kourakos, Gabriela Brown, Huyen Trang Dang, Shi Jie Samuel Tan '23, and Sara Mathieson

Link

The (Im)possibilit of Fairness: Different Value Systems Require Different Mechanisms For Fair Decision Making, Sorelle Friedler, Carlos Scheidegger, and Suresh Venkatasubramanian

Submissions from 2020

Link

Shapley Residuals: Quantifying the limits of the Shapley value for explanations, Elizabeth Kumar, Carlos Scheidegger, Suresh Venkatasubramanian, and Sorelle Friedler

Link

Problems with Shapley-value-based explanations as feature importance measures, Elizabeth Kumar, Suresh Venkatasubramanian, Carlos Scheidegger, and Sorelle Friedler

Link

An Attentive Recurrent Model for Incremental Prediction of Sentence-final Verbs, Wenyan Li, Alvin Grissom, and Jordan Boyd-Graber

Link

Touchless Typing Using Head Movement-based Gestures, Shivam Rustagi, Aakash Garg, Pranay Raj Anand, Rajesh Kumar, and Yaman Kumar

Link

Fairness Warnings and Fair-MAML: Learning Fairly with Minimal Data, Dylan Slack '19, Sorelle Friedler, and Emile Givental '20

Link

On the Inference of Soft Biometrics from Typing Patterns Collected in a Multi-device Environment, Vishaal Udandarao, Mohit Agrawal, Rajesh Kumar, and Rajiv Ratn Shah

Iteration with intention: Project-based learning of computational thinking, Nasanbayar Ulzii-Orshikh '21 and John Dougherty

Submissions from 2019

Link

Fairness in representation: Quantifying stereotyping as a representational harm, Mohsen Abbasi, Sorelle A. Friedler, Carlos Scheidegger, and Suresh Venkatasubramanian

Computing for learning math and other disciplines, John Dougherty

Mathematics for a human-computer interaction course, John Dougherty

Link

Gaps in information access in social networks, Benjamin Fish, Sorelle Friedler, Ashkan Bashardoust, Carlos Scheidegger, and Danah Boyd

Link

A comparative study of fairness-enhancing interventions in machine learning, Sorelle Friedler, Sonam Choudhary, Carlos Scheidegger, Evan P. Hamilton '17, and Suresh Venkatasubramanian

Link

Automated congressional redistricting, Harry A. Levin '14 and Sorelle Friedler

Link

Energy Usage Reports: Environmental awareness as part of algorithmic accountability, Kadan Lottick '20, Silvia Susai '20, Sorelle Friedler, and Jonathan P. Wilson

Link

Disentangling Influence: Using disentangled representations to audit model predictions, Charles T. Marx '20, Richard Lanas Philips, Sorelle A. Friedler, Carlos Scheidegger, and Suresh Venkatasubramanian

Gower as Data: Exploring the Application of Machine Learning to Gower’s Middle English Corpus, Kara L. McShane and Alvin Grissom

Link

Fairness and Abstraction in Sociotechnical Systems, Andrew D. Selbst, Danah Boyd, Sorelle Friedler, Suresh Venkatasubramanian, and Janet Vertesi

Link

Fair Meta-Learning: Learning How to Learn Fairly, Dylan Slack '19, Sorelle Friedler, and Emile Givental '20

Link

Assessing the Local Interpretability of Machine Learning Models, Dylan Slack '19, Sorelle Friedler, Carlos Scheidegger, and Chitradeep Dutta Roy

Link

ImaGene: a convolutional neural network to quantify natural selection from genomic data, Luis Torada, Lucrenzia Lorenzon, Alice Beddis, Ulas Isildak, and Sara Mathieson

An observational investigation of reverse engineers' processes and mental models, Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Jeffrey S. Foster, and Michelle L. Mazurek

Link

User Comfort with Android Background Resource Accesses in Different Contexts, Daniel Votipka, Seth M. Rabin, Kristopher Micinski, Thomas Gilray, and Michelle L. Mazurek

Submissions from 2018

Recursion versus tail recursion over F¯p, Siddharth Bhaskar

Link

A Likelihood-Free Inference Framework for Population Genetic Data using Exchangeable Neural Networks, Jeffrey Chan, Valerio Perrone, Jeffrey P. Spence, Paul A. Jenkins, and Sara Mathieson

Link

Decision making with limited feedback: Error bounds for recidivism prediction and predictive policing, Danielle Ensign, Sorelle Friedler, Scott Neville, Carlos Scheidegger, and Suresh Venkatasubramanian

Link

Runaway Feedback Loops in Predictive Policing, Danielle Ensign, Sorelle Friedler, Scott Neville, Carlos Scheidegger, and Suresh Venkatasubramanian

Iterator-Based Optimization of Imperfectly-Nested Loops, Daniel Fesbach '20, Mary Glaser '18, Michelle Strout, and David Wonnacott

Link

FADS1 and the Timing of Human Adaptation to Agriculture, Sara Mathieson and Iain Mathieson

Link

Interpretable Active Learning, Richard L. Phillips, Kyu Hyun Chang, and Sorelle Friedler

Link

NSF BIGDATA PI Meeting – Domain-Specific Research Directions and Data Sets, Lisa Singh, Amol Deshpande, Wenchao Zhou, Arindam Banerjee, and Sorelle Friedler

SIGCSE Filk Circle: CS Parody Songs for Learning, Engagement, and Fun, Patrick Virtue, Steven A. Wolfman, and John Dougherty

Submissions from 2017

Auditing black-box models for indirect influence, Philip Adler, Casey Falk '16, Sorelle Friedler, Tionney Nix '17, and Gabriel Rybeck '16

Let's talk about sets, John Dougherty

Where mathematics meets software engineering, John Dougherty

Assessment of a problem-based learning activity in a high performance scientific computing course, John P. Dougherty

Social and Technical Trade-Offs in Data Science, Sorelle A. Friedler, Solon Barocas, Danah Boyd, and Hanna Wallach

A blocks-based language for program correctness proofs, Peter-Michael Osera and David Wonnacott

Assessment of Introducing Algorithms with Video Lectures and Pseudocode Rhymed to a Melody, Benjamin J. Schreiber and John Dougherty

Submissions from 2016

Convex Hull for Probabilistic Points, F. Betul Atalay, Sorelle Friedler, and Diana Xu

Blast from the past, John Dougherty

Computational maturity, John Dougherty

Statistics, data science, and discovering truth, John Dougherty

MATH COUNTS: Inside CS2013, John P. Dougherty

Auditing Black-box Models for Indirect Influence, Casey Falk '16, Phillip D.F. Adler, Sorelle A. Friedler, Gabriel Rybeck '16, Carlos Scheidegger, and Brandon Smith '16

Link

Deep Learning for Population Genetic Inference, Sara Mathieson and Yun S. Song

Machine-learning-assisted materials discovery using failed experiments, Paul Raccuglia '14, Katherine C. Elbert '13, Phillip D.F. Adler, Casey Falk '16, Malia B. Wenny '17, Aurelio Mollo '17, Sorelle A. Friedler, Joshua Schrier, and Alexander J. Norquist

Submissions from 2015

From sunset to sunrise, John P. Dougherty

Link

Certifying and Removing Disparate Impact, Michael Feldman, Sorelle Friedler, John Moeller, Carlos Scheidegger, and Suresh Venkatasubramanian

A Sensor-based Framework for Kinetic Data Compression, Sorelle A. Friedler

Submissions from 2014

Decoding coalescent hidden Markov models in linear time, Kelley Harris, Sara Mathieson, John A. Kamm, and Yun S. Song

Submissions from 2013

Estimating variable effective population sizes from multiple genomes: A sequentially Markov conditional sampling distribution approach, Sara Mathieson, Kelley Harris, and Yun S. Song

Submissions from 2012

Link

Telescoper: de novo assembly of highly repetitive regions, Ma'ayan Bresler, Sara Mathieson, Andrew H. Chan, and Yun S. Song

Distributed Shared Memory and Compiler-Induced Scalable Locality for Scalable Cluster Performance, David Wonnacott

Submissions from 2011

ompVerify: Polyhedral Analysis for the OpenMP Programmer, V. Basupalli, T. Yuki, S. Rajopadhye, and David Wonnacott

Review of Judy Green and Jeanne LaDuke's Pioneering Women in American Mathematics: the Pre-1940 PhD’s, Sorelle A. Friedler

Submissions from 2010

Approximation Algorithm for the Kinetic Robust k-center Problem, Sorelle A. Friedler

Review of Patricia Clark Kenschaft's Change is Possible: Stories of Women and Minorities in Mathematics, Sorelle A. Friedler

Spatio-temporal Range Searching over Compressed Kinetic Sensor Data, Sorelle A. Friedler

If ____________, you might be a computational thinker!, Daniel D. Garcia, Colleen M. Lewis, John P. Dougherty, and Matthew C. Jadud

Certification and standards for computing education in Pennsylvania , Jean Griffin, John P. Dougherty, Tammy R. Pirmann, and Rita Powell

Real-Time Collaboration Tools for Digital Ink, Steven Lindell

Submissions from 2009

Integrating data-intensive scalable computing into the computer science curriculum, Alice E. Fischer, Gregory Kesden, John P. Dougherty, and Mark E. Hoffman

Compressing kinetic data from sensor networks, Sorelle A. Friedler

Submissions from 2008

Using lyrics and music to reinforce concepts , John P. Dougherty

Enabling Teachers to Explore Grade Patterns to Identify Individual Needs and Promote Fairer Student Assessment, Sorelle A. Friedler

A normal form for first-order logic over doubly-linked data structures, Steven Lindell

Submissions from 2007

Concept visualization in CS0 using ALICE, John P. Dougherty

Virtual Worlds and Concepts in Computing, John P. Dougherty

PDF

Elements of Finite Model Theory [book review], Steven Lindell and Scott Weinstein

Attribute Grammars and the Teaching of Compiler Design and Implementation, David Wonnacott

Unifying the Applied Undergraduate CS Curriculum Around a Simplified Microprocessor Architecture, David Wonnacott

Submissions from 2005

Computer Science and Bioinformatics, John P. Dougherty

Use and assessment of a rigorous approach for CS1, John P. Dougherty and David Wonnacott

Robustness testing of Java server applications, C. Fu, A. Milanova, B. G. Ryder, and David Wonnacott

A Term Logic for Physically Realizable Models of Information, Steven Lindell

Efficient manipulation of disequalities during dependence analysis, Robert Seater and David Wonnacott

Submissions from 2004

Beowulf cluster computing with Linux [book review], John P. Dougherty

Turbo codes: desirable and designable [book review], John P. Dougherty

Testing of Java Web Services for Robustness, C. Fu, B. G. Ryder, A. Milanova, and David Wonnacott

Submissions from 2003

Compiler-directed Program Fault Coverage for Highly Available Java Internet Services, C. Fu and K. Martin

Submissions from 2002

Information technology fluency at a liberal arts college: Experience with implementation and assessment, John P. Dougherty

Information technology fluency in practice, John P. Dougherty, T. Clear, S. Cooper, and T. Decechi

Teaching the use of IT in specific domains: Developing, assessing and refining a curriculum development framework, John P. Dougherty, N. Kock, C. Sandas, and R. M. Aiken

Achieving scalable locality with time skewing, David Wonnacott

Submissions from 2001

Computing Across the Curriculum, R. A. Austing, F. Cover, and John P. Dougherty

Descriptive Complexity [book review], Steven Lindell

Polynomial time array dataflow analysis, Robert Seater and David Wonnacott

Using accessory functions to generalize dynamic dispatch in single-dispatch object-oriented languages, David Wonnacott

Submissions from 2000

An Open Source Computer Science Laboratory, John P. Dougherty and T. Miller

Omega Calculator and Library (Omega Project): release 1.2, W. Kelly, W. Maslov, E. Pugh, and David Wonnacott

The Role of Decidability in First Order Separations over Classes of Finite Structures, Steven Lindell and Scott Weinstein

Extending scalar optimizations for arrays, David Wonnacott

Using time skewing to eliminate idle time due to memory bandwidth and network limitations, David Wonnacott

Submissions from 1999

Structured performability analysis of parallel applications, John P. Dougherty

Time skewing for parallel computers, David Wonnacott

Submissions from 1998

Elementary Properties of the Finite Ranks, A. Dawar, K. Doets, Steven Lindell, and Scott Weinstein

Constraint-based array dependence analysis, William Pugh and David Wonnacott

Submissions from 1996

First Order Logic, Fixed Point Logic and Linear Order, A. Dawar, Steven Lindell, and Scott Weinstein