Programming Language Laboratory - Welcome!

Computer Science and Engineering Department
Pohang University of Science and Technology

MR3

https://mr3.postech.ac.kr

MR3 is a new execution engine for Hadoop. Similar in spirit to Tez, it can be thought of as an enhancement of Tez with simpler design, better performance, and more features. MR3 is ready for production use as it supports all major features from Tez such as Kerberos-based security, authentication and authorization, fault-tolerance, and recovery. MR3 is implemented in Scala.

Hive-MR3 is an extension of Hive that runs on top of MR3. In order to exploit new features in MR3, Hive-MR3 is built on a modified backend of Hive. In comparison with Hive-on-Tez, Hive-MR3 generally runs faster for sequential queries by virtue of the simple architectual design of ApplicationMaster in MR3. In particular, it makes a better utilization of computing resources and thus yields a higher throughput for concurrent queries.

We are hiring developers who will contribute to the MR3 project. Prior experience with Scala programming or Hadoop is not required, but applicants should have working experience with Linux-based distributed Java programming. Applicants are invited to contact Professor Sungwoo Park (gla at postech.ac.kr). We communicate in English for technical discussions, so applicants should have a working command of English.

MR3 연구에 참여할 학생을 모집합니다. 빅데이터, Hadoop, 소프트웨어 개발에 관심있는 학생이면 됩니다. MR3는 Scala로 개발하고 있습니다.

POSTECH 컴퓨팅사고력센터

https://ct.postech.ac.kr

• 누구나 컴퓨팅 사고를 익힐 수 있도록 전문성 갖춘 강좌를 무료로 제공하는 서비스입니다.
• 컴퓨팅으로 문제를 풀 때 핵심이라 할 수 있는 컴퓨팅 사고를 Python 언어와 함께 설명합니다.
• 별도의 소프트웨어 설치 없이 바로 사용할 수 있는 Python 프로그래밍 환경을 제공합니다.
• 프로그래밍 숙제는 자동으로 채점해서 결과를 설명해주고 프로그램 분석 기술을 이용하여 틀린 곳까지 찾아줍니다.
• 학원이나 코딩 교육 사이트보다 월등히 높은 수준의 교육 서비스를 무료로 제공합니다.

• 프로그램 분석 연구에 관심있는 학생을 모집합니다. 학부 프로그래밍언어 과목을 수강한 학생이면 됩니다. 프로그램 분석기는 Scala로 개발하고 있습니다.

소프트웨어

• A Theorem Prover for Intuitionistic Modal Logic S5
• BBeye: A Theorem Prover for Boolean BI (Bunched Implications)
• Mechanizing Metatheory without Typing Contexts
• Judgmental Subtyping Systems with Intersection Types and Modal Types
• PGG (Parser Generator Generator for Functional Languages)
• QuickParanoid - A Tool for Ortholog Clustering

Office: PIRL, 354
Phone: +82-54-279-5878

Web page maintained by Sungwoo Park