Xinyu Feng. January Ph.D. in Computer Science, Yale University, expected Advisor: Professor Zhong Shao.
|
|
- Barnard Hancock
- 5 years ago
- Views:
Transcription
1 Address Department of Computer Science Yale University 51 Prospect Street New Haven, CT 06520, U.S.A. Xinyu Feng January 2007 Phone: Fax: WWW: Research Interests Programming languages and compilers, with a special focus on type systems and logics for reasoning about programs, language-based security, concurrency, certifying and certified compilation, and proof-carrying code. Education Ph.D. in Computer Science, Yale University, expected Advisor: Professor Zhong Shao. M.Eng. in Computer Science, Nanjing University, July Advisor: Professor Jian Lu. Thesis title: Design and analysis of mobile agent communication protocols. B.S. in Computer Science, Nanjing University, July Research Experience Yale University, New Haven, CT, 2003 present Research assistant. Advisor: Zhong Shao. MiniOS: A Fully Certified Operating System, 2006 present. (with Rodrigo Ferreira, Alexander Vaynberg and Zhong Shao) Applying theories of low-level code verification (see projects below) to formally certify MiniOS, a bootable 16-bit operating system implemented in manually written x86 assembly code. MiniOS consists of a simple bootloader, a preemptive thread scheduler, a keyboard driver, a set of synchronization primitives, and several built-in threads. Each module will be certified separately using the appropriate verification system, and then be linked in our OCAP framework (see below) to produce a fully certified OS. MiniOS can serve as a prototype OS for embedded devices. Concurrent Separation Logic and Assume-Guarantee Reasoning, 2006 present. (with Rodrigo Ferreira and Zhong Shao) Developed SAGL, a composable program logic for concurrent program verification. SAGL is a combination of separation logic with assume-guarantee reasoning. It inherits the local-reasoning idea from separation logic, and makes assumptions and guarantees of threads much easier to specify. Concurrent separation logic can also be derived from SAGL as a special case. An Open Framework for Foundational Proof-Carrying Code (FPCC), (with Zhaozhong Ni, Zhong Shao and Yu Guo) Developed OCAP, an open framework for FPCC, which supports interaction between different verification systems and methodologies. In OCAP, program modules can be specified and certified using different program logics or type systems (e.g., TAL, Hoare-logic, assume-guarantee method, etc.). Certified modules (code and proof) can be reused and be linked to construct foundational certified software systems.
2 Xinyu Feng Curriculum Vitae Modular Verification of Stack-Based Control Flow Abstractions, (with Zhong Shao, Alexander Vaynberg, Sen Xiang and Zhaozhong Ni) Developed the SCAP-family of program logics, which support modular verification of assembly code with higher-level specifications of control flow. Unlike existing approaches to low-level code verification, which treat all control flow using continuationpassing style (CPS), SCAP-family logics allow assembly code to be specified and verified with higher-level, non-cps control abstractions, including function call/return, tail call, setjmp/longjmp, exceptions, stack unwinding, stack cutting, coroutines, and threads. All SCAP-family logics can be embedded into our OCAP framework (see the project above), so their inference rules can be used as lemmas in OCAP instead of rules in specialized logics. Modular Verification of Multi-Threaded Assembly Code, (with Zhong Shao) Developed CMAP, a program logic that combines the assume-guarantee method with the invariant-based proof technique in type systems to support concurrency verification with unbounded dynamic thread creation/termination. CMAP supports the fork/join program structure which is more flexible than the properly-nested cobegin/coend (also known as par ) structure. Vero A Certifying Programming Language, (with Zhong Shao) Developed Vero, an explicitly typed programming language with a rich type system. Vero supports an F ω -like type system with guarded recursive datatypes and singleton types. Singleton types are indexed over terms in the Calculus of Inductive Constructions. Vero can be used to implement and certify program transformations, e.g. optimizations and compilations. AT&T Shannon Laboratory, Florham Park, NJ, 2005 Research intern. Mentor: John Mocenigo and Richard Drechsler. Developed a static syntax/type checker for Yoix, which is a Java scripting language with dynamic type checking. The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong, Visiting research assistant. Supervisor: Jiannong Cao. Designed reliable and efficient mobile agent communication protocols. Nanjing University, Nanjing, Jiangsu, China, Research assistant. Advisor: Jian Lu. Developed a mobile agent runtime system and programming environment with advanced migration, communication and security support; Developed a Mobile-Agent-Based Electronic Marketplace System.
3 Xinyu Feng Curriculum Vitae Teaching Experience Teaching Fellow, Yale University, Duties include mentoring students in office hours; leading weekly sections on advanced topics of programming (for CS112); and helping to design and grade projects, assignments and exams. CS112 Introduction to Programming Spring 2006 CS428/528 Language-Based Security Spring 2005 CS424/524 Parallel Programming Techniques Fall 2004 Tutor of Java Programming, for programmers in Nanjing Medicine Inc., Teaching Assistant of Operating Systems, Nanjing University, Fall Instructor of Programming in BASIC, Yuansheng Lane Primary School (volunteer work), Awards & Honors SIGPLAN PAC student travel award for TLDI 07 and POPL 07. SIGPLAN PAC student travel award for PLDI 06. Yale GSA student travel award, Yale University Fellowship, Admission to Nanjing University Graduate School with exemption from the entrance examination, IBM Fellowship for Chinese Excellent Students, 1999 (for excellent Chinese students specialized in Computer Science). University Fellowship, Nanjing University, Lianchuang Fellowship, Nanjing University, Ouyang Zao Fellowship, Nanjing University, Fujitsu Fellowship, Nanjing University, Services External reviewer for Fundamenta Informaticae and APLAS 06. Coordinator of the SPAM forum (Systems Personnel Activity Meeting) at Yale.
4 Xinyu Feng Curriculum Vitae Publications Refereed International Journal Papers: [1] Jiannong Cao, Xinyu Feng, Jian Lu, Henry Chan, and Sajal K. Das. Reliable Message Delivery for Mobile Agents: Push or Pull? IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34(5), pages , September [2] Jiannong Cao, Liang Zhang, Xinyu Feng, and Sajal K. Das. Path Pruning in Mailboxbased Mobile Agent Communications. Journal of Information Science and Engineering, 20(3), pages , May [3] Jiannong Cao, Xinyu Feng, Jian Lu, and Sajal K. Das. Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. IEEE Computer, 35(9), pages 54 60, September Refereed Conference and Workshop Papers: [4] Xinyu Feng, Rodrigo Ferreira and Zhong Shao. On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. Proceedings of 16th European Symposium on Programming (ESOP 07), Braga, Portugal, pages , March [5] Xinyu Feng, Zhaozhong Ni, Zhong Shao and Yu Guo. An Open Framework for Foundational Proof-Carrying Code. Proceedings of 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI 07), Nice, France, pages 67 78, January [6] Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang and Zhaozhong Ni. Modular Verification of Assembly Code with Stack-Based Control Abstractions. Proceedings of 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 06), Ottawa, Canada, pages , June [7] Xinyu Feng and Zhong Shao. Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination. Proceedings of 2005 ACM SIG- PLAN International Conference on Functional Programming (ICFP 05), Tallinn, Estonia, pages , September [8] Jiannong Cao, Liang Zhang, Xinyu Feng, and Sajal K. Das. Path Compression in Forwarding-Based Reliable Mobile Agent Communications. Proceedings of 32nd International Conference on Parallel Processing (ICPP 03), pages , October [9] Jiannong Cao, Xinyu Feng, Jian Lu, Henry Chan, and Sajal K. Das. Reliable Message Delivery for Mobile Agents: Push or Pull? Proceedings of 9th International Conference on Parallel and Distributed Systems (ICPADS 02), pages , December 2002 [10] Jiannong Cao, Xinyu Feng, Jian Lu, and Sajal K. Das. Design of Adaptive and Reliable Mobile Agent Communication Protocols (Short Paper). Proceedings of 22nd International Conference on Distributed Computing Systems (ICDCS 02), pages , July [11] Xinyu Feng, Jiannong Cao, Jian Lu, and Henry Chan. An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems. Proceedings of 5th International Conference on Mobile Agents (MA 01), Published in Lecture Notes in Computer Science, volume 2240, pages , Springer-Verlag, 2001.
5 Xinyu Feng Curriculum Vitae Refereed Chinese Journal Papers: [12] Xinyu Feng, Jian Lu, and Jiannong Cao. Design of a Generic Framework for Mobile Agent Communication. Journal of Software, 14(5), pages , May (In Chinese) [13] Xin Li, Jian Lu, Chun Cao, Xinyu Feng, and Xianping Tao. Security of Mobile Agent Systems. Journal of Software, 13(10), pages , October (In Chinese) [14] Xinyu Feng, Xianping Tao, Chun Cao, Xin Li, Guanqun Zhang, and Jian Lu. An Improved Mobile Agent Communication Algorithm. Chinese Journal of Computer, 25(4), pages , April (In Chinese) [15] Guanqun Zhang, Xianping Tao, Xin Li, Xinyu Feng, and Jian Lu. Design and Implementation of the Migration Mechanism in the Mogent system. Journal of Computer Research and Development, 38(9), pages , September (In Chinese) [16] Guanqun Zhang, Xianping Tao, Xin Li, Xinyu Feng, and Jian Lu. Research on Migration Mechanism in Mobile Agent Systems. Computer Science, 28(9), pages 69 73, September (In Chinese) [17] Xianping Tao, Xinyu Feng, Xin Li, Guanqun Zhang, and Jian Lu. Communication Mechanism in the Mogent System. Journal of Software, 11(8), pages , August (In Chinese) Technical Reports and Thesis: [18] Xinyu Feng, Rodrigo Ferreira and Zhong Shao. On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. Technical Report YALEU/DCS/TR-1374 (extended version and Coq implementation for [4]), Department of Computer Science, Yale University, New Haven, CT, January [19] Xinyu Feng, Zhaozhong Ni, Zhong Shao and Yu Guo. An Open Framework for Foundational Proof-Carrying Code. Technical Report YALEU/DCS/TR-1373 (extended version and Coq implementation for [5]), Department of Computer Science, Yale University, New Haven, CT, November [20] Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang and Zhaozhong Ni. Modular Verification of Assembly Code with Stack-Based Control Abstractions. Technical Report YALEU/DCS/TR-1336 (extended version and Coq implementation for [6]), Department of Computer Science, Yale University, New Haven, CT, November [21] Xinyu Feng. Design of The Certifying Programming Language Vero, Technical Report, Department of Computer Science, Yale University, New Haven, CT, May [22] Xinyu Feng. Design and Analysis of Mobile Agent Communication Protocols. Master Thesis, Nanjing University, May Memberships Student Member of ACM Member of ACM SIGPLAN
ADAM CHLIPALA. Research interests. Education. Refereed conference papers
579 Soda Hall Berkeley, CA 94720-1776 USA adamc@cs.berkeley.edu http://www.cs.berkeley.edu/ adamc/ Research interests ADAM CHLIPALA Dependent type systems; interactive theorem proving; type-based programming
More informationBrian F. Cooper. Distributed systems, digital libraries, and database systems
Brian F. Cooper Home Office Internet 2240 Homestead Ct. #206 Stanford University cooperb@stanford.edu Los Altos, CA 94024 Gates 424 http://www.stanford.edu/~cooperb/app/ (408) 730-5543 Stanford, CA 94305
More informationNomair A. Naeem. Personal Data. Education. Teaching Experience. Course Instructor/Sessional
Nomair A. Naeem Personal Data Address: E-mail: Web Page: David R. Cheriton School of Computer Science University of Waterloo 200 University Avenue West Waterloo, ON N2L 3G1, Canada nanaeem@uwaterloo.ca
More informationSoftware verification and testing, software evolution, program analysis, and formal methods.
GUOWEI YANG Assistant Professor Department of Computer Science Texas State University 601 University Drive, San Marcos, TX 78666 +1 (512) 245-2469 gyang@txstate.edu RESEARCH INTERESTS Software verification
More informationJohn Clements Department of Computer Science Cal Poly State University 1 Grand Street San Luis Obispo, CA (805)
Curriculum Vitae Contact Information Education John Clements Department of Computer Science Cal Poly State University 1 Grand Street San Luis Obispo, CA 93407 (805)756-6528 clements@brinckerhoff.org 2005
More informationJun Li, Ph.D. School of Computing and Information Sciences Phone:
Jun Li, Ph.D. School of Computing and Information Sciences Phone: + 1-305-348-4964 Florida International University Email: junli @ cs. fiu. edu 11200 SW 8th St, ECS 380, Miami, FL 33199 Web: http://users.cs.fiu.edu/
More informationHong-Sheng Zhou. Research Interests. Education. Research Experience
Hong-Sheng Zhou Deptartment of Computer Science, University of Maryland (860) 208-8345 3269 A.V. Williams Building, hszhou@cs.umd.edu College Park, MD 20742 http://www.cs.umd.edu/ hszhou/ Research Interests
More informationIonuţ Buricea. Trying to extend this work to timed protocols, I studied the verification of timed systems
Ionut Buricea Ionuţ Buricea phone: (650) 967-6253 email: ionutb@cis.ksu.edu URL: http://www.cis.ksu.edu/ ionutb/ Research Interests Modular design and compositional verification of communication protocols,
More informationMaster Course in Computer Science Orientation day
Master Course in Computer Science Orientation day Info on the Department of Computer Science Ranked first (in its area) in 5-year Research Assessment by Ministry of University and Research 2013 e 2017
More informationThesis: An Extensible, Self-Tuning, Overlay-Based Infrastructure for Large-Scale Stream Processing and Dissemination Advisor: Ugur Cetintemel
Olga Papaemmanouil Phone: +1 (401) 588-0230 Department of Computer Science Fax: +1 (401) 863-7657 Box 1910, 115 Waterman St, Floor 4 Email: olga@cs.brown.edu Providence, RI, 02912, USA Web: http://www.cs.brown.edu/
More informationMiddleware for Ubiquitous Computing
Middleware for Ubiquitous Computing Software Testing for Mobile Computing National Institute of Informatics Ichiro Satoh Abstract When a portable computing device is moved into and attached to a new local
More informationAmy Babay April 2018
Amy Babay www.dsn.jhu.edu/~babay 814-528-4205 babay@cs.jhu.edu Education PhD in Computer Science April 2018 PhD Research: Structured overlay networks for a new generation of Internet services, dependable
More informationCURRICULUM VITAE. June, 2013
CURRICULUM VITAE ד"ר אבי סופר Dr. Avi Soffer June, 2013 ORT Braude College, Department of Software Engineering, P.O. Box 78, Karmiel 2161002, Israel Telephone: +972-4-990-1720 Email: asoffer@braude.ac.il
More informationThe Fox Project: Advanced Development of Systems Software
The Fox Project: Advanced Development of Systems Software R&D Status Report July 1 to September 30, 1999 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 19991222 022 This research
More informationExtracting the Range of cps from Affine Typing
Extracting the Range of cps from Affine Typing Extended Abstract Josh Berdine, Peter W. O Hearn Queen Mary, University of London {berdine, ohearn}@dcs.qmul.ac.uk Hayo Thielecke The University of Birmingham
More informationStavros Nikolaou. 413 Gates Hall URL: Ithaca, NY, 14853, USA Date of Birth: December, 1987
413 Gates Hall +1 6073795409 Department of Computer Science Cornell University email: snikolaou@cs.cornell.edu URL: www.cs.cornell.edu/~snikolaou Ithaca, NY, 14853, USA Date of Birth: December, 1987 Education
More informationDukpa Kim FIELDS OF INTEREST. Econometrics, Time Series Econometrics ACADEMIC POSITIONS
Dukpa Kim Contact Information Department of Economics Phone: 82-2-3290-5131 Korea University Fax: 82-2-3290-2661 145 Anam-ro, Seongbuk-gu Email: dukpakim@korea.ac.kr Seoul, 02841 Korea FIELDS OF INTEREST
More informationDEPARTMENT OF COMPUTER SCIENCE
Department of Computer Science 1 DEPARTMENT OF COMPUTER SCIENCE Office in Computer Science Building, Room 279 (970) 491-5792 cs.colostate.edu (http://www.cs.colostate.edu) Professor L. Darrell Whitley,
More informationAdvanced Topics: Reasoning About Code Pointers & Self- Modifying Code
Advanced Topics: Reasoning About Code Pointers & Self- Modifying Code Zhong Shao Yale University July 25, 2012 Building fully certified systems One logic for all code Consider all possible interactions.
More informationAKIKO MANADA. The University of Electro-Communications 1-5-1, Chofugaoka, Chofu, Tokyo, , JAPAN
Curriculum Vitæ AKIKO MANADA The University of Electro-Communications 1-5-1, Chofugaoka, Chofu, Tokyo, 182-8585, JAPAN Email: amanada@uec.ac.jp WORK EXPERIENCE Assistant Professor: February 2012 Present
More informationGirija J. Narlikar Forbes Avenue girija
Girija J. Narlikar CMU Computer Science Dept. girija@cs.cmu.edu 5000 Forbes Avenue http://www.cs.cmu.edu/ girija Pittsburgh, PA 15213 Phone: (412) 268-3337 [O] Fax: (412) 268-5576 (412) 802-0459 [H] Research
More informationXin ZHANG. Thesis Defense Talk passed (December 1998). Thesis Proposal presented (April 1998).
Xin ZHANG Computer Science Department Worcester Polytechnic Institute 100 Institute Road, Worcester, MA 01609 Phone: (508) 831-5857 Email: xinz@wpi.edu WWW: http://www.wpi.edu/ xinz April 22, 2002 Education
More informationMobile agent technology has great potential
RESEARCH FEATURE Mailbox-Based Scheme for Mobile Communications The authors present a flexible and adaptive scheme that associates each mobile agent with a mailbox but lets them decouple. Their 3D model
More informationPlease consult the Department of Engineering about the Computer Engineering Emphasis.
COMPUTER SCIENCE Computer science is a dynamically growing discipline. ABOUT THE PROGRAM The Department of Computer Science is committed to providing students with a program that includes the basic fundamentals
More informationAmy Babay November Doctor of Philosophy in Computer Science September 2018
Amy Babay www.dsn.jhu.edu/~babay 814-528-4205 babay@cs.jhu.edu Education November 2018 Doctor of Philosophy in Computer Science September 2018 Thesis: Timely, Reliable, and Cost-Effective Internet Transport
More information2. Department of Computer Science, Yale University
Report on the Visit to Department of Computer Sciences, Yale University Wenbiao Wu ESD Lab, Department of Electronics Royal Institute of Technology Sweden 1. Introduction Department of Computer Science
More informationMathematical Structures in Programming Introduction
Mathematical Structures in Programming to Calculational Programming SOKENDAI/National Institute of Informatics Email: hu@nii.ac.jp URL: http://research.nii.ac.jp/ hu Sokendai, 2015 Mathematical Structures
More informationCurriculum Vitae Tim Ophelders last updated: September 12, 2018
Curriculum Vitae Tim Ophelders last updated: September 12, 2018 Personal Information Name Citizenship T. A. E. (Tim) Ophelders Dutch Work Address Email Department of Computational Mathematics, Science
More informationRanveer Chandra. Computer Networks, Mobile Computing, Distributed Systems, Sensor Networks, Pervasive Computing
4110 Upson Hall Department of Computer Science http://www.cs.cornell.edu/people/ranveer Ranveer Chandra Phone: (607) 592-2274 (cell) (607) 255-9196 (office) Fax : (607) 255-4428 E-mail: ranveer@cs.cornell.edu
More informationImani Palmer ipalmer2.web.engr.illinois.edu
Imani Palmer ipalmer2@illinois.edu ipalmer2.web.engr.illinois.edu 240.676.7741 Research Interest Education Cyber Security, System Security, Real-Time Streaming Engines, Data Analysis University of Illinois
More informationZechao Shang. Department of Computer Science (773)
Zechao Shang Department of Computer Science (773)766-0354 University of Chicago zcshang@cs.uchicago.edu 5730 South Ellis Avenue people.cs.uchicago.edu/ zcshang Chicago, Illinois 60637 INTERESTS I am interested
More informationEDUCATION RESEARCH EXPERIENCE
PERSONAL Name: Mais Nijim Gender: Female Address: 901 walkway, apartment A1 Socorro, NM 87801 Email: mais@cs.nmt.edu Phone: (505)517-0150 (505)650-0400 RESEARCH INTEREST Computer Architecture Storage Systems
More informationChris Vegter University of Northern Colorado Monfort College of Business (970)
Chris Vegter University of Northern Colorado Monfort College of Business (970) 351-1244 Email: chris.vegter@unco.edu Education MBA, Colorado State University, 2006. Area of Study: Business Administration
More informationExtension theorems in vector spaces over finite fields Dr. Alex Iosevich. Journal reviewer for International Mathematics Research Notices.
Doowon Koh T (517) 353-6882 B koh@math.msu.edu Education Aug.2003 Dec.2008 Dissertation Dissertation Supervisor Mar.1998 Feb.2000 Thesis Advisor Mar.1991 Feb.1998 Feb.1993 Apr.1995 Ph.D in Mathematics,
More informationCS 378 (Spring 2003) Linux Kernel Programming. Yongguang Zhang. Copyright 2003, Yongguang Zhang
Department of Computer Sciences THE UNIVERSITY OF TEXAS AT AUSTIN CS 378 (Spring 2003) Linux Kernel Programming Yongguang Zhang (ygz@cs.utexas.edu) Copyright 2003, Yongguang Zhang Read Me First Everything
More informationPhD. of Information Networks ( ). Cairo University. Faculty of Computers and Information. Cairo. Egypt.
AMAL MOH D BARAKAT AL-DWEIK HEBRON, WEST BANK, PALESTINE +970-2-2235142. EMAIL: AMAL@PPU.EDU Education PhD. of Information Networks (2004-2009). Cairo University. Faculty of Computers and Information.
More informationProgram Proposal for a Direct Converted Program. BS in COMPUTER SCIENCE
Program Proposal for a Direct Converted Program BS in COMPUTER SCIENCE Document Page number Curriculum Sheet p. 2 p. -year Roadmap p. p. 5 Two Year Course Schedule p. 6 (2018 2019 AY and 2019 2020 AY)
More informationTuncay Tekle Curriculum Vitæ
Tuncay Tekle Curriculum Vitæ tuncay@cs.stonybrook.edu http://www.cs.stonybrook.edu/~tuncay/ Interests High-level programming languages and efficient implementations. Algorithm design and generation of
More informationMichael Paul Neff Curriculum Vitae
Michael Paul Neff Curriculum Vitae ACADEMIC HISTORY... Assistant Professor (tenure track), University of California, Davis, 2006-. Cross-appointed to the Department of Computer Science and the Program
More informationLeaf Petersen Curriculum Vitae
Leaf Petersen Curriculum Vitae 721 SW 199th PL Normandy Park, WA 98116 United States of America +1 (206) 419 6834 leaf.petersen@gmail.com leafpetersen.com Skills Summary I have experience in the areas
More informationKianoush GholamiBoroujeni Ph.D. in Computer Science
Kianoush GholamiBoroujeni Ph.D. in Computer Science Address: 1440 SW 104th Path, Apt 301 Miami, FL 33174. +1 (305)200-9577 kianooush@gmail.com Personal Webpage ABOUT ME HIGHLIGHTS...........................................................................................................
More informationELLIOT ANSHELEVICH. Department of Computer Science Cornell University Upson Hall 5139 Ithaca, NY 14853
ELLIOT ANSHELEVICH eanshel@cs.cornell.edu Office: (607) 255-5578 Cell: (607) 262-6170 Fax: (607) 255-4428 http://www.cs.cornell.edu/people/eanshel Department of Computer Science Cornell University Upson
More informationEvolution of XML Applications
Evolution of XML Applications University of Technology Sydney, Australia Irena Mlynkova 9.11. 2011 XML and Web Engineering Research Group Department of Software Engineering Faculty of Mathematics and Physics
More informationSemantics of an Intermediate Language for Program Transformation
Semantics of an Intermediate Language for Program Transformation Sigurd Schneider Advisors: Sebastian Hack, Gert Smolka Student Session at POPL 2013 Saarland University Graduate School of Computer Science
More informationSoftware, Systems and Services Development in the Global Environment (GS 3 D)
Software, Systems and Services Development in the Global Environment (GS 3 D) http://www.oulu.fi/degree/gs3d Marianne Kinnula, PhD Director of GS 3 D programme Contents of this presentation GS3D Master
More informationComputer Science Student Advising Handout Idaho State University
Computer Science Student Advising Handout Idaho State University Careers, Jobs, and Flexibility The discipline of Computer Science has arisen as one of the highest-paying fields in the last decade; the
More informationJinwei Gu. Ph.D. in Computer Science Dissertation: Measurement, Modeling, and Synthesis of Time-Varying Appearance of Natural
Jinwei Gu CONTACT Department of Computer Science Mobile: (917) 292-9361 450 Computer Science Bldg. Phone: (212)-939-7091 (office) Columbia University Fax: (212) 666-0140 500 West 120 Street New York, NY
More informationShin Hong. Assistant Professor Handong Global University (HGU) Pohang, Kyongbuk, South Korea (37554)
Shin Hong Assistant Professor hongshin@handong.edu +82-54-260-1409 School of Computer Science & Electrical Engineering 113 NMH, 558 Handong-ro, Buk-gu, Handong Global University (HGU) Pohang, Kyongbuk,
More informationCURRICULUM VITÆ. Naama Kraus B.Sc. in Computer Science and Mathematics, Bar-Ilan University, Cum Laude GPA: 90.
CURRICULUM VITÆ Naama Kraus naamakraus@gmail.com Personal Information Home Address: 6 Trumpeldor Ave., Haifa, 32582, Israel Phone (Home): +972 4 8328216 Phone (Mobile): +972 55 6644563 Date of Birth: 29-APR-1974
More informationALABAMA FIRE COLLEGE AND PERSONNEL STANDARDS COMMISSION ADMINISTRATIVE CODE CHAPTER 360-X-2 REQUIREMENTS FOR CERTIFIED FIRE FIGHTER TABLE OF CONTENTS
Fire College Chapter 360-X-2 ALABAMA FIRE COLLEGE AND PERSONNEL STANDARDS COMMISSION ADMINISTRATIVE CODE CHAPTER 360-X-2 REQUIREMENTS FOR CERTIFIED FIRE FIGHTER TABLE OF CONTENTS 360-X-2-.01 360-X-2-.02
More informationWorkshops. 1. SIGMM Workshop on Social Media. 2. ACM Workshop on Multimedia and Security
1. SIGMM Workshop on Social Media SIGMM Workshop on Social Media is a workshop in conjunction with ACM Multimedia 2009. With the growing of user-centric multimedia applications in the recent years, this
More informationA Bibliography of Publications of Jingling Xue
A Bibliography of Publications of Jingling Xue Jingling Xue Department of Mathematics, Statistics and Computing Science Armidale, NSW 2351 Australia Tel: +61 67 73 3149 FAX: +61 67 73 3312 E-mail: xue@neumann.une.edu.au
More informationChristopher P. Hodges, PE, RRC, CFM, LEED AP, IFMA Fellow, FRICS Principal
Christopher P. Hodges, PE, RRC, CFM, LEED AP, IFMA Fellow, FRICS Principal Years with FEA: 20 Total Years Experience: 30+ Education: Master of Science, Materials Science & Engineering, Johns Hopkins University
More informationJOYCE JIYOUNG WHANG. June 2008 May 2010: Undergraduate Research Assistant, Department of Computer Science and Engineering, Ewha Womans University.
JOYCE JIYOUNG WHANG Assistant Professor Department of Computer Science and Engineering Sungkyunkwan University (SKKU) Office: Engineering Building 2, #27326 Lab: Engineering Building 2, #26315B (Big Data
More informationMatthew Patrick Sopha Clinical Assistant Professor Department of Information Systems, W. P. Carey School of Business, Arizona State University
Matthew Patrick Sopha Clinical Assistant Professor Department of Information Systems, W. P. Carey School of Business, Office: BA 320A E-mail (Work): msopha@asu.edu W. P. Carey School of Business Phone
More informationJOYCE JIYOUNG WHANG EDUCATION
JOYCE JIYOUNG WHANG Assistant Professor Department of Computer Science and Engineering Sungkyunkwan University (SKKU) Office: Engineering Building 2, #27326 Lab: Engineering Building 2, #26315B (Big Data
More informationCSC 111 Introduction to Computer Science (Section C)
CSC 111 Introduction to Computer Science (Section C) Course Description: (4h) Lecture and laboratory. Rigorous introduction to the process of algorithmic problem solving and programming in a modern programming
More informationA Finite State Mobile Agent Computation Model
A Finite State Mobile Agent Computation Model Yong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, and Yunhe Pan College of Computer Science, Zhejiang University Hangzhou 310027, PR China Abstract In this paper,
More informationPage 1 of 6. B.Sc. (Honors) in Electrical Engineering, Kuwait University, August 1999.
Abd-Elhamid Mohamed Taha School of Computing, Queen's University, Kingston, Ontario, K7L 3N6 Tel: +1 (613) 533-6000 X75029, Fax: +1 (613) 533-6513 E-mail: taha@cs.queensu.ca, URL: http://www.cs.queensu.ca/~taha
More information3D Graphics Programming Mira Costa High School - Class Syllabus,
3D Graphics Programming Mira Costa High School - Class Syllabus, 2009-2010 INSTRUCTOR: Mr. M. Williams COURSE GOALS and OBJECTIVES: 1 Learn the fundamentals of the Java language including data types and
More informationPh.D. with Distinction in Computer Science Advisor: Prof. Micha Sharir Dissertation: Geometric Arrangements: Substructures and Algorithms
April 29, 2009 Esther Ezra phone (919) 660-6578 Levine Science Research Center D340 fax (919) 660-6502 Department of Computer Science, Duke University http://www.math.tau.ac.il/~estere Durham NC 27708
More informationThe ECE Curriculum. Prof. Bruce H. Krogh Associate Dept. Head.
The ECE Curriculum Prof. Bruce H. Krogh Associate Dept. Head krogh@ece.cmu.edu 1 Freshman year ECE Core Courses 18-100 Introduction to Electrical and Computer Engineering physical devices analog circuits
More informationFACULTY PROFILE. Total Experience : Academic : 7 Years and 3 Months. Degree Branch / Specialization College University
FACULTY PROFILE Name Designation Email ID : A.K.Kavitha : Assistant Professor : kavitha.ece@srit.org Area of Specialization : Wireless Communication Total Experience : Academic : 7 Years and 3 Industry
More informationTEXAS STATE VITA. A. Name: David L. Gibbs Title: Assistant Professor
TEXAS STATE VITA I. Academic/Professional Background A. Name: David L. Gibbs Title: Assistant Professor B. Educational Background Degree Year University Major Thesis/Dissertation PhD 2015 Texas State University
More information30 Eleanor Dr., # 908, Ottawa, ON, Canada, K2E 7E5 +1 (613)
30 Eleanor Dr., # 908, Ottawa, ON, Canada, K2E 7E5 +1 (613) 907-6109 http://www.sce.carleton.ca/~ufarooq ufarooq@sce.carleton.ca Umar FAROOQ Research Interests Distributed Systems, Large-Scale Multi-Organizational
More informationCAP - Advanced Programming Concepts
Coordinating unit: 270 - FIB - Barcelona School of Informatics Teaching unit: 723 - CS - Department of Computer Science Academic year: Degree: 2017 BACHELOR'S DEGREE IN INFORMATICS ENGINEERING (Syllabus
More informationComputer Grade 5. Unit: 1, 2 & 3 Total Periods 38 Lab 10 Months: April and May
Computer Grade 5 1 st Term Unit: 1, 2 & 3 Total Periods 38 Lab 10 Months: April and May Summer Vacation: June, July and August 1 st & 2 nd week Day 1 Day 2 Day 3 Day 4 Day 5 Day 6 First term (April) Week
More informationMaster & Doctor of Philosophy Programs in Computer Science
Master & Doctor of Philosophy Programs in Computer Science Research Fields Pattern Recognition Data Analysis Internet of Things and Network Communication Machine Learning Web Semantic and Ontology For
More informationAn Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
SOS 2006 Preliminary Version An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications Adrian Pop 1,2 Peter Fritzson 3 Programming Environments Laboratory
More informationMSc entry onwards UCL UCL. Engineering Sciences
PROGRAMME SPECIFICATION Programme Specification MSc in Information Security Programme title: Final award (BSc, MA etc): (where stopping off points exist they should be detailed here and defined later in
More informationRESUME WEI LI EDUCATION EMPLOYMENT RESEARCH INTERESTS HONORS AND AWARDS
RESUME WEI LI Graduate School of Computer and Information Sciences Nova Southeastern University 3301 College Avenue, Fort Lauderdale-Davie, FL 33314 Office: (954) 262-2068 Fax: (954) 262-3915 Email: lwei@nova.edu
More informationFinancial Planning Institute of Southern Africa SETTING THE STANDARD. Continuous Professional Development (Cpd) Policy
FPI FPI Financial Planning Institute of Southern Africa SETTING THE STANDARD Continuous Professional Development (Cpd) Policy Table of Contents Definitions 3-4 Introduction 4 Primary Responsibility 5 Mandatory
More informationCommander Site Controller VASC Classroom Certification Registration Information CBE Center for Excellence Camp Hill, Alabama
Commander Site Controller VASC Classroom Certification 2018 Registration Information CBE Center for Excellence Camp Hill, Alabama GENERAL INFORMATION The objective of this course is to enable service technicians
More informationPersonal Profile. Allied Additional Subordinate Subject studied. Management Information System. Electronic Commerce. Image Processing.
Personal Profile (1) Name of the teacher (in full): Ms. Sarika Vijay Purao (2) Department: (3) Designation: Assistant Professor (4) Qualifications of the teacher:- Degree/ Post Graduate Degree Examinatio
More informationBasima Ahmed Haroun Elshqeirat
OBJECTIVE Basima Ahmed Haroun Elshqeirat PERSONAL INFORMATION Nationality: Jordanian Current Employer: Dept. of computer Science King Abdullah II School for Information Technology, The University of Jordan,
More informationJOURNAL OF OBJECT TECHNOLOGY
JOURNAL OF OBJECT TECHNOLOGY Published by ETH Zurich, Chair of Software Engineering JOT, 2009 Vol. 8, No. 2, March- April 2009 Creating Servlets with Intellij V8 By Douglas Lyon Abstract This paper describes
More informationFSA e-learning Modules FAQ s
FSA e-learning s FAQ s Who are the FSA modules for? participants come from a wide array of educational and career backgrounds. Most are Associates of the Society of Actuaries (ASAs) and have: Demonstrated
More informationJ I N G H A I R A O. Institute for Software Research School of Computer Science Carnegie Mellon University 5000 Forbes Ave Pittsburgh, PA 15213
J I N G H A I R A O Institute for Software Research School of Computer Science Carnegie Mellon University 5000 Forbes Ave Pittsburgh, PA 15213 Office: +1 412 268 1357 Fax: +1 412 268 7287 Mobile: +1 412
More informationUniversity of Waterloo Undergraduate Catalog Report Faculty of Mathematics Page No. 1 Run Date 20-AUG-2007 Meeting Number(s) 25
Faculty of Mathematics Page No. 1 NEW COURSES (for approval) Computer Science - School of CS 137 ( 0.50 ) LAB, LEC, TST, TUT Programming Principles Review of fundamental programming concepts and their
More informationOptimization Coaching for Fork/Join Applications on the Java Virtual Machine
Optimization Coaching for Fork/Join Applications on the Java Virtual Machine Eduardo Rosales Advisor: Research area: PhD stage: Prof. Walter Binder Parallel applications, performance analysis Planner EuroDW
More informationKonstantinos Krommydas, Ph.D.
, Ph.D. E-mail: kokrommi@gmail.com Phone: (+1) 540-394-0522 Web: www.cs.vt.edu/~kokrommy w LinkedIn: www.linkedin.com/in/krommydas EDUCATION Virginia Polytechnic Institute and State University (Virginia
More informationCurriculum Vitae. Ulderico Fugacci
Curriculum Vitae Ulderico Fugacci Personal Nationality: Italian Sex: Male Date of birth: August 31, 1988 Place of birth: Genova, GE, Italy Mobile: (+39) 347 4966799 Email: ulderico.fugacci@gmail.com Web
More informationCPEG 852 Advanced Topics in Computing Systems The Dataflow Model of Computation
CPEG 852 Advanced Topics in Computing Systems The Dataflow Model of Computation Stéphane Zuckerman Computer Architecture & Parallel Systems Laboratory Electrical & Computer Engineering Dept. University
More informationDuration of Study and Degree
Subject-Specific Examination Regulations applicable to the M. Sc. Graduate Programme Master of Neurosciences at the University of Bremen from June 2015 In its session on June 3, 2015, the Faculty Council
More informationHAI ZHOU. Evanston, IL Glenview, IL (847) (o) (847) (h)
HAI ZHOU Electrical and Computer Engineering Northwestern University 2535 Happy Hollow Rd. Evanston, IL 60208-3118 Glenview, IL 60025 haizhou@ece.nwu.edu www.ece.nwu.edu/~haizhou (847) 491-4155 (o) (847)
More informationDigital Communication and Aesthetics,
Curriculum for the Elective Study at Bachelor Level in Digital Communication and Aesthetics, 2016 Corrected 2017 Amended 2018 Department of Media, Cognition and Communication Faculty of Humanities University
More informationMEng Integrated Engineering
MEng Integrated Engineering UCAS code: H103 Awarding Institution: The University of Reading Teaching Institution: The University of Reading Relevant QAA subject benchmarking group(s): Engineering Faculty
More informationCOMP 250. Lecture 36 MISC. - beyond COMP final exam comments
COMP 250 Lecture 36 MISC - beyond COMP 250 - final exam comments Dec 5, 2016 1 202 Intro Program MATH (prereqs for many upper level COMP courses) 206 Software Systems 273 Computer Systems 250 Intro Comp
More informationAn Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems*
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems* Xinyu Feng 1, Jiannong Cao 2, Jian Lü 1, and Henry Chan 2 1 State Key Laboratory for Novel Software Technology Dept. of
More informationCURRICULUM VITAE EMPLOYMENT RESEARCH INTERESTS EDUCATION
CURRICULUM VITAE EDUCATION B.Sc. (computer science) University of Genova (DISI) Thesis Similarity retrieval of 3D objects Advisor Prof. Enrico Puppo M.Sc. (Computer Science). University of Genova (DIBRIS)
More informationDr. Spencer Sevilla Postdoctoral Researcher, University of Washington
Dr. Spencer Sevilla Postdoctoral Researcher, University of Washington email: sevilla@cs.washington.edu Research Interests Computer networks, Host mobility, Web technology, Content caching Education University
More informationJoe Michael Kniss December 2005
Joe Michael Kniss December 2005 Research Interests 50 S. Central Campus Dr. MEB 3490 Salt Lake City, UT, 84112 jmk@sci.utah.edu Phone: 801-898-7977 http://www.cs.utah.edu/ jmk I am currently conducting
More informationJOURNAL OF OBJECT TECHNOLOGY
JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2002 Vol. 1, No. 2, July-August 2002 The Theory of Classification Part 2: The Scratch-Built
More informationESHI Diploma THE EUROPEAN SPECIALISATION IN TRANSPLANTATION IMMUNOLOGY, HISTOCOMPATIBILITY & IMMUNOGENETICS
ESHI Diploma THE EUROPEAN SPECIALISATION IN TRANSPLANTATION IMMUNOLOGY, HISTOCOMPATIBILITY & IMMUNOGENETICS Union Européene des Medecins Spécialistes (UEMS) Section of Surgery Division of Transplantation
More informationAmir Aminzadeh Gohari
Amir Aminzadeh Gohari Contact Information Computer Eng. Phone: (707) 953-2647 E-mail: amirazg@ece.ucsb.edu Santa Barbara, CA 93106 USA Web: http://ece.ucsb.edu/ amirazg Education Sept. 2007 June 2011 Ph.D.,
More informationUpdated Frequently Asked Questions (FAQ) on Revision of ZICA Accountancy Programme
Updated Frequently Asked Questions (FAQ) on Revision of ZICA Accountancy Programme 1. Question: Why has Institute revised the curriculum of the ZiCA Accountancy programme? Answer: In order to comply with
More informationCAP - Advanced Programming Concepts
Coordinating unit: 270 - FIB - Barcelona School of Informatics Teaching unit: 723 - CS - Department of Computer Science Academic year: Degree: 2018 BACHELOR'S DEGREE IN INFORMATICS ENGINEERING (Syllabus
More informationITT Technical Institute. SD2720 Advanced Software Development Using Java Onsite and Online Course SYLLABUS
ITT Technical Institute SD2720 Advanced Software Development Using Java Onsite and Online Course SYLLABUS Credit hours: 3 Contact/Instructional hours: 40 (20 Theory Hours, 20 Lab Hours) Prerequisite(s)
More informationA Certified Reduction Strategy for Homological Image Processing
A Certified Reduction Strategy for Homological Image Processing M. Poza, C. Domínguez, J. Heras, and J. Rubio Department of Mathematics and Computer Science, University of La Rioja 19 September 2014 PROLE
More informationAnurag Singh. 10th Percentage (1992): 79.16% Pt. Deendayal Upadhyay Sanatan Dharam Vidyalaya, Kanpur, India. (U.P.Board Allahabad).
Anurag Singh Flat No. 16, SFS Flats, Pkt 10, Sec. 11, Rohini, Delhi - 110085 Email: anuanu52@gmail.com Phone: +91-9810526575(M) Homepage: http://home.iitk.ac.in/~anuragsg/ EDUCATION PhD from IIT Kanpur,
More information