E-LIB Suche - Ergebnisse für: Porncharoenwase, Sorawee

1

FPGA Technology Mapping Using Sketch-Guided Program Synthes..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Smith, Gus Henry ; Kushigian, Benjamin ; Canumalla, Vishal... - p. 416-432 , 2024

Link: https://dl.acm.org/doi/1..

2

A Pretty Expressive Printer:

Porncharoenwase, Sorawee ; Pombrio, Justin ; Torlak, Emina
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1122-1149 , 2023

Link: https://doi.org/10.1145/..

3

Generating Conforming Programs with Xsmith:

, In: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Hatch, William ; Darragh, Pierce ; Porncharoenwase, Sorawee.. - p. 86-99 , 2023

Link: https://dl.acm.org/doi/1..

4

Rhombus: A New Spin on Macros without All the Parentheses:

Flatt, Matthew ; Allred, Taylor ; Angle, Nia...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 574-603 , 2023

Link: https://doi.org/10.1145/..

5

Testing Dafny (experience paper):

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,

Irfan, Ahmed ; Porncharoenwase, Sorawee ; Rakamarić, Zvonimir.. - p. 556-567 , 2022

Link: https://dl.acm.org/doi/1..

6

A formal foundation for symbolic evaluation with merging:

Porncharoenwase, Sorawee ; Nelson, Luke ; Wang, Xi.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://doi.org/10.1145/..

7

A formal foundation for symbolic evaluation with merging:

Porncharoenwase, Sorawee ; Nelson, Luke ; Wang, Xi.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://dl.acm.org/doi/1..

8

Fixing Code that Explodes Under Symbolic Evaluation:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Porncharoenwase, Sorawee ; Bornholt, James ; Torlak, Emina - p. 44-67 , 2020

Link: https://doi.org/10.1007/..

9

FPGA Technology Mapping Using Sketch-Guided Program Synthes..:

Smith, Gus Henry ; Kushigian, Ben ; Canumalla, Vishal...
http://arxiv.org/abs/2401.16526. , 2024

Link: http://arxiv.org/abs/240..

10

Productivity Tools for Solver-Aided Programming:

Porncharoenwase, Sorawee
Porncharoenwase_washington_0250E_25794.pdf. , 2023

Link: http://hdl.handle.net/17..

11

A Pretty Expressive Printer (with Appendices):

Porncharoenwase, Sorawee ; Pombrio, Justin ; Torlak, Emina
http://arxiv.org/abs/2310.01530. , 2023

Link: http://arxiv.org/abs/231..

12

Event Loops as First-Class Values: A Case Study in Pedagogi..:

Politz, Joe ; Lerner, Benjamin ; Porncharoenwase, Sorawee.
http://arxiv.org/abs/1902.00735. , 2019

Link: http://arxiv.org/abs/190..