News & Events

Computer Scientist Stephen Freund Awarded NSF Grant to Study Multithreaded Software

Congratulations to Stephen Freund! The National Science Foundation has awarded him a three-year, $198,993 grant to study techniques for automatically identifying defects in multithreaded software.

Multithreaded programs are those capable of executing more than one task, or thread, simultaneously, explains Freund, whose research focuses on the design and implementation of programming languages and verification of multithreaded programs.

Here’s the full press release.

 

Class of 1960s speaker Tom Mitchell, “Neural Representations of Language Meaning”

The Computer Science Department’s Class of 1960 Scholars Lecture Series
Thursday, September 18 at 8:00 pm in Wege Auditorium (TCL 123)


Neural Representations of Language Meaning

How does the human brain use neural activity to create and represent meanings of words, sentences and stories? One way to study this question is to give peopletext to read, while scanning their brain. We have been doing such experiments with fMRI (1 mm spatial resolution) and MEG (1 msec time resolution) brain imaging. As a result, we have learned answers to questions such as “Are the neural encodings of word meaning the same in your brain and mine?”, “Are neural encodings of word meaning built out of recognizable subcomponents, or are they randomly different for each word?,” and “What sequence of neurally encoded information flows through the brain during the half-second in which the brain comprehends a word?” This talk will summarize some of what we have learned, and newer questions we are currently working on.


Tom MitchellTom M. Mitchell is the E. Fredkin University Professor and head of the Machine Learning Department at Carnegie Mellon University, and a member of CMU’s Center for the Neural Basis of Cognition. His research interests lie in cognitive neuroscience, machine learning, and artificial intelligence. Mitchell is a member of the US National Academy of Engineering, a Fellow of the American Association for the Advancement of Science (AAAS), and Fellow and Past President of the Association for the Advancement of Artificial Intelligence (AAAI). Mitchell’s home page is www.cs.cmu.edu/~tom

Computer Science Thesis Presentations 2014

Students will be presenting their research on Monday, May 19 at 9:00 am in TCL 202.

9:00 am
Daniel Seita – Building Sum-Product Networks
Probabilistic inference is the process of determining the probability of an event given some evidence.
While techniques based on probabilistic graphical models have been used in practical settings,
exact inference can still be intractable. Sum-Product Networks (SPNs) were recently invented to
address this deficiency. SPNs are trees formed from sum and product nodes, and they can model a
probability distribution while allowing inference to be done in time linear in the number of edges.
In this thesis, we give an introduction to SPNs and investigate di?erent procedures to construct
them given observed data. Specifically, we modify a current implementation of SPN learning in two
ways. In the first, we incorporate the Independent Variable Grouping Analysis (IVGA) method
for grouping variables based on dependency relationships. In the second, we use Density-Based
Spatial Clustering of Applications with Noise (DBSCAN) to cluster similar instances. We analyze
the performance of the SPN learning algorithm with these modifications and compare it to the
original implementation that uses pairwise comparisons and Expectation-Maximization (EM) for
variable grouping and instance clustering, respectively. We find that for grouping variables, IVGA
appears to be worse than pairwise comparisons, but that for clustering instances, DBSCAN is a
viable alternative to EM, and may even result in SPNs that can better tolerate noise in data.

10:00 am
Parker Finch – Decoupling and Coalescing Race Checks
Much of our computing infrastructure utilizes multicore processors and multiprocessor hardware. Such systems can concurrently execute many software threads of control to improve responsiveness and performance, but the potential for unintentional interference between concurrent threads makes it difficult to ensure the reliability of multithreaded software. Automated tools to identify concurrency errors have the potential to make this task easier.

Perhaps the most fundamental concurrency error is a race condition. A race condition consists of two threads accessing (and at least one modifying) the same piece of data at the same time. While dynamic data race detection algorithms have improved in recent years, the overhead of race detection in array-intensive programs remains prohibitive. One promising insight is that arrays are often accessed via common patterns that enable compression of the information maintained by a dynamic race detector, as well as a reduction in the number of checks performed. However, a purely dynamic implementation of this compression technique failed to realize a corresponding decrease in run-time overhead due to the cost of inferring those access patterns at run time. We explore statically annotating programs with the array access patterns that appear at run time to eliminate the need to infer them. Our results show that this can effectively reduce the run-time overhead of race detection on programs with identifiable array access patterns.

11:00 am
Joshua Geller – Multi-Class Feature Selection
Feature selection involves identifying an “optimal” set of features in order to make a classification task more efficient or effective. There are three major approaches to feature selection in the context of classifier learning. One of these – the wrapper method – is a general class of algorithms that can be applied to any underlying classifier, but the choice of the classifier learner impacts the features selected. An interesting issue arises when the goal is multi-class classification but the underlying classifier learner is fundamentally designed for two-class problems, as is the case for support vector machines (SVMs). These types of classifiers handle multi-class tasks with an ensemble of binary classifiers. Current multi-class feature selection approaches operate on the black box level, using one uniform feature set for all underlying binary classifiers. I propose a framework for multi-class feature selection wrapper methods that includes the black box approach, but also introduces two additional multi-class feature selection approaches: the composite individual and the composite summed. I investigate a number of properties of this three-fold framework as well as multi-class feature selection in general.


Daniel SeitaDaniel Seita ’14

 

 

 

 

Parker Finch Parker Finch ’14

 

 

 

 

Joshua Geller Joshua Geller ’14

It’s Preregistration Time! Courses Offered 2014-2015

Fall 2014

Office of the Registrar, Fall 2014 Catalog, Computer Science

CSCI 109: The Art and Science of Computer Graphics (Q) Bailey
109-01 (LEC) TR 8:30-9:45
109-02 (LAB) M 1:00-2:25
109-03 (LAB) M 2:35-4:00

CSCI 134: Introduction to Computer Science (Q) Lenhart, Yorgey
134-01 (LEC) MWF 9:00-9:50
134-02 (LEC) MWF 10:00-10:50
134-03 (LAB) M 1:00-4:00
134-04 (LAB) T 1:00-4:00
134-05 (LAB) T 9:00-12:00

CSCI 136: Data Structures and Advanced Programming (Q)
McGuire
136-01 (LEC) MWF 9:00-9:50
136-02 (LAB) W 12:00-1:55
136-03 (LAB) W 2:05-4:00

CSCI 237: Computer Organization (Q) Bailey
237-01 (LEC) MWF 11:00-11:50
237-02 (LAB) T 1:00-2:25
237-03 (LAB) T 2:35-4:00

CSCI 315: Computational Biology [PHYS 315] (Q) Aalberts
315-01 (TUT) M 1:10-3:50

CSCI 319: Integrative Bioinformatics, Genomics, and Proteomics Lab [BIOL 319, CHEM 319, MATH 319, PHYS 319] (Q) Banta
319-01 (LEC) W 12:25-1:10
319-02 (LAB) W 1:15-4:00
319-03 (LAB) R 1:14-4:00

CSCI 354: Functional Programming and the Art of Recursion (Q) Yorgey
354-01 (LEC) TR 9:55-11:10
354-02 (CON) W 1:00-2:25

CSCI 361: Theory of Computation [MATH 361] (Q) Heeringa
361-01 (LEC) MWF 12:00-12:50

CSCI 371: Computational Graphics (Q) McGuire
371-01 (LEC) MWF 10:00-10:50
371-02 (LAB) R 1:00-4:00

CSCI 374T: Machine Learning (Q) Danyluk
374T-T1 (TUT) TBA

CSCI 397: Reading Heeringa
397-01 (IND) TBA

CSCI 493: Research in Computer Science (Q) Heeringa
493-01 (HON) TBA

CSCI 497: Reading Heeringa
497-01 (IND) TBA

CSCI 499: Computer Science Colloquium Heeringa
499-01 (LEC) F 2:35-3:50

Spring 2015

Office of the Registrar, Spring 2015 Catalog, Computer Science

CSCI 107: Creating Games McGuire
107-01 (LEC) TR 8:30-9:45
107-02 (LAB) R 1:00-4:00

CSCI 134: Introduction to Computer Science (Q) Danyluk, Freund
134-01 (LEC) MWF 9:00-9:50
134-02 (LEC) MWF 10:00-10:50
134-03 (LAB) M 1:00-4:00
134-04 (LAB) T 1:00-4:00
134-05 (LAB) M 7:00-10:00

CSCI 135: Diving into the Deluge of Data (Q) Heeringa
135-01 (LEC) MWF 9:00-9:50
135-02 (LAB) R 1:00-2:25
135-03 (LAB) R 2:35-4:00

CSCI 136: Data Structures and Advanced Programming (Q)
Yorgey
136-01 (LEC) MWF 10:00-10:50
136-02 (LAB) W 12:00-1:55
136-03 (LAB) W 2:05-4:00

CSCI 256: Algorithm Design and Analysis (Q) Lenhart
256-01 (LEC ) MWF 10:00-10:50

CSCI 334: Principles of Programming Languages (Q) Freund
334-01 (LEC) TR 9:55-11:10

CSCI 356: Advanced Algorithms (Q) Lenhart
356-T1 (TUT) TBA

CSCI 398: Reading Heeringa
398-01 (IND) TBD

CSCI 432: Operating Systems (Q) Bailey
432-01 (LEC) TR 8:30-9:45
432-02 (LAB) R 1:00-2:25
432-03 (LAB) R 2:35-4:00

CSCI 494: Senior Thesis Heeringa
494-01 (HON) TBD

CSCI 498: Reading Heeringa
498-01 (IND) TBD

CSCI 499: Computer Science Colloquium Heeringa
499-01 (LEC) F 2:35-3:50

Prof. Morgan McGuire receives award at 2014 ACM Symposium

Prof. Morgan McGuire and his coauthor Louis Bavoil of NVIDIA were awarded the best paper presentation award at the 2014 ACM Symposium on Interactive 3D Graphics and Games for their work on Weighted, Blended Order-Independent Transparency http://jcgt.org/published/0002/02/09/, published in the Journal of Computer Graphics Techniques.

Their work advances the state of the art for computer generated images of 3D scenes that contain computationally-difficult compositing elements including glass, fog, water, and foliage. The new method approximates the image using constant memory and linear time per pixel, in comparison to the linear storage cost and O(n log n) comparison sort of an A-buffer or k-buffer. They show how to implement blended transparency for a broad variety of target platforms, including game consoles, WebGL, and high-end mobile devices.

 

TA Applications due April 18

The Computer Science Department is now accepting applications for teaching assistants and tutors for Fall 2014 semester. We are interested in finding TAs for classes ranging from our introductory classes to our upper-level core classes and electives. You may be a TA for any class you have completed (or CS 134), and we encourage even those early in the major or who have taken only one or two CS courses to apply. Please apply before April 18 by filling out the online form available.