| Ownership types for safe region-based memory management in real-time Java C Boyapati, A Salcianu, W Beebee Jr, M Rinard Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003 | 234 | 2003 |
| Pointer and escape analysis for multithreaded programs A Salcianu, M Rinard ACM SIGPLAN Notices 36 (7), 12-23, 2001 | 225 | 2001 |
| Fast wordpiece tokenization X Song, A Salcianu, Y Song, D Dopson, D Zhou arXiv preprint arXiv:2012.15524, 2020 | 171 | 2020 |
| Scaling up models and data with t5x and seqio A Roberts, HW Chung, G Mishra, A Levskaya, J Bradbury, D Andor, ... Journal of Machine Learning Research 24 (377), 1-8, 2023 | 154 | 2023 |
| Interprocedural compatibility analysis for static object preallocation O Gheorghioiu, A Salcianu, M Rinard Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 48 | 2003 |
| Natural language processing with small feed-forward networks JA Botha, E Pitler, J Ma, A Bakalov, A Salcianu, D Weiss, R McDonald, ... arXiv preprint arXiv:1708.00214, 2017 | 44 | 2017 |
| Pointer analysis for Java programs: Novel techniques and applications AD Sălcianu Massachusetts Institute of Technology, 2006 | 36 | 2006 |
| Compact language detector v3 (cld3) A Salcianu, A Golding, A Bakalov, C Alberti, D Andor, D Weiss, E Pitler, ... Accessed: Aug, 2020 | 8 | 2020 |
| Compact language detector v3 A Salcianu, A Golding, A Bakalov, C Alberti, D Andor, D Weiss, E Pitler, ... | 8 | 2018 |
| Scaling up models and data with t5x and seqio, 2022 A Roberts, HW Chung, A Levskaya, G Mishra, J Bradbury, D Andor, ... URL https://arxiv. org/abs/2203.17189 4, 0 | 8 | |
| Machine-checkable correctness proofs for intra-procedural dataflow analyses A Sălcianu, K Arkoudas Electronic Notes in Theoretical Computer Science 141 (2), 53-68, 2005 | 6 | 2005 |
martin rinardMITVerified email at lcs.mit.edu
