Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
department:cs_research_seminar_talks [2021/10/13 11:42] – add f21 stewarmc | department:cs_research_seminar_talks [2023/01/11 15:14] – [CS Research Seminar Talks] stewarmc | ||
---|---|---|---|
Line 2: | Line 2: | ||
====== CS Research Seminar Talks ====== | ====== CS Research Seminar Talks ====== | ||
- | The CS Research Seminar Talks are talks given by faculty members and undergraduate research assistants on a variety of topics at the cutting edge of computer science research. Talks happen on Fridays at 12:20pm and occur roughly every couple of weeks, generally | + | The CS Research Seminar Talks are talks given by faculty members and undergraduate research assistants on a variety of topics at the cutting edge of computer science research. Talks happen on **Fridays at 11:30am** (Spring 2023) and are usually held in **King 236**. The format is a 40-45 minute research talk with 5-10 minutes reserved for questions. All CS students (and other interested students and faculty) are invited to attend. Email announcements about each seminar will be sent to the CS listserv. |
+ | |||
+ | ==== Fall 2022 Schedule ==== | ||
+ | |||
+ | * **Oct 7** Prof. John C. Bowers | ||
+ | |||
+ | * **Nov 4** Prof. Siddharth Bhaskar //TBD// | ||
+ | |||
+ | * **Nov 11** Virginia Tech PhD Candidate and JMU CS Alumna Kylie Davidson //TBD// | ||
+ | |||
+ | * **Nov 18** Prof. Michael Kirkpatrick //TBD// | ||
+ | |||
+ | * **Dec 2** Prof. Nathan Sprague //TBD// | ||
+ | |||
+ | **Abstracts for the 2022 Fall Research Talks** | ||
+ | |||
+ | * **Oct 7** Prof. John C. Bowers -- //A proof of the Koebe-Andre' | ||
+ | |||
+ | **Abstract: | ||
+ | The beginning of the study of circle packings is the circle packing theorem, which says that any triangulation of the sphere can be realized as a pattern of interior-disjoint disks on the sphere whose tangency graph is isomorphic to the triangulation. The now classic Koebe-Andre’ev-Thurston theorem extends the circle packing theorem to weighted triangulations whose weights code for overlap angles of up to pi/2 between disks and not just tangencies. Recently Connelly and Gortler gave a new proof of the Circle Packing Theorem, which is also constructive—the proof gives rise to a numerical algorithm for computing a circle packing for any given triangulation. In this talk we will give an overview of Connelly and Gortler’s result and describe a new proof of the full Koebe-Andre’ev-Thurston theorem that extends their approach to packings with overlaps up to pi/2 and gives rise to an algorithm for computing them. We will discuss the main hurdles to the generalization and the main ideas used to overcome them. We will also show demo code for computing the packings. | ||
+ | |||
+ | |||
+ | ==== Spring 2022 Schedule ==== | ||
+ | |||
+ | **Faculty Research Talks Overview** | ||
+ | |||
+ | * **Feb 11** Prof. Siddharth Bhaskar | ||
+ | |||
+ | * **Feb 25** Prof. Chris Mayfield -- //POGIL in CS1: Evidence for Student Learning and Belonging// | ||
+ | |||
+ | * **Mar 4** Prof. Mike Lam -- //Recent Work in Floating-Point Program Analysis// | ||
+ | |||
+ | * **Mar 25** Prof. Kevin Molloy -- //Advances in Protein Characterizations// | ||
+ | |||
+ | * **Apr 1** Prof. Chris Johnson -- // | ||
+ | |||
+ | * **Apr 8** Prof. David Bernstein -- //Real-Time Pricing of Taxi Services// | ||
+ | |||
+ | * **Apr 15** Prof. Jason Forysth -- //Designing Wearable Systems for Movement Correction in Physical Therapy Applications// | ||
+ | |||
+ | * **Apr 29** Prof. Kirsten Richards -- //TBD// | ||
+ | |||
+ | |||
+ | **Abstracts for the 2022 Spring Research Talks** | ||
+ | |||
+ | |||
+ | * **Feb 11** Prof. Siddharth Bhaskar -- // | ||
+ | |||
+ | **Abstract: | ||
+ | We can distinguish between logical and nonlogical syntax of a programming language: the former being "pure programming" | ||
+ | |||
+ | It is folklore that every recursive procedure can be transformed into an iterative one, whose only recursive construct is a " | ||
+ | |||
+ | In this talk, I will discuss the general problem of recursion vs. iteration, the separation I mentioned above, and my small contribution to this story, which has to do with the intensional (i.e., complexity-theoretic) distinction between the two paradigms. This talk is classical in two senses: one, it's concerned with problems which were thought about early in the history of programming languages, and two, it's personally classical in the sense that it harkens back to the stuff I was thinking about in grad school. | ||
+ | |||
+ | |||
+ | * **Feb 25** Prof. Chris Mayfield -- //POGIL in CS1: Evidence for Student Learning and Belonging// | ||
+ | |||
+ | **Abstract: | ||
+ | For the past ten years, computer science instructors have adopted Process Oriented Guided Inquiry Learning (POGIL). Other STEM disciplines have shown conclusively that POGIL impacts student learning and knowledge retention. However, most research about POGIL in computer science has focused on perceptions and experiences, | ||
+ | |||
+ | |||
+ | * **Mar 4** Prof. Mike Lam -- //Recent Work in Floating-Point Program Analysis// | ||
+ | |||
+ | **Abstract: | ||
+ | There has been a sharp uptick in interest in floating-point precision analysis over the past decade, primarily in the context of high-performance computing (HPC) but also more recently in machine learning (ML). As HPC moves into the exascale era and ML increasingly dominates scientific workloads, it's increasingly important to understand where our algorithms are sensitive to small numerical insensitivities and where we need more or less precision. This presentation will explore recent work on the adaptation of existing analysis techniques (dynamic instrumentation and Monte Carlo Arithmetic) to Python programs. Historically, | ||
+ | |||
+ | |||
+ | * **Mar 25** Prof. Kevin Molloy -- //Advances in Protein Characterizations// | ||
+ | |||
+ | **Abstract: | ||
+ | The study of proteins and the relationship between their sequence, structure and function has been ongoing for decades. While some of this research is performed in a biochemical laboratory setting, the processes employed can be very time consuming and expensive. | ||
+ | |||
+ | This talk will provide a brief overview of proteins and their composition to enable reviewing how these systems are modeled computationally. A review of Google' | ||
+ | |||
+ | |||
+ | * **Apr 1** Prof. Chris Johnson -- // | ||
+ | |||
+ | **Abstract: | ||
+ | What if instead of printing " | ||
+ | |||
+ | Twoville is meant to be a sandbox for young people to explore mathematics and computer science --- and for Dr. Johnson to explore programming language features that facilitate parametric design. One big takeaway from his exploration is that not everything is an algorithm. Some designs need a more human touch. That's why Twoville supports bidirectional editing. A user can edit the design either through code or through mouse manipulation, | ||
+ | |||
+ | |||
+ | * **Apr 8** Prof. David Bernstein -- //Real-Time Pricing of Taxi Services// | ||
+ | |||
+ | **Abstract: | ||
+ | Historically, | ||
+ | |||
+ | This talk will illustrate why the pricing of these services is interesting using some simple examples. It will begin with a review of equilibrium pricing in perfectly competitive markets (for those who have never studied microeconomics, | ||
+ | |||
+ | |||
+ | * **Apr 15** Prof. Jason Forysth -- //Designing Wearable Systems for Movement Correction in Physical Therapy Applications// | ||
+ | |||
+ | **Abstract: | ||
+ | Musculoskeletal injuries are the leading cause of disability worldwide. Patients suffering from these injuries are often given exercises to perform that strengthen muscle groups or joints that have been injured. Typically, these exercises are observed in person at the physician' | ||
+ | |||
+ | In this talk, we will examine research conducted by the Wearable Computing Group to address these challenges by developing a wearable computing system to monitor patient at-home exercises. The system will actively monitor patients to provide real-time feedback to improve their functional gains and adherence to exercises. Prototype demonstrations will be presented along with discussions of specific research questions including capturing patient posture through various sensor systems, designing methods for feedback through visual, haptic, and audible modalities, and machine learning techniques to estimate patient improvement over time. | ||
==== Fall 2021 Schedule ==== | ==== Fall 2021 Schedule ==== |