The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FFI with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001-2014 (15) 2015-2023 (3)
Publication types (Num. hits)
article(5) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 17 keywords

Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
237Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley Jinn: synthesizing dynamic bug detectors for foreign language interfaces. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
74Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
74Michael Furr, Jeffrey S. Foster Checking type safety of foreign function calls. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FFI, flow-sensitive type system, foreign function calls, multi-lingual type inference, multi-lingual type system, representational type, dataflow analysis, OCaml, foreign function interface
45Mingen Lin, Yang Yang 0012, Jinhui Xu 0001 Improved Approximation Algorithms for Maximum Resource Bin Packing and Lazy Bin Covering Problems. Search on Bibsonomy ISAAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Leon Schuermann, Arun Thomas, Amit Levy Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems. Search on Bibsonomy KISV@SOSP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Frédéric Bour CAMLroot: revisiting the OCaml FFI. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
36Anton Ekblad Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects. Search on Bibsonomy IFL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
36Johannes Konert, Michael Gutjahr, Stefan Göbel 0001, Ralf Steinmetz Modeling the Player: Predictability of the Models of Bartle and Kolb Based on NEO-FFI (Big5) and the Implications for Game Based Learning. Search on Bibsonomy Int. J. Game Based Learn. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Gyda Bjornsdottir, Anna B. Almarsdottir, Ingunn Hansdottir, Fanney Thorsdottir, Maria Heimisdottir, Hreinn Stefansson, Thorgeir E. Thorgeirsson, Patricia F. Brennan From paper to web: Mode equivalence of the ARHQ and NEO-FFI. Search on Bibsonomy Comput. Hum. Behav. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
36Aaron Marburg, Michael P. Hayes, Andrew Bainbridge-Smith A machine vision extension to the Ruby programming language using OpenCV and FFI. Search on Bibsonomy IVCNZ The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
36Norodd Hagenson Operations Analysis Computing at FFI, 1970-1995. Search on Bibsonomy History of Nordic Computing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit Automatic generation of library bindings using static analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
23Alceste Scalas, Giovanni Casu, Piero Pili High-performance technical computing with erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF numerical applications, erlang, hpc
23John H. Reppy, Chunyan Song Application-specific foreign-interface generation. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF foreign-interface generation, term rewriting
23Kerryann Wyatt, James G. Phillips Internet use and misuse in the workplace. Search on Bibsonomy OZCHI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF personality, workplace, internet use
23Krasimir Angelov, Simon Marlow Visual haskell: a full-featured haskell development environment. Search on Bibsonomy Haskell The full citation details ... 2005 DBLP  DOI  BibTeX  RDF haskell development environment, visual studio
23Huai-Yi Hsu, Sheng-Feng Wang, An-Yeu Wu A Novel Low-Cost Multi-Mode Reed Solomon Decoder Design Based on Peterson-Gorenstein-Zierler Algorithm. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Peterson-Gorenstein-Zerler algorithm, Chien search algorithm, Forney algorithm, Reed-Solomon code, error control coding
23Hsie-Chia Chang, Chen-Yi Lee An area-efficient architecture for Reed-Solomon decoder using the inversionless decomposed Euclidean algorithm. Search on Bibsonomy ISCAS (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license