Cikkek nyilvánosan hozzáférhető megbízással - Jeffrey S. FosterTovábbi információ
Valahol hozzáférhető: 21
Using symbolic evaluation to understand behavior in configurable software systems
E Reisner, C Song, KK Ma, JS Foster, A Porter
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Megbízások: Fraunhofer-Gesellschaft
An observational investigation of reverse {Engineers’} processes
D Votipka, S Rabin, K Micinski, JS Foster, ML Mazurek
29th USENIX Security Symposium (USENIX Security 20), 1875-1892, 2020
Megbízások: US Department of Defense
We need fairness and explainability in algorithmic hiring
C Schumann, J Foster, N Mattei, J Dickerson
International conference on autonomous agents and multi-agent systems (AAMAS), 2020
Megbízások: US National Science Foundation
User interactions and permission use on android
K Micinski, D Votipka, R Stevens, N Kofinas, ML Mazurek, JS Foster
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems …, 2017
Megbízások: US National Science Foundation, US Department of Defense
Synthesizing framework models for symbolic execution
J Jeon, X Qiu, J Fetter-Degges, JS Foster, A Solar-Lezama
Proceedings of the 38th International Conference on Software Engineering …, 2016
Megbízások: US National Science Foundation
{BigMAC}:{Fine-Grained} policy analysis of android firmware
G Hernandez, DJ Tian, AS Yadav, BJ Williams, KRB Butler
29th USENIX Security Symposium (USENIX Security 20), 271-287, 2020
Megbízások: US National Science Foundation
iGen: Dynamic interaction inference for configurable software
TV Nguyen, U Koc, J Cheng, JS Foster, AA Porter
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Megbízások: US National Science Foundation
Just-in-time static type checking for dynamic languages
BM Ren, JS Foster
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
Megbízások: US National Science Foundation
Refinement types for ruby
M Kazerounian, N Vazou, A Bourgerie, JS Foster, E Torlak
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
Megbízások: US National Science Foundation
User comfort with android background resource accesses in different contexts
D Votipka, SM Rabin, K Micinski, T Gilray, ML Mazurek, JS Foster
Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018), 235-250, 2018
Megbízások: US Department of Defense
Type-level computations for Ruby libraries
M Kazerounian, SN Guria, N Vazou, JS Foster, D Van Horn
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Megbízások: US National Science Foundation, Government of Spain
An observational investigation of reverse engineers' process and mental models
D Votipka, S Rabin, K Micinski, JS Foster, ML Mazurek
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing …, 2019
Megbízások: US Department of Defense
SimTyper: sound type inference for Ruby using type equality prediction
M Kazerounian, JS Foster, B Min
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021
Megbízások: US National Science Foundation, US Office of the Director of National …
Sound, heuristic type annotation inference for ruby
M Kazerounian, BM Ren, JS Foster
Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic …, 2020
Megbízások: US National Science Foundation
RbSyn: type-and effect-guided program synthesis
SN Guria, JS Foster, D Van Horn
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Megbízások: US National Science Foundation
Making the cut: A bandit-based approach to tiered interviewing
C Schumann, Z Lang, J Foster, J Dickerson
Advances in Neural Information Processing Systems 32, 2019
Megbízások: US National Science Foundation
SATune: a study-driven auto-tuning approach for configurable software verification tools
U Koc, A Mordahl, S Wei, JS Foster, AA Porter
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
Megbízások: US National Science Foundation
Program synthesis with algebraic library specifications
B Mariano, J Reese, S Xu, TV Nguyen, X Qiu, JS Foster, A Solar-Lezama
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-25, 2019
Megbízások: US National Science Foundation
An empirical study of adaptive concretization for parallel program synthesis
J Jeon, X Qiu, A Solar-Lezama, JS Foster
Formal Methods in System Design 50, 75-95, 2017
Megbízások: US National Science Foundation
Absynthe: Abstract Interpretation-Guided Synthesis
SN Guria, JS Foster, D Van Horn
Proceedings of the ACM on Programming Languages 7 (PLDI), 1584-1607, 2023
Megbízások: US National Science Foundation
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.