Search results for "ffi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
237	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
74	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	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
74	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	PLDI	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
45	Mingen Lin, Yang Yang 0012, Jinhui Xu 0001	Improved Approximation Algorithms for Maximum Resource Bin Packing and Lazy Bin Covering Problems.	ISAAC	2006	DBLP DOI BibTeX RDF
36	Leon Schuermann, Arun Thomas, Amit Levy	Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.	KISV@SOSP	2023	DBLP DOI BibTeX RDF
36	Frédéric Bour	CAMLroot: revisiting the OCaml FFI.	CoRR	2018	DBLP BibTeX RDF
36	Anton Ekblad	Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects.	IFL	2015	DBLP DOI BibTeX RDF
36	Johannes 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.	Int. J. Game Based Learn.	2014	DBLP DOI BibTeX RDF
36	Gyda 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.	Comput. Hum. Behav.	2014	DBLP DOI BibTeX RDF
36	Aaron Marburg, Michael P. Hayes, Andrew Bainbridge-Smith	A machine vision extension to the Ruby programming language using OpenCV and FFI.	IVCNZ	2013	DBLP DOI BibTeX RDF
36	Norodd Hagenson	Operations Analysis Computing at FFI, 1970-1995.	History of Nordic Computing	2010	DBLP DOI BibTeX RDF
29	Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
23	Alceste Scalas, Giovanni Casu, Piero Pili	High-performance technical computing with erlang.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	numerical applications, erlang, hpc
23	John H. Reppy, Chunyan Song	Application-specific foreign-interface generation.	GPCE	2006	DBLP DOI BibTeX RDF	foreign-interface generation, term rewriting
23	Kerryann Wyatt, James G. Phillips	Internet use and misuse in the workplace.	OZCHI	2005	DBLP DOI BibTeX RDF	personality, workplace, internet use
23	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
23	Huai-Yi Hsu, Sheng-Feng Wang, An-Yeu Wu	A Novel Low-Cost Multi-Mode Reed Solomon Decoder Design Based on Peterson-Gorenstein-Zierler Algorithm.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	Peterson-Gorenstein-Zerler algorithm, Chien search algorithm, Forney algorithm, Reed-Solomon code, error control coding
23	Hsie-Chia Chang, Chen-Yi Lee	An area-efficient architecture for Reed-Solomon decoder using the inversionless decomposed Euclidean algorithm.	ISCAS (2)	2001	DBLP DOI BibTeX RDF