Edwin M. Westbrook

According to our database, Edwin M. Westbrook authored at least 10 papers between 2000 and 2013.

Collaborative distances:

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

2013

A Semantics for Approximate Program Transformations

Edwin M. Westbrook, Swarat Chaudhuri

CoRR, 2013

2012

Practical Permissions for Race-Free Parallelism.

Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Permission Regions for Race-Free Parallelism.

Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar

Proceedings of the Runtime Verification - Second International Conference, 2011

Hobbits for Haskell: a library for higher-order encodings in functional programming languages.

Edwin M. Westbrook, Nicolas Frisby, Paul Brauner

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Mint: Java multi-stage programming using weak separability.

Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha

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

Mathematical equations as executable models of mechanical systems.

Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009

The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.

Edwin M. Westbrook, Aaron Stump, Evan Austin

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2006

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.

Ian Wehrman, Aaron Stump, Edwin M. Westbrook

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

A language-based approach to functionally correct imperative programming.

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2000

Using computational grid capabilities to enhance the capability of an X-ray source for structural biology.

Gregor von Laszewski, Mary L. Westbrook, Craig Barnes, Ian T. Foster, Edwin M. Westbrook

Clust. Comput., 2000