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 was a “non-traditional” PhD student - I had worked in industry for ten years before returning to school. This gave me a different perspective regarding which problems are interesting and their solutions, which I tried to reflect in my research work.
PhD Thesis
Robust Service Composition
University: UCLA Computer Science Department
Year: 2008
Developed new approaches to ensure the reliability of service-based systems, addressing 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.
Conference Publications
Programming event processors with ThingFlow
Conference: ICCPS '19: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems
Authors: J. Fischer and R. Majumdar
Year: April 2019
Engage: A Deployment Management System
Conference: Programming Language Design and Implementation (PLDI '12)
Authors: Jeffrey Fischer, Rupak Majumdar, and Shahram Esmaeilsabzali
Year: June 2012
Fine-Grained Access Control with Object-Sensitive Roles
Conference: European Conference on Object-Oriented Programming (ECOOP '09)
Authors: Jeffrey Fischer, Daniel Marino, Rupak Majumdar, and Todd Millstein
Year: July 2009
A Theory of Role Composition
Conference: International Conference on Web Services (ICWS '08)
Authors: Jeffrey Fischer and Rupak Majumdar
Year: September 2008
The Consistency of Web Conversations
Conference: Automated Software Engineering (ASE '08)
Authors: Jeffrey Fischer, Rupak Majumdar, and Francesco Sorrentino
Year: September 2008
Ensuring Consistency in Long Running Transactions
Conference: Automated Software Engineering (ASE '07)
Authors: Jeffrey Fischer and Rupak Majumdar
Year: November 2007
Tasks: Language Support for Event-driven Programming
Conference: Partial Evaluation and Program Manipulation (PEPM '07)
Authors: Jeffrey Fischer, Rupak Majumdar, and Todd Millstein
Year: January 2007
Lock allocation
Conference: Principles of Programming Languages
Authors: Michael Emmi, Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar
Year: January 2007
Joining dataflow with predicates
Conference: Foundations of Software Engineering
Authors: Jeffrey Fischer, Ranjit Jhala, and Rupak Majumdar
Year: August 2005
A component framework for communication in distributed applications
Conference: International Parallel and Distributed Processing Symposium (IPDPS)
Authors: Jeffrey Fischer and Milos Ercegovac
Year: 2000
Pages: 647-653
The documents referenced above 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.