Segui
John Feser
John Feser
Altri nomiJohn K Feser, Jack Feser
Basis Research Institute
Email verificata su basis.ai - Home page
Titolo
Citata da
Citata da
Anno
Synthesizing data structure transformations from input-output examples
JK Feser, S Chaudhuri, I Dillig
ACM SIGPLAN Notices 50 (6), 229-239, 2015
4112015
Query Optimization for Dynamic Imputation
SM José Cambronero, John K. Feser, Micah J. Smith
VLDB 10 (11), 1310-1321, 2017
45*2017
Neural functional programming
JK Feser, M Brockschmidt, AL Gaunt, D Tarlow
132017
Differentiable functional program interpreters
JK Feser, M Brockschmidt, AL Gaunt, D Tarlow
arXiv preprint arXiv:1611.01988, 2016
112016
Deductive optimization of relational data storage
J Feser, S Madden, N Tang, A Solar-Lezama
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
102020
DDSCAT convert: a target generation tool
J Feser, AN Sobh
92016
nanoDDSCAT
PK Jain, N Sobh, J Smith, AN Sobh, S White, J Faucheaux, J Feser
82019
Inductive Program Synthesis Guided by Observational Program Similarity
J Feser, I Dillig, A Solar-Lezama
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 912-940, 2023
32023
Metric program synthesis for inverse CSG
J Feser, I Dillig, A Solar-Lezama
arXiv preprint arXiv:2206.06164, 2022
22022
Metric Program Synthesis
J Feser, I Dillig, A Solar-Lezama
arXiv preprint arXiv:2206.06164, 2022
12022
Inductive and Deductive Synthesis for Database Applications
JK Feser
Massachusetts Institute of Technology, 2023
2023
LATE Ain'T Earley: A Faster Parallel Earley Parser
W Ahrens, J Feser, R Hui
arXiv preprint arXiv:1807.05642, 2018
2018
Finite Buffer dCME (fb-dCME)
Y Cao, A Terebus, J Feser, N Sobh, J Liang
2013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13