Sen, Koushik

A view of the parallel computing landscape

Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., et al. (2009) · Communications of the ACM

Parallel Computing and Optimization TechniquesDistributed and Parallel Computing Systems

Cited by 627

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Sen, K., & Viswanathan, M. (2006) · Lecture Notes in Computer Science

Formal Methods in VerificationLogic, programming, and type systems

Cited by 95

AutoPandas: neural-backed generators for program synthesis

Bavishi, R., Lemieux, C., Fox, R., Sen, K., & Stoica, I. (2019) · Proceedings of the ACM on Programming Languages

Evolutionary Algorithms and ApplicationsTeaching and Learning Programming

Cited by 73

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Jain, N., Han, K., Gu, A., Li, W.-D., Yan, F., Zhang, T., Wang, S., Solar-Lezama, A., Sen, K., & Stoica, I. (2024) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 42

Specifications: The missing link to making the development of LLM systems an engineering discipline

Stoica, I., Zaharia, M., Gonzalez, J., Goldberg, K., Sen, K., Zhang, H., Angelopoulos, A., Patil, S. G., Chen, L., Chiang, W.-L., et al. (2024) · arXiv

Natural Language Processing TechniquesTopic Modeling

Cited by 2

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

Singhvi, A., Shetty, M., Tan, S., Potts, C., Sen, K., Zaharia, M., & Khattab, O. (2023) · arXiv

Natural Language Processing TechniquesTopic Modeling

Cited by 2

AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization

Cemri, M., Agrawal, S., Gupta, A., Liu, S., Cheng, A., Mang, Q., Naren, A., Erdogan, L. E., Sen, K., Zaharia, M., et al. (2026) · arXiv

Evolutionary Algorithms and ApplicationsMetaheuristic Optimization Algorithms Research

Cited by 2

Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks with BenchJack

Wang, H., Li, H., Mang, Q., Cheung, A., Sen, K., & Song, D. (2026) · arXiv

Adversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques

Cited by 1

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents

Jain, N., Singh, J., Shetty, M., Zheng, L., Sen, K., & Stoica, I. (2025) · arXiv

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 1

EvoX: Meta-Evolution for Automated Discovery

Liu, S., Agarwal, S., Maheswaran, M., Cemri, M., Li, Z., Mang, Q., Naren, A., Boneh, E., Cheng, A., Pan, M. Z., et al. (2026) · arXiv

Evolutionary Algorithms and ApplicationsMetaheuristic Optimization Algorithms Research

Cited by 1

Batching the Reflective Optimization Loop: Parallel Proposals Make GEPA Faster and Better

Zhang, J., Agrawal, L. A., Tan, S., Lee, D., Erdogan, L. E., Klein, D., Sen, K., Dimakis, A., & Zaharia, M. (2026) · arXiv

Evolutionary Algorithms and ApplicationsNatural Language Processing Techniques

Cited by 0