Jeffrey Fischer

According to our database, Jeffrey Fischer authored at least 11 papers between 1996 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Programming by Composing Filters.

Jeffrey Fischer, Rupak Majumdar

Proceedings of the LPAR-21, 2017

2012

Normal amygdala activation but deficient ventrolateral prefrontal activation in adults with bipolar disorder during euthymia.

Lara C. Foland-Ross, Susan Y. Bookheimer, Matthew D. Lieberman, Catherine A. Sugar, Jennifer D. Townsend, Jeffrey Fischer, Salvatore Torrisi, Conor Penfold, Sarah K. Madsen, Paul M. Thompson, Lori L. Altshuler

NeuroImage, 2012

Engage: a deployment management system.

Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2009

NFC in cell phones: The new paradigm for an interactive world [Near-Field Communications].

Jeffrey Fischer

IEEE Commun. Mag., 2009

Fine-Grained Access Control with Object-Sensitive Roles.

Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein

Proceedings of the ECOOP 2009, 2009

2008

The Consistency of Web Conversations.

Jeffrey Fischer, Rupak Majumdar, Francesco Sorrentino

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A Theory of Role Composition.

Jeffrey Fischer, Rupak Majumdar

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

Tasks: language support for event-driven programming.

Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Ensuring consistency in long running transactions.

Jeffrey Fischer, Rupak Majumdar

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005

Joining dataflow with predicates.

Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

1996

Compositional Verification by Model Checking for Counter-Examples.

Tevfik Bultan, Jeffrey Fischer, Richard Gerber

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996