| emsoft | participants

Walid Taha

Program Committees:
2004, 2005, 2010, 2013, and 2014
.

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

E-FRP with Priorities

Roumen Kaiabachev, Walid Taha, and Angela Yun Zhu

EMSOFT 2004: 4th ACM International Conference on Embedded Software

A Methodology for Generating Verified Combinatorial Circuits

Oleg Kiselyov, Kedar N. Swadi, and Walid Taha

EMSOFT 2003: 3rd International Conference on Embedded Software

Generating Heap-Bounded Programs in a Functional Setting

Walid Taha, Stephan Ellner, and Hongwei Xi

EMSOFT 2001: 1st International Workshop on Embedded Software

Directions in Functional Programming for Real(-Time) Applications

Walid Taha, Paul Hudak, and Zhanyong Wan