Παρακολούθηση
James Koppel
James Koppel
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mit.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Beyond the imitation game: Quantifying and extrapolating the capabilities of language models
A Srivastava, A Rastogi, A Rao, AAM Shoeb, A Abid, A Fisch, AR Brown, ...
arXiv preprint arXiv:2206.04615, 2022
6932022
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
D Lin, J Koppel, A Chen, A Solar-Lezama
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017
1982017
The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in US Federal Elections
MA Specter, J Koppel, D Weitzner
Preprint available at: https://internetpolicy. mit. edu/wp-content/uploads …, 2020
1082020
Semantic code search via equational reasoning
V Premtoon, J Koppel, A Solar-Lezama
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
532020
User interface modification and usage tracking
D Howett, J Koppel, J Orlow, N Hua
US Patent 10,291,729, 2019
38*2019
A large-scale benchmark for few-shot program induction and synthesis
F Alet, J Lopez-Contreras, J Koppel, M Nye, A Solar-Lezama, ...
International Conference on Machine Learning, 175-186, 2021
212021
One tool, many languages: language-parametric transformation with incremental parametric syntax
J Koppel, V Premtoon, A Solar-Lezama
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
162018
Automatic import of third party analytics
ML Poon, R Carli, JB Koppel
US Patent 10,282,216, 2019
13*2019
A language for counterfactual generative models
Z Tavares, J Koppel, X Zhang, R Das, A Solar-Lezama
International Conference on Machine Learning, 10173-10182, 2021
122021
Searching entangled program spaces
J Koppel, Z Guo, E de Vries, A Solar-Lezama, N Polikarpova
Proceedings of the ACM on Programming Languages 6 (ICFP), 23-51, 2022
112022
Version Space Algebras are Acyclic Tree Automata
J Koppel
arXiv preprint arXiv:2107.12568, 2021
62021
Capturing the future by replaying the past (functional pearl)
J Koppel, G Scherer, A Solar-Lezama
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018
62018
Demystifying dependence
J Koppel, D Jackson
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
32020
Disabling just-in-time translation for application functions
J DiTullio, MR Fenton, JB Koppel, TD Lundeen
US Patent 10,628,188, 2020
32020
Typed Multi-Language Strategy Combinators
J Koppel
Eelco Visser Commemorative Symposium (EVCS 2023), 2023
22023
Run-time application modification
JB Koppel
US Patent 10,761,835, 2020
22020
Incremental parametric syntax for multi-language transformation
J Koppel, A Solar-Lezama
Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017
22017
Enhanced code callback
N Hua, JB Koppel, JN Orlow
US Patent 9,483,283, 2016
22016
Context check bypass to enable opening shared-object libraries
J DiTullio, MR Fenton, JB Koppel, TD Lundeen
US Patent 10,606,612, 2020
12020
One CFG-Generator to Rule Them All
J Koppel, S Nair, A Solar-Lezama
12018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20