학술논문
'학술논문'
에서 검색결과 10건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
Flatt, M.; Allred, T.; Angle, N.; De Gabrielle, S.; Findler, R.B.; Firth, J.; Gopinathan, K.; Greenman, B.; Kasivajhula, S.; Phillips, S.; Knauth, A.; McCarthy, J.; Porncharoenwase, S.; Søgaard, J.A.; Tobin-Hochstadt, S.
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Conference
Smith, G.H.; Kushigian, B.; Canumalla, V.; Cheung, A.; Porncharoenwase, S.; Just, R.; Bernstein, G.L.; Tatlock, Z.; Lyubomirsky, S.
In: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS , ASPLOS 2024 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 27 April 2024, 2:416-432)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Conference
In: GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023 , GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023. (GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, 22 October 2023, :86-99)
Academic Journal
In: Art, Science, and Engineering of Programming . (Art, Science, and Engineering of Programming, 2019, 3(3))
Conference
In: ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis , ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. (ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 18 July 2022, :556-567)
Book
In: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11990 LNCS:44-67)
Book
In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10951 LNCS:568-587)
In: arXiv . (arXiv, 2 February 2019)
검색 결과 제한하기
제한된 항목
[AR] Porncharoenwase, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어