[fruffy]

Hi Bryan,

As someone deeply involved with the P4 community and contributor to the P4 compiler it is great to see someone being bullish on the language. Have been following your work with interest. :)

I see that you are developing your own compiler. If you have complaints or suggestions please feel free to reach out to [e-mail]. The language design group is meeting monthly and is always interested in hearing grievances of consumers of the language.

As a side-note, we are currently developing tools to ensure that P4 programs are compiled and executed correctly. Tools include packet-test generators, fuzzers, and general-purpose verification frameworks. Because the language is so restricted you can do really powerful validation. A concrete example is Google using P4 as a specification language for their network devices[0]. If that is something that interests you, shoot me a message ([e-mail]).

[0] https://research.google/pubs/pub51497/

[rygood]

Hey! Thanks for reaching out. Primary author of the Oxide P4 compiler here. I joined the P4 Language Design WG a while back and have attended a few meetings as time and schedules allow. I'll join in on next week's meeting in case folks are interested in follow-up questions/discussions.