News & Events

News

Press and media releases by the CIS Department. News releases can also be viewed on our calendar. Older news posts are available on our news archive.


Latest News:

News

Help wanted: Engineering Career Fair offers chance for jobs, internships
By Brian Neighbors
January 26, 2012

It's a chance for students to engineer an opportunity.

More than 115 companies will visit Kansas State University to recruit engineering students for full-time jobs and internship positions at the Engineering Career Fair, from 11 a.m. to 4 p.m. Tuesday, Feb. 7, on the second floor of the K-State Student Union.

Companies attending this year's fair include Black and Veatch Corp., BNSF Railway Company, Cargill, Cerner, Garmin, Halliburton Co., Kansas Department of Transportation, Koch Industries, Perceptive Software, Spirit AeroSystems, Schlumberger and many more.

Several...

Full article...
GARMIN IS OPENING AN OFFICE ON CAMPUS AT K-STATE!
CIS
January 13, 2012

GARMIN IS OPENING AN OFFICE ON CAMPUS AT K-STATE!

When: January 2012
Where: NISTAC Technology Center

We are looking for KSU students interested in working part-time (10-20 hrs/week) during school and full-time (40 hrs/week) during breaks.
If you are a Computer Science, Computer Engineering, or Electrical Engineering major and interested in performing verification/testing work for our Aviation department, please apply online for: Software Engineer Intern – K-State Campus.
Our available openings will not last long, so please apply online at jobs.garmin.com as...

Full article...

all news - rss feed


Events

The CIS Department has several events each semester. We also have a calendar of events available.


Latest Events:

Events

February 14, 2012 - 11:30am - 1:00pm
Cerner Pizza Party
Nichols Hall Atrium

March 1, 2012 - 8:00pm
CIS Movie Series: Terminator Salvation
N 126

March 8, 2012 - 8:00pm
CIS Movie Series: War Games
Paslay Auditorium

March 13, 2012 - 11:30am - 1:00pm
GE Aviation Pizza Party
Nichols Hall Atrium

March 15, 2012 - 8:00pm
CIS Movie Series:I, Robot
N 126

April 11, 2012 - 11:30am - 1:00pm
CivicPlus, Network Plus Pizza Party
Nichols Hall Atrium

May 3, 2012 - 8:00pm
CIS Movie Series: The Matrix
Paslay Auditorium

May 8, 2012 - 11:30am - 1:00pm
CIS Graduation Party
Nichols Hall Atrium

May 10, 2012 - 8:00pm
CIS Movie Series: Animatrix
N 126

May 12, 2012 - 8:00pm
CIS Movie Series:WallE
Paslay Auditorium

all events - calendar - rss feed


Seminars

The CIS Seminar Series is a great way for students to interact with faculty and other distinguished speakers. We also have an archive of seminars series for past years.


Latest Seminars:

Simulating a Yield Monitor
December 16, 2011 - 11:30am
CIS Library, N233
Departmental Seminar

Farmers in today's high-tech world have countless tools that did not exist two decades ago. Many of these tools automate some task that either the farmer had to do himself or had to go without. A yield monitor is one such tool that is used to approximate yield during harvest, and map out where the farmer has been to whatever precision the available GPS technology offers. Using java and the Grass GIS, I simulate a yield monitor that runs on a Linux computer.

Full details...
Using Density-Based Clustering to Improve Skeleton Embedding in the Pinocchio Automatic Rigging System
December 13, 2011 - 2:30pm
N 236
MS Defense

Abstract:

Automatic rigging is a targeting approach that takes a 3-D character mesh and an adapted skeleton and automatically embeds it into the mesh. Automating the embedding step provides a savings over traditional character rigging approaches, which require manual guidance, at the cost of occasional errors in recognizing parts of the mesh and aligning bones of the skeleton with it. In this thesis, I examine the problem of reducing such errors in an auto-rigging system and apply a density-based clustering algorithm to correct errors in a particular system, Pinocchio (Baran & Popovic, 2007). I show how the density-based clustering algorithm DBSCAN (Ester et al., 1996) is able to filter out some impossible vertices to correct errors at character extremities (hair, hands, and feet) and those resulting from clothing that hides extremities such as legs.

Keywords: computer graphics, automatic rigging, skeleton embedding, character modeling, clustering algorithms

Full details...
A formally verified SSA-based middle-end compiler
David Pichardie, Gilles Barthe, and Delphine Demange - Rennes University, France and Purdue University
December 8, 2011 - 1:30pm
Nichols 126
Distinguished Lecturer

CompCert is a formally verified compiler that generates compact and efficient PowerPC, ARM and x86 code for a large and realistic subset of the C language. However, CompCert foregoes using Static Single Assignment (SSA), an intermediate representation that allows for writing simpler and faster optimizers, and is used by many compilers. In fact, it has remained an open problem to verify formally a SSA-based middle-end compiler.

We report on a formally verified, SSA-based, middle-end for CompCert. Our middle-end performs conversion from CompCert intermediate form to SSA form, optimization of SSA programs, including Global Value Numbering, and transforming out of SSA to intermediate form. In addition to provide the first formally verified SSA-based middle-end, our work addresses two problems raised by Leroy: giving a simple and intuitive formal semantics to SSA, and showing how to leverage the global properties given by SSA to reason locally about program optimizations.

Full details...

All Pages

Info About