Search results for "type-inference"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Xingjie Li, Fei Lu 0016, Molei Tao, Felix X.-F. Ye	NySALT: Nyström-type inference-based schemes adaptive to large time-stepping.	CoRR	2022	DBLP DOI BibTeX RDF
11	Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001	Global Type Inference for Featherweight Generic Java.	CoRR	2022	DBLP DOI BibTeX RDF
11	Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze, Clemens-Alexander Brust	Cross-Domain Evaluation of a Deep Learning-Based Type Inference System.	CoRR	2022	DBLP DOI BibTeX RDF
11	Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Xiwei Xu 0001, Liming Zhu 0001, Qinghua Lu 0001	Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code.	CoRR	2022	DBLP DOI BibTeX RDF
11	M. Clarence Protin, Gilda Ferreira	Typability and Type Inference in Atomic Polymorphism.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Pedro Ângelo 0002, Mário Florido	Type Inference for Rank-2 Intersection Types Using Set Unification.	ICTAC	2022	DBLP DOI BibTeX RDF
11	Jinxu Zhao, Bruno C. d. S. Oliveira	Elementary Type Inference.	ECOOP	2022	DBLP DOI BibTeX RDF
11	Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001	Global Type Inference for Featherweight Generic Java.	ECOOP	2022	DBLP DOI BibTeX RDF
11	Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen	Sound and Complete Type Inference for Closed Effect Rows.	TFP	2022	DBLP DOI BibTeX RDF
11	Dimitri Michel Stallenberg, Mitchell Olsthoorn, Annibale Panichella	Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference.	SSBSE	2022	DBLP DOI BibTeX RDF
11	Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li 0008, Yang Liu 0003	Cross-lingual transfer learning for statistical type inference.	ISSTA	2022	DBLP DOI BibTeX RDF
11	Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Xiwei Xu 0001, Liming Zhu 0001, Qinghua Lu 0001	Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code.	ASE	2022	DBLP DOI BibTeX RDF
11	Sivani Voruganti, Kevin Jesse, Premkumar T. Devanbu	FlexType: A Plug-and-Play Framework for Type Inference Models.	ASE	2022	DBLP DOI BibTeX RDF
11	Yiwen Dong 0002, Tianxiao Gu, Yongqiang Tian 0001, Chengnian Sun	SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets.	ICSE	2022	DBLP DOI BibTeX RDF
11	Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch, Georgios Gousios	Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python.	ICSE	2022	DBLP DOI BibTeX RDF
11	Kevin Jesse, Premkumar T. Devanbu	ManyTypes4TypeScript: A Comprehensive TypeScript Dataset for Sequence-Based Type Inference.	MSR	2022	DBLP DOI BibTeX RDF
11	Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee	An existential crisis resolved: type inference for first-class existential types.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
11	Zvonimir Pavlinovic, Yusen Su, Thomas Wies	Data flow refinement type inference.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
11	Gergely Nagy, Gábor Oláh, Zoltán Porkoláb	Type Inference of Simple Recursive Functions in Scala.	Acta Cybern.	2021	DBLP DOI BibTeX RDF
11	Bogdan Aman, Gabriel Ciobanu	Type inference for hierarchical multiset structures in rule-based systems.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
11	Yun Peng, Zongjie Li, Cuiyun Gao, Bowei Gao, David Lo 0001, Michael R. Lyu	HiTyper: A Hybrid Static Type Inference Framework with Neural Prediction.	CoRR	2021	DBLP BibTeX RDF
11	Amir M. Mir, Evaldas Latoskinas, Georgios Gousios	ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference.	CoRR	2021	DBLP BibTeX RDF
11	M. Clarence Protin, Gilda Ferreira	Typability and Type Inference in Atomic Polymorphism.	CoRR	2021	DBLP BibTeX RDF
11	Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, Jeff Huang 0001	PYInfer: Deep Learning Semantic Type Inference for Python Variables.	CoRR	2021	DBLP BibTeX RDF
11	Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch, Georgios Gousios	Type4Py: Deep Similarity Learning-Based Type Inference for Python.	CoRR	2021	DBLP BibTeX RDF
11	Vasileios Mavroeidis, Ryan Hohimer, Tim Casey, Audun Jøsang	Threat Actor Type Inference and Characterization within Cyber Threat Intelligence.	CoRR	2021	DBLP BibTeX RDF
11	João Barbosa, Mário Florido, Vítor Santos Costa	Data Type Inference for Logic Programming.	CoRR	2021	DBLP BibTeX RDF
11	Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li 0008, Yang Liu 0003	Cross-Lingual Adaptation for Type Inference.	CoRR	2021	DBLP BibTeX RDF
11	Xi Cheng, Min Zhou 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Automatic Integer Error Repair by Proper-Type Inference.	IEEE Trans. Dependable Secur. Comput.	2021	DBLP DOI BibTeX RDF
11	A. B. M. Moniruzzaman	Modelling and Factorizing Large-Scale Knowledge Graph (DBPedia) for Fine-Grained Entity Type Inference.	ADC	2021	DBLP DOI BibTeX RDF
11	Vraj Shah, Jonathan Lacanlale, Premanand Kumar, Kevin Yang, Arun Kumar 0001	Towards Benchmarking Feature Type Inference for AutoML Platforms.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
11	Mingzhe Hu, Yu Zhang 0086, Wenchao Huang, Yan Xiong	Static Type Inference for Foreign Functions of Python.	ISSRE	2021	DBLP DOI BibTeX RDF
11	Vasileios Mavroeidis, Ryan Hohimer, Tim Casey, Audun Jøsang	Threat Actor Type Inference and Characterization within Cyber Threat Intelligence.	CyCon	2021	DBLP DOI BibTeX RDF
11	Yige Chen, Tianning Zang, Yongzheng Zhang 0002, Yuan Zhou, Peng Yang	Mobile Encrypted Traffic Classification Based on Message Type Inference.	CollaborateCom (1)	2021	DBLP DOI BibTeX RDF
11	Sara Bonfitto, Luca Cappelletti, Fabrizio Trovato, Giorgio Valentini, Marco Mesiti	Semi-automatic Column Type Inference for CSV Table Understanding.	SOFSEM	2021	DBLP DOI BibTeX RDF
11	Amir M. Mir, Evaldas Latoskinas, Georgios Gousios	ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference.	MSR	2021	DBLP DOI BibTeX RDF
11	João Barbosa, Mário Florido, Vítor Santos Costa	Data Type Inference for Logic Programming.	LOPSTR	2021	DBLP DOI BibTeX RDF
11	Nick Ulle	Source Code Analysis and Type Inference for R.		2021	RDF
11	Lionel Parreaux	The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl).	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
11	Timothée Haudebourg, Thomas Genet, Thomas P. Jensen	Regular language type inference with term rewriting.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
11	Taha Ceritli, Christopher K. I. Williams, James Geddes	ptype: probabilistic type inference.	Data Min. Knowl. Discov.	2020	DBLP DOI BibTeX RDF
11	Nahid Juma, Werner Dietl, Mahesh Tripunitara	A computational complexity analysis of tunable type inference for Generic Universe Types.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda	Backward type inference for XML queries.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Fangke Ye, Jisheng Zhao, Vivek Sarkar	Advanced Graph-Based Deep Learning for Probabilistic Type Inference.	CoRR	2020	DBLP BibTeX RDF
11	Zvonimir Pavlinovic, Yusen Su, Thomas Wies	Data Flow Refinement Type Inference.	CoRR	2020	DBLP BibTeX RDF
11	Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates	FreezeML: Complete and Easy Type Inference for First-Class Polymorphism.	CoRR	2020	DBLP BibTeX RDF
11	Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon 0001, Charles Sutton	OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints.	CoRR	2020	DBLP BibTeX RDF
11	Danae Sanchez Villegas, Daniel Preotiuc-Pietro, Nikolaos Aletras	Point-of-Interest Type Inference from Social Media Text.	CoRR	2020	DBLP BibTeX RDF
11	Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig	LambdaNet: Probabilistic Type Inference using Graph Neural Networks.	CoRR	2020	DBLP BibTeX RDF
11	Isabel Wingen, Philipp Körner	Effectiveness of Annotation-Based Static Type Inference.	CoRR	2020	DBLP BibTeX RDF
11	Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira	Type Inference for C: Applications to the Static Analysis of Incomplete Programs.	ACM Trans. Program. Lang. Syst.	2020	DBLP DOI BibTeX RDF
11	Danae Sanchez Villegas, Daniel Preotiuc-Pietro, Nikolaos Aletras	Point-of-Interest Type Inference from Social Media Text.	AACL/IJCNLP	2020	DBLP BibTeX RDF
11	Ligeng Chen, Zhongling He, Bing Mao	CATI: Context-Assisted Type Inference from Stripped Binaries.	DSN	2020	DBLP DOI BibTeX RDF
11	C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy	Exploring Type Inference Techniques of Dynamically Typed Languages.	SANER	2020	DBLP DOI BibTeX RDF
11	Isabel Wingen, Philipp Körner	Effectiveness of Annotation-Based Static Type Inference.	WFLP	2020	DBLP DOI BibTeX RDF
11	Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates	FreezeML: complete and easy type inference for first-class polymorphism.	PLDI	2020	DBLP DOI BibTeX RDF
11	Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig	LambdaNet: Probabilistic Type Inference using Graph Neural Networks.	ICLR	2020	DBLP BibTeX RDF
11	Yuli Wang, Xiaoqing Gong, Hao Chen, Jing Li, Baoying Liu, Shuai Cao	JSTIFuzz: Type-Inference-based JavaScript Engine Fuzzing.	NaNA	2020	DBLP DOI BibTeX RDF
11	Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers	A mechanical formalization of higher-ranked polymorphic type inference.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
11	Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi	Dynamic type inference for gradual Hindley-Milner typing.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
11	Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige	Type inference in flexible model-driven engineering using classification algorithms.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
11	Tianxing Wu 0001, Guilin Qi, Bin Luo, Lei Zhang 0034, Haofen Wang	Language-Independent Type Inference of the Instances from Multilingual Wikipedia.	Int. J. Semantic Web Inf. Syst.	2019	DBLP DOI BibTeX RDF
11	Taha Ceritli, Christopher K. I. Williams, James Geddes	ptype: Probabilistic Type Inference.	CoRR	2019	DBLP BibTeX RDF
11	Casper Boone, Niels de Bruin, Arjan Langerak, Fabian Stelmach	DLTPy: Deep Learning Type Inference of Python Function Signatures using Natural Language Context.	CoRR	2019	DBLP BibTeX RDF
11	Artem Lutov, Soheil Roshankish, Mourad Khayati, Philippe Cudré-Mauroux	StaTIX - Statistical Type Inference on Linked Data.	CoRR	2019	DBLP BibTeX RDF
11	Junho Jeong, Joong Yeon Lim, Yunsik Son 0001	A data type inference method based on long short-term memory by improved feature for weakness analysis in binary code.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
11	Luca Padovani	Context-Free Session Type Inference.	ACM Trans. Program. Lang. Syst.	2019	DBLP DOI BibTeX RDF
11	Zixiao Shi, Guy R. Newsham, Long Chen 0021, H. Burak Gunay	Evaluation of Clustering and Time Series Features for Point Type Inference in Smart Building Retrofit.	BuildSys@SenSys	2019	DBLP DOI BibTeX RDF
11	Ryosuke Sato 0001, Naoki Iwayama, Naoki Kobayashi 0001	Combining higher-order model checking with refinement type inference.	PEPM@POPL	2019	DBLP DOI BibTeX RDF
11	A. B. M. Moniruzzaman, Richi Nayak, Maolin Tang, Balasubramaniam Thirunavukarasu	Fine-grained Type Inference in Knowledge Graphs via Probabilistic and Tensor Factorization Methods.	WWW	2019	DBLP DOI BibTeX RDF
11	Pedro Ângelo 0002, Mário Florido	Type Inference for Rank 2 Gradual Intersection Types.	TFP	2019	DBLP DOI BibTeX RDF
11	Changzhi Sun, Yeyun Gong, Yuanbin Wu, Ming Gong, Daxin Jiang, Man Lan, Shiliang Sun, Nan Duan	Joint Type Inference on Entities and Relations via Graph Convolutional Networks.	ACL (1)	2019	DBLP DOI BibTeX RDF
11	Zvonimir Pavlinovic	Leveraging Program Analysis for Type Inference.		2019	RDF
11	Niki Vazou, Éric Tanter, David Van Horn	Gradual liquid type inference.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
11	Niki Vazou, Éric Tanter, David Van Horn	Gradual Liquid Type Inference.	CoRR	2018	DBLP BibTeX RDF
11	Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi	Dynamic Type Inference for Gradual Hindley-Milner Typing.	CoRR	2018	DBLP BibTeX RDF
11	Christopher Jenkins, Aaron Stump	Spine-local Type Inference.	CoRR	2018	DBLP BibTeX RDF
11	Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.	CoRR	2018	DBLP BibTeX RDF
11	Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.	Theory Pract. Log. Program.	2018	DBLP DOI BibTeX RDF
11	Christopher Jenkins, Aaron Stump	Spine-local Type Inference.	IFL	2018	DBLP DOI BibTeX RDF
11	Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller 0001	MaxSMT-Based Type Inference for Python 3.	CAV (2)	2018	DBLP DOI BibTeX RDF
11	Dongrui Zeng, Gang Tan	From Debugging-Information Based Binary-Level Type Inference to CFG Generation.	CODASPY	2018	DBLP DOI BibTeX RDF
11	Denys Shabalin, Martin Odersky	Interflow: interprocedural flow-sensitive type inference and method duplication.	SCALA@ICFP	2018	DBLP DOI BibTeX RDF
11	Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro	Type inference for GADTs, outsidein and anti-unification.	SBLP	2018	DBLP DOI BibTeX RDF
11	Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis	Deep learning type inference.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
11	Amirreza Shirani, Adrián Pastor López-Monroy, Fabio A. González 0001, Thamar Solorio, Mohammad Amin Alipour	Evaluation of Type Inference with Textual Cues.	AAAI Workshops	2018	DBLP BibTeX RDF
11	Makoto Hamana	Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation.	FLOPS	2018	DBLP DOI BibTeX RDF
11	Artem Lutov, Soheil Roshankish, Mourad Khayati, Philippe Cudré-Mauroux	StaTIX - Statistical Type Inference on Linked Data.	IEEE BigData	2018	DBLP DOI BibTeX RDF
11	Vivek Jain, Sanjay Rawat 0001, Cristiano Giuffrida, Herbert Bos	TIFF: Using Input Type Inference To Improve Fuzzing.	ACSAC	2018	DBLP DOI BibTeX RDF
11	Martin Avanzini, Ugo Dal Lago	Automating sized-type inference for complexity analysis.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
11	Mixia Wu, Jing Zhao, Tonghui Wang, Yan Zhao	The ANOVA-type inference in linear mixed model with skew-normal error.	J. Syst. Sci. Complex.	2017	DBLP DOI BibTeX RDF
11	Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige	Constraint programming for type inference in flexible model-driven engineering.	Comput. Lang. Syst. Struct.	2017	DBLP DOI BibTeX RDF
11	Martin Avanzini, Ugo Dal Lago	Automating Sized Type Inference for Complexity Analysis (Technical Report).	CoRR	2017	DBLP BibTeX RDF
11	Martin Avanzini, Ugo Dal Lago	Automated Sized-Type Inference and Complexity Analysis.	DICE-FOPARA@ETAPS	2017	DBLP DOI BibTeX RDF
11	Michael Rawson	Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
11	Yu Liu 0018, Peter McBrien	Transactional and Incremental Type Inference from Data Updates.	Comput. J.	2017	DBLP DOI BibTeX RDF
11	José Quiroga, Francisco Ortin	SSA Transformations to Facilitate Type Inference in Dynamically Typed Code.	Comput. J.	2017	DBLP DOI BibTeX RDF
11	Xiangyang Xu, Shanshan Li 0001, Yong Guo, Wei Dong 0006, Wang Li 0003, Xiangke Liao	Automatic Type Inference for Proactive Misconfiguration Prevention.	SEKE	2017	DBLP DOI BibTeX RDF
11	Stephen Dolan, Alan Mycroft	Polymorphism, subtyping, and type inference in MLsub.	POPL	2017	DBLP DOI BibTeX RDF
11	Luca Padovani	Context-Free Session Type Inference.	ESOP	2017	DBLP DOI BibTeX RDF