Collaborated with:Sunjay Cauligi Gary Soeller Brian Johannesmeyer Fraser Brown John Renner B.Grégoire G.Barthe R.Jhala D.Stefan
Talks about:sensit (1) comput (1) time (1) dsl (1)
Person: Riad S. Wahby
DBLP: Wahby:Riad_S=
Contributed to:
2019Wrote 1 papers:
- PLDI-2019-CauligiSJBWRGBJ #domain-specific language #named
- FaCT: a DSL for timing-sensitive computation (SC, GS, BJ, FB, RSW, JR, BG, GB, RJ, DS), pp. 174–189.