Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Santolucito, Mark
34  Ergebnisse:
Personensuche X
?
1

Can reactive synthesis and syntax-guided synthesis be frien..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Choi, Wonhyuk ; Finkbeiner, Bernd ; Piskac, Ruzica. - p. 229-243 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Learning CI Configuration Correctness for Early Build Feedb..:

, In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Santolucito, Mark ; Zhang, Jialu ; Zhai, Ennan.. - p. 1006-1017 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Analyzing Infrastructure as Code to Prevent Intra-update Sn..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Lepiller, Julien ; Piskac, Ruzica ; Schäf, Martin. - p. 105-123 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Program Synthesis for Musicians: A Usability Testbed for Te..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Choi, Wonhyuk ; Vazirani, Michel ; Santolucito, Mark - p. 47-61 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Human-in-the-loop program synthesis for live coding:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design,
Santolucito, Mark - p. 47-53 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

cardComposer: A Functional Programming Card Game:

, In: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2,
Hwang, Maria ; Santolucito, Mark - p. 635-636 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Formal Methods and Computing Identity-based Mentorship for ..:

, In: Proceedings of the 51st ACM Technical Symposium on Computer Science Education,
Santolucito, Mark ; Piskac, Ruzica - p. 135-141 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Software Engineering for Infrastructure and Configuration (..:

Cito, Jürgen ; Santolucito, Mark
ACM SIGSOFT Software Engineering Notes.  45 (2020)  2 - p. 23-24 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Towards checkpoint placement for dynamic memory allocation ..:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis,
Shoemaker, Nicholas ; Piskac, Ruzica ; Santolucito, Mark - p. 20-22 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Software Engineering for Infrastructure and Configuration (..:

Cito, Jürgen ; Santolucito, Mark
ACM SIGSOFT Software Engineering Notes.  45 (2020)  2 - p. 23-24 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Live Programming By Example:

, In: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems,
Santolucito, Mark ; Hallahan, William T. ; Piskac, Ruzica - p. 1-4 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Temporal Stream Logic: Synthesis Beyond the Bools:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Finkbeiner, Bernd ; Klein, Felix ; Piskac, Ruzica. - p. 609-629 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Synthesizing functional reactive programs:

, In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell,
Finkbeiner, Bernd ; Klein, Felix ; Piskac, Ruzica. - p. 162-175 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Programming-by-example for audio: synthesizing digital sign..:

, In: Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,
Santolucito, Mark ; Rogers, Kate ; Lombardo, Aedan. - p. 18-25 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Synthesizing configuration file specifications with associa..:

Santolucito, Mark ; Zhai, Ennan ; Dhodapkar, Rahul..
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-20 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15