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 [2020/02/19 14:11] – postpone Mayfield's research talk mayfiecs | department:cs_research_seminar_talks [2023/06/26 15:47] – [Fall 2022 Schedule] molloykp | ||
---|---|---|---|
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 //Four naive questions in the theory of algorithms// | ||
+ | |||
+ | * **Nov 11** Virginia Tech PhD Candidate and JMU CS Alumna Kylie Davidson //Exploring Sensemaking Strategies in Immersive Space to Think// | ||
+ | |||
+ | |||
+ | **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. | ||
+ | |||
+ | * **Oct 7** Prof. Siddharth Bhaskar -- //Four naive questions in the theory of algorithms// | ||
+ | |||
+ | **Abstract: | ||
+ | In this talk I will raise four questions that you could, in theory, ask after taking a first data structures and algorithms course, viz., | ||
+ | |||
+ | --Why are so many sorting algorithms quadratic time? | ||
+ | |||
+ | --Why are stacks and queues the " | ||
+ | |||
+ | --Why are there only about three different types of proofs of general lower bounds? | ||
+ | |||
+ | --What is an algorithm anyway? | ||
+ | |||
+ | To be clear, I don't know a definitive answer to any of these, but the questions seem to be deep and continue to inspire me. I shall discuss each question, illustrate what the underlying problem is, and say a few words about how each has inspired some specific research projects. | ||
+ | |||
+ | |||
+ | * **Nov 9** PhD. candidate | ||
+ | |||
+ | **Abstract: | ||
+ | Existing research on immersive analytics to support the sensemaking process focuses on single-session sensemaking tasks. However, in the wild, sensemaking can take days or months to complete. In order to understand the full benefits of immersive analytic systems, we need to understand how immersive analytic systems provide flexibility for the dynamic nature of the sensemaking process. In our work, we build upon an existing immersive analytic system – Immersive Space to Think, to evaluate how immersive analytic systems can support sensemaking tasks over time. We conducted a user study with eight participants with three separate analysis sessions each. We found significant differences between analysis strategies between sessions one, two, and three, which suggest that immersive space to think can benefit analysts during multiple stages in the sensemaking process. | ||
+ | ==== 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 ==== | ||
+ | |||
+ | **Faculty Research Talks** | ||
+ | |||
+ | * Oct 15 - Prof. Michael Stewart. //Standard Music// | ||
==== Spring 2020 Schedule ==== | ==== Spring 2020 Schedule ==== | ||
Line 16: | Line 135: | ||
**Undergraduate Thesis Presentations** | **Undergraduate Thesis Presentations** | ||
+ | * Apr 3 - TBD | ||
+ | * Apr 3 - Charles Hines: // | ||
* Apr 10 - Jake Brazleton: //Using Software to Generate Acoustic Projections for 3D Models// (Advisor: Prof. Bowers) | * Apr 10 - Jake Brazleton: //Using Software to Generate Acoustic Projections for 3D Models// (Advisor: Prof. Bowers) | ||
- | * Apr 10 - Charles Hines: //Less-Java, More Type Safety// (Advisor: Prof. Lam) | + | * Apr 10 - William Lovo: //Analyzing Text Classifiers to Support DLP Systems// (Advisor: Prof. Molloy) |
- | * Apr 10 - William Lovo: //Analyzing Text Classifiers to Support DLP Systems.// (Advisor: Prof. Molloy) | + | * Apr 10 - Megan Gilbert: //Fourth Hour: A Pilot Study on the Impact of PI// (Advisor: Prof. Weikle) |
===== Spring 2020 Abstracts ===== | ===== Spring 2020 Abstracts ===== |