PROGRAM SYNTHESIS
Experts
- Armando Solar-Lezama
- Moshe Y. Vardi
- Roderick Bloem
- Isil Dillig
- Bernd Finkbeiner
- Rolf Drechsler
- Sumit Gulwani
- Robert Wille
- Jean-François Raskin
- Rishabh Singh
- Giovanni De Micheli
- Swen Jacobs
- Ufuk Topcu
- Nadia Polikarpova
- Rüdiger Ehlers
- Krishnendu Chatterjee
- Sanjit A. Seshia
- Zohar Manna
- Rong Su
- Orna Kupferman
- Thomas A. Henzinger
- Alberto L. Sangiovanni-Vincentelli
- Emmanuel Filiot
- Qingxia Li
- Ranga Vemuri
- Rajeev Alur
- Daniel Kroening
- Robert K. Brayton
- Vesa Välimäki
- Majid Zamani
- Taewhan Kim
- Kevin Ellis
- Arjun Radhakrishna
- Niraj K. Jha
- Viktor Kuncak
- Guillermo A. Pérez
- Robert Könighofer
- Liyong Lin
- Ayrat Khalimov
Venues
- CoRR
- ICMC
- DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ICASSP
- LOPSTR
- ICCAD
- DATE
- INTERSPEECH
- VLSI Design
- CDC
- ASP-DAC
- IEEE Trans. Ind. Electron.
- Proc. ACM Program. Lang.
- ISCAS
- ICCD
- Sensors
- IJCAI
- IEEE Trans. Computers
- EURO-DAC
- AAAI
- IEEE Access
- PLDI
- ACC
- IEEE Trans. Very Large Scale Integr. Syst.
- ICRA
- ACM Trans. Graph.
- FPL
- Comput. Chem. Eng.
- IGARSS
- CAV (1)
- Autom.
- Symmetry
- IEEE Trans. Autom. Control.
- J. Symb. Log.
- DSD
- Theor. Comput. Sci.
- NeurIPS
- Commun. ACM
Related Topics
Related Keywords
Popularity