Jeffrey M. Fischer Entrepreneur and Computer Scientist Email: jeffrey.<my last name> "at" gmail . com

Bio

I am currently the CEO/CTO for a stealth-mode startup. My areas of expertise include web services/application integration, cloud computing, application level security, and software verification.

In 2008, I completed a Ph.D. in Computer Science at UCLA under Professor Rupak Majumdar. In my dissertation, Robust Service Composition, I developed new approaches to ensure the reliability of service-based systems. This involved identifying key correctness properties and enforcing these properties through lightweight verification tools. I addressed four specific issues: lost messages in asynchronous programs, the consistency of long running transactions, reconciliation of access control policies, and the trust by end users of composed applications.

Before returning to school in 2004, I spent over ten years in industry, at Siebel Systems and Oracle. I was most recently a Senior Development Manager at Siebel, where I led the Enterprise Application Integration/Web Services infrastructure team. I also have an M.S. degree in Computer Science and a B.S. degree in Electrical Engineering, both from UCLA.

Publications

The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons downloading these documents will adhere to the terms and constraints invoked by each author's copyright.

• Jeffrey Fischer, Daniel Marino, Rupak Majumdar, and Todd Millstein. Fine-Grained Access Control with Object-Sensitive Roles, European Conference on Object-Oriented Programming (ECOOP '09), July 2009.
• Jeffrey Fischer and Rupak Majumdar. A Theory of Role Composition, International Conference on Web Services (ICWS '08), September 2008. pdf  ps
• Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino. The Consistency of Web Conversations, Automated Software Engineering (ASE '08), September 2008. pdf  ps
• Jeffrey Fischer and Rupak Majumdar. Ensuring Consistency in Long Running Transactions, Automated Software Engineering (ASE '07), November 2007. abstract  pdf  ps
• Jeffrey Fischer, Rupak Majumdar, and Todd Millstein. Tasks: Language Support for Event-driven Programming, Partial Evaluation and Program Manipulation (PEPM '07), January 2007. abstract  pdf  ps
• Michael Emmi, Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar. Lock allocation, Principles of Programming Languages, January 2007. abstract  pdf  ps
• Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar. Joining dataflow with predicates, Foundations of Software Engineering, August 2005. abstract  pdf  ps
• Jeffrey Fischer and Milos Ercegovac. A component framework for communication in distributed applications, International Parallel and Distributed Processing Symposium (IPDPS), 2000, pp 647-653.

Technical Reports

• Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino. The Consistency of Web Conversations, UCLA CSD Techical Report TR080018, July 1, 2008. pdf
• Jeffrey Fischer and Rupak Majumdar. A Theory of Role Composition, UCLA CSD Techical Report TR080012, April 14, 2008. pdf
• Jeffrey Fischer and Rupak Majumdar. Ensuring Consistency in Long Running Transactions, UCLA CSD Techical Report TR070011, April 6, 2007, revised May 11, 2007. pdf
• Jeffrey Fischer, Rupak Majumdar, and Todd Millstein. Preventing Lost Messages in Event-driven Programming, UCLA CSD Techical Report TR060001, January 2006, revised July 2006. abstract  pdf  ps