简历(不是我的)

yikaikai

Sheng Liang  

Work Address:   
        Yale University, Department of Computer Science
        P.O. Box  208285 Yale Station  
        New Haven, CT 06520--8285  
        Email: liang-sheng@cs.yale.edu, Phone: (203) 432 1282

Home Address:  
        732 Orange Street
        New Haven, CT 06511
        (203) 865 8165

Personal
        born July 1st, 1969, U.S. permanent resident.

Education

        YALE UNIVERSITY                                          New Haven, CT
        Ph.D. in Computer Science expected May 1996.  
        Advisor: Paul Hudak  
        Thesis title: A Compiler Construction Tool for Modern Programming
                      Languages.

        YALE UNIVERSITY                                          New Haven, CT
        M.S., M.Phil. in Computer Science, 1993.

        UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA                   Hefei, China
        B.S. in Computer Science, 1988.

Experience

        YALE UNIVERSITY, 12/90--present                         New Haven, CT

        Thesis work: developed a compiler construction method for modern
        programming languages.

          - a theory of programming language features and their interactions.

          - a novel approach to rapidly construct modular interpreters.

          - an effective way to automatically generate efficient compilers
            from interpreters.

          - a common back-end to efficiently support multiple source
            languages.

          - a generated Haskell compiler with performance comparable to a
            highly-optimizing, hand-coded one.

        Interoperability and library support: built the Yale Haskell foreign
        function interface and X Windows interface.
   
        Compiler optimizations: developed an optimizer for Yale Haskell
        compiler with sophisticated program analysis techniques.

        Teaching: led classroom and lab sessions for 5 undergraduate and
        graduate courses.

        AT&T BELL LABS, 6/95 -- 8/95                               Murray Hill, NJ

        GUI support for modern languages:  built a complete SML/NJ interface
        to Win32 APIs.

        OKI ADVANCED TECHNOLOGY CENTER, 12/93 -- 8/94                   San Jose, CA

        MS Windows software development:  consulted on Windows and NT
        advanced programming and networking issues in OKIDATA document
        processing systems.

        LABTEK INC., 10/93 -- 10/94                                    Orange, CT

        Real-time systems:  developed tools to support software controlled
        cache allocation for time-critical programs in Pentium-based embedded
        systems.

        DATA REFINING TECHNOLOGIES, 6/92-8/92                        Plaquemine, LA

        Software development:  implemented a real-time data monitoring system
        and C++ class libraries now used at Dow Chemical.

        UNIVERSITY OF TENNESSEE, 1/90--8/90                         Knoxville, TN
       
        Control systems:  applied AI techniques to signal processing and
        control systems.

        INSTITUTE OF COMPUTING TECHNOLOGY, 9/88--12/89         Beijing, China

        Computer architecture and hardware:  built a Weitek 3132-based
        floating-point accelerator board for Sun3 and Sun4 workstations.

Skills

        Programming languages: proficient in C, C++, Scheme, Common Lisp,
        SML, Haskell, Fortran, Pascal etc.

        Programming tools: extensive experience with Win32, OLE2, Unix, X,
        TCP/IP, etc.

        Computer systems: familarity with all aspects of PC hardware and
        software, and modern microprocessor (Pentium, SPARC, MIPS, Alpha
        etc.) architectures and instruction sets.

        Parallel Computers: Intel Hypercube (iPSC/2), Connection Machines
        (CM-2 and 5) and shared memory machines.

Publications

        Sheng Liang and Paul Hudak. Modular denotational semantics for
        compiler construction. To be presented at European Symposium on
        Programming, April 1996.

        Sheng Liang and Lorenz Huelsbergen. A Win32 programming interface for
        SML/NJ. To be released with the SML/NJ distribution and as a Yale
        technical report.

        Sheng Liang. A modular semantics for compiler generation. Yale
        technical report YALEU/DCS/TR-1067, February 1995.

        Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and
        modular interpreters. In Proceedings of the 22nd ACM Symposium on
        Principles of Programming Languages (POPL'95), January 1995.

        John Peterson, Sheng Liang and Paul Hudak. The Yale Haskell foreign
        function interface. Yale research report YALEU/DCS/RR-971, June 1993.

        Sheng Liang, John Peterson and Paul Hudak. The Yale Haskell X
        interface. Yale research report YALEU/DCS/RR-972, June 1993.

        J. Douglas Birdwell, Roger D. Horn, and Sheng Liang. Automatic
        generation of signal classification algorithms using machine
        learning. In Recent Advances in Computer Aided Control Systems
        Engineering, M. Jamshidi and C. J. Herget (Eds.), Elsevier,
        Amsterdam, 1992.

        J. Douglas Birdwell and Sheng Liang. Concurrent processing
        environments for distributed intelligent control systems. In Proc.
        of the Workshop on Software Tools for Distributed Intelligent
        Control Systems Pacifica CA, July 17--19, 1990.

References

        available upon request.

simonzhan

my!这位仁兄的resume让人好崇拜！

yikaikai

科大的牛人

eclipse

不是耶鲁吗？

yikaikai

原帖由 "yikaikai" 发表：
Sheng Liang  

Work Address:   
        Yale University, Department of Computer Science
        P.O. Box  208285 Yale Station  
        New Haven, CT 06520--8285  
        Email: liang-sheng@cs.yale.edu, Phone: (203) 432 ....
YALE UNIVERSITY New Haven, CT
M.S., M.Phil. in Computer Science, 1993.

UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA Hefei, China
B.S. in Computer Science, 1988.
......

没认真看， 呵呵