( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fixing Code that Explodes Under Symbolic Evaluation.

, , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 44-67. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

No persons found for author name Porncharoenwase, Sorawee
add a person with the name Porncharoenwase, Sorawee
 

Другие публикации лиц с тем же именем

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design., , , и . Art Sci. Eng. Program., 3 (3): 11 (2019)A formal foundation for symbolic evaluation with merging., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)A Pretty Expressive Printer., , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1122-1149 (октября 2023)Fixing Code that Explodes Under Symbolic Evaluation., , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 44-67. Springer, (2020)CompoSAT: Specification-Guided Coverage for Model Finding., , и . FM, том 10951 из Lecture Notes in Computer Science, стр. 568-587. Springer, (2018)A Pretty Expressive Printer (with Appendices)., , и . CoRR, (2023)Rhombus: A New Spin on Macros without All the Parentheses., , , , , , , , , и 5 other автор(ы). Proc. ACM Program. Lang., 7 (OOPSLA2): 574-603 (октября 2023)Generating Conforming Programs with Xsmith., , , , и . GPCE, стр. 86-99. ACM, (2023)FPGA Technology Mapping Using Sketch-Guided Program Synthesis., , , , , , , , и . ASPLOS (2), стр. 416-432. ACM, (2024)Testing Dafny (experience paper)., , , , и . ISSTA, стр. 556-567. ACM, (2022)