Jeffrey M. Fischer

Ph.D. Student, UCLA Computer Science Department
Email: <my last name> "at" cs . ucla . edu 		Picture of me at FSE 2005

Bio

I'm a Ph.D. student under Rupak Majumdar. 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 have an M.S. degree in Computer Science and a B.S. degree in Electrical Engineering, both from UCLA.

In my research, I am looking to combine ideas from Software Verification, Programming Languages, and Software Engineering to build more robust software for the web and the enterprise. A presentation summarizing my current research may be found here (Powerpoint) and here (pdf).

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 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 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

    • Software

    Below is a list of software that I've written that has been made available on the web.

  • For my ASE '07 paper, I wrote a Set Consistency verifier for business processes. The source for the verifier is available here. We are currently developing a BPEL frontend for the verifier.
  • For my FSE '05 paper, I wrote a symbolic execution lattice for the BLAST software model checker.
    •
    Last updated: 9/18/2007