| SymPy: symbolic computing in Python A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ... PeerJ Computer Science 3, e103, 2017 | 1665 | 2017 |
| Stable video diffusion: Scaling latent video diffusion models to large datasets A Blattmann, T Dockhorn, S Kulal, D Mendelevitch, M Kilian, D Lorenz, ... arXiv preprint arXiv:2311.15127, 2023 | 344 | 2023 |
| Spoc: Search-based pseudocode to code S Kulal, P Pasupat, K Chandra, M Lee, O Padon, A Aiken, PS Liang Advances in Neural Information Processing Systems 32, 2019 | 190 | 2019 |
| Scaling rectified flow transformers for high-resolution image synthesis P Esser, S Kulal, A Blattmann, R Entezari, J Müller, H Saini, Y Levi, ... Forty-first International Conference on Machine Learning, 2024 | 175 | 2024 |
| Contract-based resource verification for higher-order functions with memoization R Madhavan, S Kulal, V Kuncak ACM SIGPLAN Symposium on Principles of Programming Languages 52 (1), 330-343, 2017 | 41 | 2017 |
| Putting People in Their Place: Affordance-Aware Human Insertion into Scenes S Kulal, T Brooks, A Aiken, J Wu, J Yang, J Lu, AA Efros, KK Singh Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023 | 31 | 2023 |
| What’s hard about Boolean functional synthesis? S Akshay, S Chakraborty, S Goel, S Kulal, S Shah Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 30 | 2018 |
| Hierarchical motion understanding via motion programs S Kulal, J Mao, A Aiken, J Wu Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021 | 15 | 2021 |
| Unsupervised Learning of Shape Programs with Repeatable Implicit Parts B Deng, S Kulal, Z Dong, C Deng, Y Tian, J Wu Advances in Neural Information Processing Systems, 2022 | 13 | 2022 |
| Boolean functional synthesis: hardness and practical algorithms S Akshay, S Chakraborty, S Goel, S Kulal, S Shah Formal Methods in System Design 57, 53-86, 2021 | 12 | 2021 |
| Programmatic concept learning for human motion description and synthesis S Kulal, J Mao, A Aiken, J Wu Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2022 | 8 | 2022 |
| Space Leaks Exploration in Haskell S Kulal, R Ganvir, S Sudhakaran Indian Institute of Technology Bombay Mumbai, 0 | 1 | |
| Affordance-based reposing of an object in a scene S Kulal, KK Singh, J Yang, J LU, A Efros US Patent App. 18/058,528, 2024 | | 2024 |
| Scalable Synthesis with Symbolic Syntax Graphs R Shah, S Kulal, R Bodik Workshop on Synthesis (SYNT) 2018, 0 | | |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
