Archive |

CIS Seminar: ” Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges”

Abstract: Cryptocurrencies and blockchains are often heralded as the keys to a new era of financial transparency and fairness. Decentralized exchanges (DEXes), in particular, run directly on blockchains. They manage custody of traded assets, preventing theft by exchange operators, and provide a globally visible and accessible trading platform that seems egalitarian. Our research, though, has revealed that DEXes […]

CIS Seminar: “Reducing Errors in Quantum Computation via Program Transformation”

Abstract: Quantum computing promises exponential speedups for an important class of problems. While quantum computers with few dozens of qubits have been demonstrated, these machines suffer from high rate of gate errors. Such machines are operated in the Noisy Intermediate Scale Quantum (NISQ) mode of computing where the output of the machine can be erroneous. […]

CIS: Grace Hopper Distinguished Lecture: “A 2020 Vision of U.S. Election Security”

Abstract: Despite the provision of a $380M federal grant to enhance technology and improve security in the 2018 midterm elections, machine failures and computer malfunctions again plagued polling places (in GA, PA, NY, IN, TX, and MA), resulting in late openings, long lines, and turned-away voters. Poor ballot layouts resurfaced in Florida, resulting in nearly […]

CIS Seminar: “Achieving CSforALL through the Beauty and Joy of Computing (BJC)”

Abstract:  At a time when computing is so much a part of all of our lives, has incredible job opportunities, and is so empowering, most students graduate high school without having had any introduction to computer science. A decade ago in the United States, the CSforALL movement was launched to broaden participation in computing to those traditionally underrepresented. This talk will […]

CIS Seminar: “Contesting Secure Development to Understand Security Mistakes”

Abstract:  With the ongoing, frequent disclosure of the existence and exploitation of security vulnerabilities, one might wonder: How can we can build software that is more secure? In an attempt to focus educational attention on this question, and gather empirical evidence at the same time, we developed the Build it, Break it, Fix it (BIBIFI) […]

PRiML Seminar: “Nonconvex Optimization Meets Statistics: A Few Recent Stories”

Recent years have seen a flurry of activity in solving statistical estimation and learning problems via nonconvex optimization. While conventional wisdom often takes a dim view of nonconvex optimization algorithms due to their susceptibility to spurious local minima, simple iterative methods such as gradient descent have been remarkably successful in practice. The theoretical footings, however, […]

CIS Seminar: “Learning in dynamic environments”

Abstract: In many online systems participants use data and algorithms to experiment and learn how to best use the system. Examples include traffic routing as well as online auctions. Game theory classically studies Nash equilibrium as the outcome of selfish interaction, and has many examples illustrating that selfish behavior can lead to suboptimal outcome for […]

CIS Seminar: “A Geometric Perspective on Computing Motion”

Abstract: The connections between geometry and mechanics have been explored for centuries. How these connections shape computation is a question we are just beginning to explore.  If computers can predict how materials move and deform, they can help us to understand, anticipate and manipulate the physical world. Our group develops models and algorithms that capture the characteristic behavior […]

Tedori-Callinan Lecture: “Isogeometric Analysis”

The vision of Isogeometric Analysis was first presented in a paper published October 1, 2005 [1].  Since then it has become a focus of research within both the fields of Finite Element Analysis (FEA) and Computer Aided Design (CAD) and is rapidly becoming a mainstream analysis methodology and a new paradigm for geometric design [2].  […]

CIS Seminar: “What Society Must Require from AI”

Abstract:  Artificial intelligence (AI) algorithms, especially machine learning (ML) programs, are now being employed or proposed for use in: a) scanning résumés to weed out job applicants; b) evaluating risks children face in their families; c) informing judicial decisions about bail, sentencing, and parole; d) diagnosing medical conditions, and not just classifying medical images; e) […]

1 2 3
Archive |