K. R. Jayaram CONTACT: 210 Airport Rd Apt 12, West Lafayette, IN 47906. Email: jayaramXpurdue.edu. Phone: +1-765-586-5981 http://krjram.googlepages.com INTERESTS: Area: Distributed Systems and Distributed Programming Focus: Event-based systems, complex event processing, event streams and programming support for them. EDUCATION: Purdue University, W Lafayette, USA Ph.D. Student, Computer Science, August 2005 - present Birla Institute of Technology and Science (BITS), Pilani, India Bachelor of Engineering in Computer Science (with Honours), May 2004 EXPERIENCE: Research Assistant, Purdue University, West Lafayette, USA. 8/07 - present. --Working on EventJava, an extension to Java for programming event based systems Teaching Assistant, Purdue University, West Lafayette, USA. 8/07 - 12/07. --CS 307 Software Engineering Intern, Static Analysis for Device Drivers group, Microsoft Corp, Redmond, USA, 5/07 - 8/07 --Extended Static Driver Verifier (SDV) to check Interrupt Request Level (IRQL) properties of Windows Kernel Mode Driver Framework (KMDF) drivers --Compared the fault-detection effectiveness of SDV vs. Prefast (with annotations) for checking IRQL properties Research Assistant, Purdue University, West Lafayette, USA. 8/05 - 4/07 --Statechart-based testing of cryptographic protocols Software Engineer, Lucent Technologies, Bangalore, India. 8/04 - 5/05 --Designed and developed modules for the Optical Network Management (ONM)Team Research Intern, INRIA Sophia-Antipolis, France. 1/04 - 5/04 --Worked on Formal Verification of Cryptographic protocols towards my Bachelor's thesis RESEARCH: EventJava is an extension of Java with advanced support for event-based distributed programming. EventJava: * promotes fully asynchronous interaction seamlessly integrated with traditional synchronous method invocations. * inherently unifies support for unicasting as well as multicasting of events. * provides increased expressiveness by supporting reactions to event collections and especially correlation predicates guarding those reactions. * EventJava is generic in that it includes a framework for customization of event semantics, to adapt event propagation and dispatching to various application scenarios. This is supported mainly by integrating a notion of event context. PUBLICATIONS: (1) K. R. Jayaram and P Eugster, EventJava. (under submission) (2) Christopher Line, Patrick Eugster and K. R. Jayaram, Lazy Object Passing. ACM International Conference on Principles and Practice of Programming In Java (PPPJ 2008) (to appear). (3) K. R. Jayaram and Aditya Mathur, On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. International Workshop on Security in Software Engineering (IWSSE) 2008 (to appear). Also available as a technical report SERC-TR-288, May 2007 (4) K. R. Jayaram, Identifying and testing for insecure paths in cryptographic protocol implementations, COMPSAC 2006. (Extended abstract) (5) K. R. Jayaram and Aditya Mathur, Software Engineering for Secure Software - State of the Art: A Survey. August 2005.Technical Report CERIAS-TR-2005-67, SERC-TR-279 PROGRAMMING SKILLS: C, Java, UML Modeling, Windows and UNIX OS environments Previous Programming Experience: C++, ML, SQL, PL/SQL, x86 Assembly RELEVANT COURSEWORK: Graduate: Distributed Programming, Software Reliability, Advanced Topics in Distributed Systems, Information Security, Model-based Software Testing, Algorithm Analysis and Design, Programming Languages, Computer Networks, Operating Systems Undergraduate: Software Engineering, Data Structures and Algorithms, Operating Systems, Data Communications and Networks, Digital Design, Computer Architecture, Compilers, Database Systems, Discrete Mathematics, Fuzzy Logic REFERENCES: Available on request