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