I agree that this site is using cookies. You can find further informations here.
X
Shinnar, Avraham
66  results:
Search for persons X
?
1

Gradual AutoML using Lale:

, In: Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining,
Hirzel, Martin ; Kate, Kiran ; Ram, Parikshit.. - p. 4794-4795 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

General Probability in Coq:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),
Shinnar, Avraham ; Trager, Barry - p. 70-71 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Translating canonical SQL to imperative code in Coq:

Benzaken, Véronique ; Contejean, Évelyne ; Hachmaoui, Mohammed Houssem...
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Extracting enhanced artificial intelligence model metadata ..:

Tsay, Jason ; Braz, Alan ; Hirzel, Martin..
Empirical Software Engineering.  27 (2022)  7 - p. , 2022
Link: https://doi.org/10.1007/..
 
?
5

CertRL: formalizing convergence proofs for value and policy..:

, In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Vajjha, Koundinya ; Shinnar, Avraham ; Trager, Barry.. - p. 18-31 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Finding data compatibility bugs with JSON subschema checkin:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Habib, Andrew ; Shinnar, Avraham ; Hirzel, Martin. - p. 620-632 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Compiling Stan to generative probabilistic languages and ex..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Baudart, Guillaume ; Burroni, Javier ; Hirzel, Martin.. - p. 497-510 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

AIMMX : Artificial Intelligence Model Metadata Extractor:

, In: Proceedings of the 17th International Conference on Mining Software Repositories,
Tsay, Jason ; Braz, Alan ; Hirzel, Martin.. - p. 81-92 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

AIMMX: Artificial Intelligence Model Metadata Extractor:

, In: 2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR),
Tsay, Jason ; Braz, Alan ; Hirzel, Martin.. - p. 81-92 , 2020
Link: https://doi.org/10.1145/..
 
?
10

Failure Recovery in Resilient X10:

Grove, David ; Hamouda, Sara S. ; Herta, Benjamin...
ACM Transactions on Programming Languages and Systems.  41 (2019)  3 - p. 1-30 , 2019
Link: https://doi.org/10.1145/..
 
?
11

Failure Recovery in Resilient X10:

Grove, David ; Hamouda, Sara S. ; Herta, Benjamin...
ACM Transactions on Programming Languages and Systems (TOPLAS).  41 (2019)  3 - p. 1-30 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Machine learning in Python with no strings attached:

, In: Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
Baudart, Guillaume ; Hirzel, Martin ; Kate, Kiran.. - p. 1-9 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Protecting chatbots from toxic content:

, In: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,
Baudart, Guillaume ; Dolby, Julian ; Duesterwald, Evelyn.. - p. 99-110 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Ariadne: analysis for machine learning programs:

, In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
Dolby, Julian ; Shinnar, Avraham ; Allain, Allison. - p. 1-10 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Reactive chatbot programming:

, In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,
Baudart, Guillaume ; Hirzel, Martin ; Mandel, Louis.. - p. 21-30 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15