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
- Nadia Polikarpova
- Swen Jacobs
- Ufuk Topcu
- Krishnendu Chatterjee
- Rüdiger Ehlers
- Zohar Manna
- Sanjit A. Seshia
- Rong Su
- Orna Kupferman
- Alberto L. Sangiovanni-Vincentelli
- Emmanuel Filiot
- Thomas A. Henzinger
- Qingxia Li
- Ranga Vemuri
- Kevin Ellis
- Robert K. Brayton
- Taewhan Kim
- Vesa Välimäki
- Daniel Kroening
- Rajeev Alur
- Majid Zamani
- Robert Könighofer
- Niraj K. Jha
- Guillermo A. Pérez
- Viktor Kuncak
- Arjun Radhakrishna
- Liyong Lin
- 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
- ASP-DAC
- IEEE Trans. Ind. Electron.
- ISCAS
- ICCD
- IEEE Trans. Computers
- IJCAI
- AAAI
- IEEE Access
- EURO-DAC
- PLDI
- ACC
- IEEE Trans. Very Large Scale Integr. Syst.
- ICRA
- Comput. Chem. Eng.
- ACM Trans. Graph.
- IGARSS
- FPL
- CAV (1)
- Autom.
- Symmetry
- IEEE Trans. Autom. Control.
- DSD
- Theor. Comput. Sci.
- J. Symb. Log.
- NeurIPS
- Commun. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend