February 21st, 2012
Unleash the power of computing!
There will be a student run Intro to Unix session on Thursday, February 23 at 9pm in the downstairs lab (King 135). Learn how to use the command line, copy files from your laptop, and other tricks to help you get your CS labs done faster.
Cookies might be provided.
February 2nd, 2012
A Welcome Back Pizza Party is planned for Wed, Feb. 8 at 4:30 in the CSCI Office King 223.
All Computer Science Majors are Welcome! Let’s start the Spring semester off right!
December 13th, 2011
Kuperman’s Vim Tips
What: An introduction to some of the features of Vim that I find particularly useful
When: Thursday, December 15 @ 9pm
Where: King 135
It’ll be useful if you are comfortable using Vim (or vi) as an editor — at least have gone through the tutorial. I’ll introduce you to a number of useful features and concepts that will make Vim more useful for you. I’ll also try to answer any questions about Vim that I can.
December 1st, 2011
The CSMC proudly presents…
On Thursday, December 8th the Computer Science Majors Committee will be holding Emacs Night at 9pm in the downstairs lab. This will be a hands-on presentation intended to introduce you to GNU Emacs, along with some tips and tricks. This event could be especially helpful to those who are planning a computer science-related winter term, but aren’t sure what tool to use. All are welcome!
October 24th, 2011
John Donaldson, Emma Conner, Zach Levine, and Joaquim Ruales
This past weekend 3 Oberlin students competed as a team in the 2011 ACM Regional Programming Contest. They were competing among 122 teams from 60 colleges and universities throughout western Pennsylvania, Ohio, Michigan, eastern Ontario, and Indiana. Team O(Bees) took 10th out of 46 teams at the Youngstown State University site.
October 12th, 2011
The CSMC proudly presents…
- Discover its digital magnetism
- Have more time to play with puppies
- Prepare for the robot uprising
No experience necessary, learn the basics of Vim, hands-on!
Thursday, October 13 at 9pm in King 135
October 4th, 2011
Monday October 10, King 221 4:30 p.m.
An operating system is the software that provides the connection between application software and the underlying hardware. As such, its development is challenging and its correctness is critical. Linux is an open source operating system, developed by programmers around the world, who have a widely varying degree of expertise. These factors have implied that the introduction of bugs is continuous, and indeed seems inevitable. Adequate tools are thus needed to help programmers find these bugs in their code. Such tools furthermore need to be suited to the expertise and working style of the programmers that should use them.
In recent work, we have developed the program matching and transformation tool Coccinelle. Coccinelle makes it possible to match and transform code according to specifications that looks like the processed code itself. Concretely, Coccinelle provides the notion of a “semantic patch”, which is like the patch (diff) familiar to Linux developers, but is more general, allowing a single specification to match code found all over the Linux
kernel. In this talk, we will introduce Coccinelle and present a number of bugs recently found in Linux code by using this tool.
Joint work with Gilles Muller, INRIA
Sponsored by the Computer Science Department, College Leading Edge Fund, and the Alumni Office ASOC Program