조지 네쿨라
George Necula조지 네쿨라 | |
|---|---|
 2010년 버클리에서의 조지 네큘라. | |
| 국적. | 루마니아어 |
| 모교 | 부쿠레슈티 공과대학교 |
| 로 알려져 있다 | 교정 휴대 코드 |
| 과학 경력 | |
| 필드 | 컴퓨터 사이언스 |
| 기관 | 구글 |
| 박사 어드바이저 | 피터 리 |
George Ciprian Necula는 루마니아 컴퓨터 과학자, Google의 엔지니어, 버클리 캘리포니아 대학의 전 교수입니다.그는 프로그래밍 언어와 소프트웨어 공학 분야에서 연구를 하고 있으며 소프트웨어 검증과 정식 방법에 특히 중점을 두고 있습니다.그는 2007년 SIGPLAN Most Influential POPL Paper [2]Award를 수상한 [1]논문으로 가장 잘 알려져 있다.
생활과 일
루마니아 [3]바이아마레 출신인 Necula는 부쿠레슈티 폴리테크닉 대학에 입학한 후 프로그래밍 언어 연구원인 Peter Lee 밑에서 박사학위를 취득하기 위해 미국 카네기 멜론 대학에 왔다.그의 박사학위 논문이 최초로 증명 운반 코드를 기술한 것은 신뢰할 수 없는 기계 코드가 성능 오버헤드 없이 안전하게 실행될 수 있도록 하는 메커니즘으로 영향력이 있었다.그는 1998년 캘리포니아 대학교 버클리 교수직에 합류했다.
최근 Necula의 연구는 C Intermediate Language(CIL), CCued [1] 및 [2]를 포함한 C를 위한 오픈 소스 분석, 검증 및 변환 툴에 초점을 맞추고 있습니다.
C 중급 언어
C Intermediate Language(CIL; 중간 언어)는 C 프로그래밍 언어의 단순화된 서브셋이며 C 프로그램을 해당 [4][5][6]언어로 변환하기 위한 도구 세트입니다.C 추상 구문 트리에 액세스하기 위한 방법으로 CIL을 사용하는 다른 툴도 있습니다.이러한 프로그램 중 하나가 Frama-C(Framework to Analyze C 프로그램)입니다.
어워드
네쿨라는 오카와 재단과 알프레드 P의 펠로우입니다. Sloan Foundation(Sloan Fellowship 참조).2001년 [7]그레이스 머레이 호퍼상, [8]1999년 국립과학재단 커리어상, 2006년 [9]ACM SIGOPS 명예의 전당상을 수상했습니다.
레퍼런스
- ^ 조지 C.네쿨라교정쇄를 사용하여 컴파일합니다.1998년 9월 카네기 멜론 대학 컴퓨터 공학부 박사 논문.
- ^ SIGPLAN (2010-01-24). "Most Influential POPL Paper Award". ACM. Archived from the original on 2009-08-02. Retrieved 2010-02-02.
- ^ George Necula (Spring 2010). "George Necula's Home Page". Retrieved 2010-02-03.
- ^ George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (2002). CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. Proc. 11th Int'l Conf. on Compiler Construction. Springer. pp. 213–228. ISBN 3-540-43369-4.
- ^ "GitHub - cil-project/Cil: C Intermediate Language".
- ^ http://portal.acm.org/citation.cfm?id=727796 CIL: 컴퓨터 사이언스에서의 C 프로그램 분석 및 변환을 위한 중간 언어 및 도구 강의 노트; 제11회 컴파일러 구성 페이지 국제회의 진행: 213 - 228.발행년도: 2002년.ISBN 3-540-4369-4
- ^ Association for Computing Machinery (2001). "ACM Award Citation / George Necula". Retrieved 2010-02-02.
- ^ National Science Foundation (2002-06-22). "Award Abstract #9875171 - CAREER: A Logic-Based Approach to Software System Integrity and Security". Retrieved 2010-02-02.
- ^ Association for Computing Machinery (2010). "SIGOPS - Hall of Fame Award". Retrieved 2010-02-02.
