|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 742 occurrences of 320 keywords
|
|
|
Results
Found 902 publication records. Showing 902 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Xingjie Li, Fei Lu 0016, Molei Tao, Felix X.-F. Ye |
NySALT: Nyström-type inference-based schemes adaptive to large time-stepping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.06012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001 |
Global Type Inference for Featherweight Generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.08768, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.09189, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05361, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | M. Clarence Protin, Gilda Ferreira |
Typability and Type Inference in Atomic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank-2 Intersection Types Using Set Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 462-480, 2022, Springer, 978-3-031-17714-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jinxu Zhao, Bruno C. d. S. Oliveira |
Elementary Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 2:1-2:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001 |
Global Type Inference for Featherweight Generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 28:1-28:27, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen |
Sound and Complete Type Inference for Closed Effect Rows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 144-168, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSBSE ![In: Search-Based Software Engineering - 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings, pp. 67-82, 2022, Springer, 978-3-031-21250-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, pp. 239-250, 2022, ACM, 978-1-4503-9379-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pp. 79:1-79:13, 2022, ACM, 978-1-4503-9475-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Sivani Voruganti, Kevin Jesse, Premkumar T. Devanbu |
FlexType: A Plug-and-Play Framework for Type Inference Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pp. 159:1-159:5, 2022, ACM, 978-1-4503-9475-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 1982-1993, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pp. 2241-2252, 2022, ACM, 978-1-4503-9221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Jesse, Premkumar T. Devanbu |
ManyTypes4TypeScript: A Comprehensive TypeScript Dataset for Sequence-Based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, pp. 294-298, 2022, ACM, 978-1-4503-9303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(ICFP), pp. 1-29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Zvonimir Pavlinovic, Yusen Su, Thomas Wies |
Data flow refinement type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-31, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Gergely Nagy, Gábor Oláh, Zoltán Porkoláb |
Type Inference of Simple Recursive Functions in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 25(4), pp. 797-815, October 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Bogdan Aman, Gabriel Ciobanu |
Type inference for hierarchical multiset structures in rule-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 580, pp. 673-683, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.03595, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Amir M. Mir, Evaldas Latoskinas, Georgios Gousios |
ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.04706, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | M. Clarence Protin, Gilda Ferreira |
Typability and Type Inference in Atomic Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13675, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.14316, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch, Georgios Gousios |
Type4Py: Deep Similarity Learning-Based Type Inference for Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.04470, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Vasileios Mavroeidis, Ryan Hohimer, Tim Casey, Audun Jøsang |
Threat Actor Type Inference and Characterization within Cyber Threat Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.02301, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | João Barbosa, Mário Florido, Vítor Santos Costa |
Data Type Inference for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.06562, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.00157, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 18(2), pp. 918-935, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | A. B. M. Moniruzzaman |
Modelling and Factorizing Large-Scale Knowledge Graph (DBPedia) for Fine-Grained Entity Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Databases Theory and Applications - 32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 29 - February 5, 2021, Proceedings, pp. 204-219, 2021, Springer, 978-3-030-69376-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021., pp. 1584-1596, 2021, ACM, 978-1-4503-8343-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Mingzhe Hu, Yu Zhang 0086, Wenchao Huang, Yan Xiong |
Static Type Inference for Foreign Functions of Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021, pp. 423-433, 2021, IEEE, 978-1-6654-2587-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyCon ![In: 13th International Conference on Cyber Conflict, CyCon 2021, Tallinn, Estonia, May 25-28, 2021, pp. 327-352, 2021, IEEE, 978-9916-9565-5-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom (1) ![In: Collaborative Computing: Networking, Applications and Worksharing - 17th EAI International Conference, CollaborateCom 2021, Virtual Event, October 16-18, 2021, Proceedings, Part I, pp. 117-137, 2021, Springer, 978-3-030-92634-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings, pp. 535-549, 2021, Springer, 978-3-030-67730-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Amir M. Mir, Evaldas Latoskinas, Georgios Gousios |
ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: 18th IEEE/ACM International Conference on Mining Software Repositories, MSR 2021, Madrid, Spain, May 17-19, 2021, pp. 585-589, 2021, IEEE, 978-1-7281-8710-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | João Barbosa, Mário Florido, Vítor Santos Costa |
Data Type Inference for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings, pp. 16-37, 2021, Springer, 978-3-030-98868-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Nick Ulle |
Source Code Analysis and Type Inference for R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
11 | Lionel Parreaux |
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 124:1-124:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Timothée Haudebourg, Thomas Genet, Thomas P. Jensen |
Regular language type inference with term rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 112:1-112:29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Taha Ceritli, Christopher K. I. Williams, James Geddes |
ptype: probabilistic type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 34(3), pp. 870-904, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Nahid Juma, Werner Dietl, Mahesh Tripunitara |
A computational complexity analysis of tunable type inference for Generic Universe Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 814, pp. 189-209, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda |
Backward type inference for XML queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 823, pp. 69-99, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Fangke Ye, Jisheng Zhao, Vivek Sarkar |
Advanced Graph-Based Deep Learning for Probabilistic Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.05949, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Zvonimir Pavlinovic, Yusen Su, Thomas Wies |
Data Flow Refinement Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.04876, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00396, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00348, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Danae Sanchez Villegas, Daniel Preotiuc-Pietro, Nikolaos Aletras |
Point-of-Interest Type Inference from Social Media Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.14734, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig |
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.02161, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Isabel Wingen, Philipp Körner |
Effectiveness of Annotation-Based Static Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.12545, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 42(3), pp. 15:1-15:71, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Danae Sanchez Villegas, Daniel Preotiuc-Pietro, Nikolaos Aletras |
Point-of-Interest Type Inference from Social Media Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AACL/IJCNLP ![In: Proceedings of the 1st Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 10th International Joint Conference on Natural Language Processing, AACL/IJCNLP 2020, Suzhou, China, December 4-7, 2020, pp. 804-810, 2020, Association for Computational Linguistics, 978-1-952148-91-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Ligeng Chen, Zhongling He, Bing Mao |
CATI: Context-Assisted Type Inference from Stripped Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020, pp. 88-98, 2020, IEEE, 978-1-7281-5809-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy |
Exploring Type Inference Techniques of Dynamically Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2020, London, ON, Canada, February 18-21, 2020, pp. 70-80, 2020, IEEE, 978-1-7281-5143-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Isabel Wingen, Philipp Körner |
Effectiveness of Annotation-Based Static Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 74-93, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 423-437, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig |
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: 8th International Conference on Learning Representations, ICLR 2020, Addis Ababa, Ethiopia, April 26-30, 2020, 2020, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
11 | Yuli Wang, Xiaoqing Gong, Hao Chen, Jing Li, Baoying Liu, Shuai Cao |
JSTIFuzz: Type-Inference-based JavaScript Engine Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NaNA ![In: International Conference on Networking and Network Applications, NaNA 2020, Haikou City, China, December 10-13, 2020, pp. 381-387, 2020, IEEE, 978-1-7281-8954-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
A mechanical formalization of higher-ranked polymorphic type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(ICFP), pp. 112:1-112:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi |
Dynamic type inference for gradual Hindley-Milner typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 18:1-18:29, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(1), pp. 345-366, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Web Inf. Syst. ![In: Int. J. Semantic Web Inf. Syst. 15(2), pp. 22-46, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Taha Ceritli, Christopher K. I. Williams, James Geddes |
ptype: Probabilistic Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.10081, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.00680, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
11 | Artem Lutov, Soheil Roshankish, Mourad Khayati, Philippe Cudré-Mauroux |
StaTIX - Statistical Type Inference on Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.00490, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 100, pp. 1044-1052, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Luca Padovani |
Context-Free Session Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 41(2), pp. 9:1-9:37, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BuildSys@SenSys ![In: Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, BuildSys 2019, New York, NY, USA, November 13-14, 2019, pp. 111-120, 2019, ACM, 978-1-4503-7005-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Ryosuke Sato 0001, Naoki Iwayama, Naoki Kobayashi 0001 |
Combining higher-order model checking with refinement type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019, pp. 47-53, 2019, ACM, 978-1-4503-6226-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: The World Wide Web Conference, WWW 2019, San Francisco, CA, USA, May 13-17, 2019, pp. 3093-3100, 2019, ACM, 978-1-4503-6674-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank 2 Gradual Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 84-120, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 57th Conference of the Association for Computational Linguistics, ACL 2019, Florence, Italy, July 28- August 2, 2019, Volume 1: Long Papers, pp. 1361-1370, 2019, Association for Computational Linguistics, 978-1-950737-48-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Zvonimir Pavlinovic |
Leveraging Program Analysis for Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
11 | Niki Vazou, Éric Tanter, David Van Horn |
Gradual liquid type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 132:1-132:25, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Niki Vazou, Éric Tanter, David Van Horn |
Gradual Liquid Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.02132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi |
Dynamic Type Inference for Gradual Hindley-Milner Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.12619, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Christopher Jenkins, Aaron Stump |
Spine-local Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.10383, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.11250, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 18(3-4), pp. 484-501, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Jenkins, Aaron Stump |
Spine-local Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018., pp. 37-48, 2018, ACM, 978-1-4503-7143-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller 0001 |
MaxSMT-Based Type Inference for Python 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, pp. 12-19, 2018, Springer, 978-3-319-96141-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Dongrui Zeng, Gang Tan |
From Debugging-Information Based Binary-Level Type Inference to CFG Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODASPY ![In: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018, pp. 366-376, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Denys Shabalin, Martin Odersky |
Interflow: interprocedural flow-sensitive type inference and method duplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@ICFP ![In: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018, pp. 61-71, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro |
Type inference for GADTs, outsidein and anti-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 51-58, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis |
Deep learning type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 152-162, 2018, ACM, 978-1-4503-5573-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshops ![In: The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018., pp. 783-786, 2018, AAAI Press, 978-1-57735-801-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
11 | Makoto Hamana |
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 99-115, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Artem Lutov, Soheil Roshankish, Mourad Khayati, Philippe Cudré-Mauroux |
StaTIX - Statistical Type Inference on Linked Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, pp. 2253-2262, 2018, IEEE, 978-1-5386-5035-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Vivek Jain, Sanjay Rawat 0001, Cristiano Giuffrida, Herbert Bos |
TIFF: Using Input Type Inference To Improve Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018, pp. 505-517, 2018, ACM, 978-1-4503-6569-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Martin Avanzini, Ugo Dal Lago |
Automating sized-type inference for complexity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(ICFP), pp. 43:1-43:29, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 30(3), pp. 710-720, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 49, pp. 216-230, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Martin Avanzini, Ugo Dal Lago |
Automating Sized Type Inference for Complexity Analysis (Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.09169, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Martin Avanzini, Ugo Dal Lago |
Automated Sized-Type Inference and Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICE-FOPARA@ETAPS ![In: Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017., pp. 7-16, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Michael Rawson |
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
11 | Yu Liu 0018, Peter McBrien |
Transactional and Incremental Type Inference from Data Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 60(3), pp. 347-368, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | José Quiroga, Francisco Ortin |
SSA Transformations to Facilitate Type Inference in Dynamically Typed Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 60(9), pp. 1300-1315, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017., pp. 295-300, 2017, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-41-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Stephen Dolan, Alan Mycroft |
Polymorphism, subtyping, and type inference in MLsub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 60-72, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Luca Padovani |
Context-Free Session Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 804-830, 2017, Springer, 978-3-662-54433-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 902 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|