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