Author: karenjoh

Michigan Tech Sweeps Top Honors at NMU Programming Competition

ProgContest
Michigan Tech placed 1st overall in the competition

On Saturday March 28th, thirty-six Michigan Tech students took part in the 16th Annual NMU Invitational Programming Contest.  The students sent a record number of 13 teams of up to three students to compete against 18 other teams from Northern Michigan University, Lake Superior State University, Algoma University, and The College of St. Scholastica (Duluth, MN).  Michigan Tech also sponsored the first ever high school teams to compete in the NMU Invitational; two teams comprised of students who participate in the Copper Country Programmers.

Teams worked for five hours on six programming problems.  The final ranking is determined by the number of problems that are completed correctly with ties broken by the number of minutes taken to solve the problems.
The Michigan Tech team of Mitch Davis, Hurricane Hamilton, and Chad Meyers placed first solving five of the six problems.  Second place went to the team of Corey Bilski, Chris Wallis, and Eric Zimmer solving 4 problems.  Third place went to the team of Mike Grimes, Brendan Kerrigan, and John Novak.
The strong overall performance of the teams resulted in a 1st place school ranking for Michigan Tech.  The continued success of Michigan Tech teams at the NMU and ACM programming competitions has benefited greatly over the years from Prof. David Poplawski’s direction and creation of an elective course on competitive programming  (CS1090).
Additional information on the programming competition, rules, and full results are available at: http://philos.nmu.edu/NMUCONTEST16/

Papers Published

Soner Onder
Soner Onder

Associate Prof. Soner Onder and his graduate students published a paper titled “LaZy Superscalar” in the 42nd International Symposium on Computer Architecture (ISCA). ISCA is recognized as the premier conference in computer architecture with 10-20 percent acceptance rates. CS PhD student Gorkem Asilioglu (first author) will present the paper on June 15 in Portland, OR.

Associate Prof. Onder and his graduate students also published a paper titled “Mower: A New Design for Non-blocking Misprediction Recovery” in ACM/SIGARCH International Conference on Supercomputing (ICS). ICS is the premier international forum for the presentation of research results in high-performance computing systems held since 1987. PhD student Zhaoxiang Jin (first author) will present the paper on June 8 in Newport Beach, CA.


Nilufer Onder Receives High Instructor Evaluation Scores

Michigan_Tech_Nilufer_Onder_smallComputer Science Professor Nilufer Onder was ranked in the top 10% across all university classes for student evaluation scores. Onder’s ranking for Fall 2014 was based among other classes with a similar size of 50 students. She taught CS3311, Formal Methods of Computing, last semester and earned a score of 4.85 on the Question of Excellent Teacher and her score for the average of the seven elements of the evaluation was a 4.74. Please join Max Seel, Provost and Vice-President for Academic Affairs and Computer Science Department Chair Min Song in congratulating Nilufer Onder on her scores.


IEEE GlobalSIP 2014 – Dr. Min Song Gives Keynote Talk

Min Song
Min Song

Dr. Min Song gave the keynote talk at IEEE GlobalSIP 2014 on December 5. The talk is titled “A Transparent Spectrum Co-Access Protocol for Primary and Secondary Users.” In this talk, Dr. Song introduced a novel wireless network protocol, termed spectrum co-access protocol (SCAP), for secondary users to transparently and simultaneously access the spectrum with primary users. SCAP enables mutually beneficial coexistence between primary user network and secondary user network. More details can be found at http://www.ieeeglobalsip.org/symposium/all-keynotes.html.


CS Tutorial Announcement: December 3, 4, 5

Title: A Tutorial on Theorem Proving in the Prototype Verification System (PVS)

Abstract: This tutorial will be offered for faculty members and graduate students whose research involves any sort of logical reasoning that can be expressed in predicate logic. The Prototype Verification System (PVS) is one of the premier theorem provers developed at the Stanford Research Institute (SRI). This tutorial provides a basic understanding of PBS along with the elementary techniques for formal specification and mechanical verification. PVS has been used in the verification of numerous real-world applications such as mission-critical systems, air traffic management systems, fault-tolerant distributed systems, security protocols, spacecraft autonomy and AI planning.

Organizers: Mr. Amer Tahat (CS), Dr. Ali Ebnenasir (CS), and Dr. Ossama Abdelkhalik (ME-EM).

Time: 4:00 – 5:00 p.m., Dec. 3rd, 4th and 5th
Place: Rekhi 112
Registration: Please send an email to Mr. Amer Tahat at atahat@mtu.edu. Space is limited, so register early please.

Acknowledgement: The organizers extend their gratitude to the Formal Methods group at NASA Langley for providing technical support. Prerequisites include preliminary knowledge of propositional and predicate logic.


CS Department Chair to Hold Seminar Nov. 24

Min Song
Min Song

Dr. Min Song, new chair of the Department of Computer Science and former program director at NSF, will hold a research seminar on Monday, November 24th from 11:00am – Noon in 101 Rekhi. The talk will first explore the critical elements that could strengthen a research proposal and then illustrate a list of typical mistakes that PIs make. At the end of the presentation, samples of programs in the area of computer information science and engineering will be discussed.