Travelled to:1 × China
1 × France
1 × Portugal
2 × Italy
2 × USA
Collaborated with:R.Majumdar T.D.Millstein S.Esmaeilsabzali F.Sorrentino R.Jhala T.Bultan R.Gerber D.Marino
Talks about:consist (2) transact (1) dataflow (1) composit (1) support (1) program (1) languag (1) counter (1) convers (1) control (1)
Person: Jeffrey Fischer
DBLP: Fischer:Jeffrey
Contributed to:
2012
2009
20082007
2007
2005
1996Wrote 7 papers:
- PLDI-2012-FischerME #deployment #named
- Engage: a deployment management system (JF, RM, SE), pp. 263–274.
- ECOOP-2009-FischerMMM #data access #fine-grained
- Fine-Grained Access Control with Object-Sensitive Roles (JF, DM, RM, TDM), pp. 173–194.
- ASE-2008-FischerMS #consistency #web
- The Consistency of Web Conversations (JF, RM, FS), pp. 415–418.
- ASE-2007-FischerM #consistency #transaction
- Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
- PEPM-2007-FischerMM #named #programming
- Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.
- ESEC-FSE-2005-FischerJM #data flow
- Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.
- ISSTA-1996-BultanFG #composition #model checking #verification
- Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.