E-LIB Suche - Ergebnisse für: Marron, Mark

1

Programming Languages for AI Programing Agents (Invited Tal..:

, In: Proceedings of the 19th ACM SIGPLAN International Symposium on Dynamic Languages,

Marron, Mark - p. 7 ff. , 2023

2

Toward Programming Languages for Reasoning: Humans, Symboli..:

, In: Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Marron, Mark - p. 136-152 , 2023

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

3

High Assurance Software for Financial Regulation and Busine..:

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

Goldbaum, Stephen ; Mihaly, Attila ; Ellison, Tosha.. - p. 108-126 , 2022

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

4

Log++ logging for a cloud-native world:

Marron, Mark
ACM SIGPLAN Notices. 53 (2020) 8 - p. 25-36 , 2020

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

5

Log++ logging for a cloud-native world:

, In: Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages,

Marron, Mark - p. 25-36 , 2018

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

6

Mining Semantic Loop Idioms:

Allamanis, Miltiadis ; Barr, Earl T. ; Bird, Christian...
IEEE Transactions on Software Engineering. 44 (2018) 7 - p. 651-668 , 2018

Link: https://doi.org/10.1109/..

7

Semantics of asynchronous JavaScript:

Loring, Matthew C. ; Marron, Mark ; Leijen, Daan
ACM SIGPLAN Notices. 52 (2017) 11 - p. 51-62 , 2017

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

8

Semantics of asynchronous JavaScript:

, In: Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages,

Loring, Matthew C. ; Marron, Mark ; Leijen, Daan - p. 51-62 , 2017

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

9

Time-travel debugging for JavaScript/Node.js:

, In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Barr, Earl T. ; Marron, Mark ; Maurer, Ed.. - p. 1003-1007 , 2016

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

10

Program Synthesis Using Natural Language:

, In: 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE),

Desai, Aditya ; Gulwani, Sumit ; Hingorani, Vineet... - p. 345-356 , 2016

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

11

Program synthesis using natural language:

, In: Proceedings of the 38th International Conference on Software Engineering,

Desai, Aditya ; Gulwani, Sumit ; Hingorani, Vineet... - p. 345-356 , 2016

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

12

User Interaction Models for Disambiguation in Programming b..:

, In: Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology,

Mayer, Mikaël ; Soares, Gustavo ; Grechkin, Maxim... - p. 291-301 , 2015

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

13

Tardis: affordable time-travel debugging in managed runtime:

Barr, Earl T. ; Marron, Mark
ACM SIGPLAN Notices. 49 (2014) 10 - p. 67-82 , 2014

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

14

NLyze : interactive programming by natural language for ..:

, In: Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data,

Gulwani, Sumit ; Marron, Mark - p. 803-814 , 2014

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

15

Tardis : affordable time-travel debugging in managed run..:

, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications,

Barr, Earl T. ; Marron, Mark - p. 67-82 , 2014

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