Search results for "typing"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Thiago Felicissimo	Artifact report: Generic bidirectional typing for dependent type theories.	ESOP (1)	2024	DBLP DOI BibTeX RDF
13	Andrea Colledan, Ugo Dal Lago	Circuit Width Estimation via Effect Typing and Linear Dependency.	ESOP (2)	2024	DBLP DOI BibTeX RDF
13	Yu Zhang 0044, Yunyi Zhang, Yanzhen Shen, Yu Deng 0004, Lucian Popa 0001, Larisa Shwartz, ChengXiang Zhai, Jiawei Han 0001	Seed-Guided Fine-Grained Entity Typing in Science and Engineering Domains.	AAAI	2024	DBLP DOI BibTeX RDF
13	Frank Mtumbuka, Steven Schockaert	EnCore: Fine-Grained Entity Typing by Pre-Training Entity Encoders on Coreference Chains.	EACL (1)	2024	DBLP BibTeX RDF
13	Alex Foster, Anna S. Kim, Pengfei Zhang	HopKeys: Increasing Efficiency and Enjoyability When Typing.	HRI (Companion)	2024	DBLP DOI BibTeX RDF
13	Jinghui Hu, John J. Dudley, Per Ola Kristensson	SkiMR: Dwell-free Eye Typing in Mixed Reality.	VR	2024	DBLP DOI BibTeX RDF
13	Giuseppe Castagna	Typing Records, Maps, and Structs.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Max S. New, Eric Giovannini, Daniel R. Licata	Gradual Typing for Effect Handlers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Andong Fan, Lionel Parreaux	super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
13	Sung-Shik Jongmans, Francisco Ferreira 0001	Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
13	Zepeng Li, Rikui Huang, Minyu Zhai, Zhenwen Zhang, Bin Hu 0001	A performant and incremental algorithm for knowledge graph entity typing.	World Wide Web (WWW)	2023	DBLP DOI BibTeX RDF
13	Xin Yi 0001, Chen Liang, Haozhan Chen, Jiuxu Song, Chun Yu, Hewu Li, Yuanchun Shi	From 2D to 3D: Facilitating Single-Finger Mid-Air Typing on QWERTY Keyboards with Probabilistic Touch Modeling.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2023	DBLP DOI BibTeX RDF
13	M. Elgin Akpinar, Yeliz Yesilada, Pinar Karagöz	Effect of Context on Smartphone Users' Typing Performance in the Wild.	ACM Trans. Comput. Hum. Interact.	2023	DBLP DOI BibTeX RDF
13	Antonino Fiannaca, Massimo La Rosa, Laura La Paglia, Salvatore Gaglio, Alfonso Urso	GOWDL: gene ontology-driven wide and deep learning model for cell typing of scRNA-seq data.	Briefings Bioinform.	2023	DBLP DOI BibTeX RDF
13	Dixuan Cui, Christos Mousas	Exploring the effects of virtual hand appearance on midair typing efficiency.	Comput. Animat. Virtual Worlds	2023	DBLP DOI BibTeX RDF
13	Sanghoon Yoon, Thierry Lefrançois-Daignault, Julie N. Côté	The Effect of Cycling While Typing on Patterns of Upper Body Muscle Activation.	Hum. Factors	2023	DBLP DOI BibTeX RDF
13	Romain Derelle, John Lees, Jody Phelan, Ajit Lalvani, Nimalan Arinaminpathy, Leonid Chindelevitch	fastlin: an ultra-fast program for Mycobacterium tuberculosis complex lineage typing.	Bioinform.	2023	DBLP DOI BibTeX RDF
13	Junxiao Shen, John J. Dudley, Per Ola Kristensson	Fast and Robust Mid-Air Gesture Typing for AR Headsets using 3D Trajectory Decoding.	IEEE Trans. Vis. Comput. Graph.	2023	DBLP DOI BibTeX RDF
13	Ruili Wang, Feng Hou, Steven F. Cahan, Li Chen, Xiaoyun Jia, Wanting Ji	Fine-Grained Entity Typing With a Type Taxonomy: A Systematic Review.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
13	Yu Zhao 0019, Han Zhou, Anxiang Zhang, Ruobing Xie, Qing Li 0005, Fuzhen Zhuang	Connecting Embeddings Based on Multiplex Relational Graph Attention Networks for Knowledge Graph Entity Typing.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
13	Zhe Zeng, Elisabeth Sumithra Neuer, Matthias Roetting, Felix Wilhelm Siebert	A One-Point Calibration Design for Hybrid Eye Typing Interface.	Int. J. Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
13	Shinjiro Mita, Nayuta Sato, Morio Fujimoto, Shunichi Sugimoto, Taiga Fujimoto, Makoto Ozawa, Hiroki Fukunaga, Zenjiro Mita, Satoru Iwasaki	5 Lanes 5 Fingers Portable Touch-Typing Interface "ParoTone" for Efficient Sensorimotor Learning: Musical Performance Acquisition Much Faster than Piano.	Int. J. Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
13	Andrea Colledan, Ugo Dal Lago	Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version).	CoRR	2023	DBLP DOI BibTeX RDF
13	Yun-Cheng Wang, Xiou Ge, Bin Wang, C.-C. Jay Kuo	AsyncET: Asynchronous Learning for Knowledge Graph Entity Typing with Auxiliary Relations.	CoRR	2023	DBLP DOI BibTeX RDF
13	Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su 0001	Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.	CoRR	2023	DBLP DOI BibTeX RDF
13	Xingyu Fu, Mingze Xi	Typing on Any Surface: A Deep Learning-based Method for Real-Time Keystroke Detection in Augmented Reality.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yongliang Shen 0001, Zeqi Tan, Shuhui Wu, Wenqi Zhang, Rongsheng Zhang, Yadong Xi, Weiming Lu 0001, Yueting Zhuang	PromptNER: Prompt Locating and Typing for Named Entity Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li 0001, Jeff Z. Pan	Multi-view Contrastive Learning for Entity Typing over Knowledge Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
13	Max S. New, Eric Giovannini, Daniel R. Licata	Gradual Typing for Effect Handlers.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tanay Komarlu, Minhao Jiang, Xuan Wang, Jiawei Han 0001	OntoType: Ontology-Guided Zero-Shot Fine-Grained Entity Typing with Weak Supervision from Pre-Trained Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
13	Na Li, Zied Bouraoui, Steven Schockaert	Ultra-Fine Entity Typing with Prior Knowledge about Labels: A Simple Clustering Based Strategy.	CoRR	2023	DBLP DOI BibTeX RDF
13	Innokentiy Kastalskiy, Andrei Yu. Zinovyev, Evgeny M. Mirkes, Victor B. Kazantsev, Alexander N. Gorban	Exploring the impact of social stress on the adaptive dynamics of COVID-19: Typing the behavior of naïve populations faced with epidemics.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mattia Atzeni, Mikhail Plekhanov, Frédéric A. Dreyer, Nora Kassner, Simone Merello, Louis Martin, Nicola Cancedda	Polar Ducks and Where to Find Them: Enhancing Entity Linking with Duck Typing and Polar Box Embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
13	Thiago Felicissimo	A framework for erased syntax and bidirectional typing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Siru Ouyang, Jiaxin Huang 0001, Pranav Pillai, Yunyi Zhang, Yu Zhang 0044, Jiawei Han 0001	Ontology Enrichment for Effective Fine-grained Entity Typing.	CoRR	2023	DBLP DOI BibTeX RDF
13	Minghao Tang, Yongquan He, Yongxiu Xu, Hongbo Xu, Wenyuan Zhang 0002, Yang Lin	Learning to Correct Noisy Labels for Fine-Grained Entity Typing via Co-Prediction Prompt Tuning.	CoRR	2023	DBLP DOI BibTeX RDF
13	Emily Kuang, Ruihuan Chen, Mingming Fan 0001	Enhancing Older Adults' Gesture Typing Experience Using the T9 Keyboard on Small Touchscreen Devices.	CoRR	2023	DBLP DOI BibTeX RDF
13	Akanksha Saran, Jacob Alber, Danielle Bragg, Cyril Zhang, John Langford 0001	Autocalibrating Gaze Tracking: A Demonstration through Gaze Typing.	CoRR	2023	DBLP DOI BibTeX RDF
13	John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi	Dependently Typing R Vectors, Arrays, and Matrices.	CoRR	2023	DBLP DOI BibTeX RDF
13	Julien Richard-Foy	State of structural typing support in Scala 3.3.0.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yanlin Feng, Adithya Pratapa, David R. Mortensen	Calibrated Seq2seq Models for Efficient and Generalizable Ultra-fine Entity Typing.	CoRR	2023	DBLP DOI BibTeX RDF
13	E. Elson	A method of generating bespoke optimised keyboard layouts that significantly reduce typing effort for Twitter users.	CoRR	2023	DBLP DOI BibTeX RDF
13	Hongliang Dai, Ziqian Zeng	From Ultra-Fine to Fine: Fine-tuning Ultra-Fine Entity Typing Models to Fine-grained.	CoRR	2023	DBLP DOI BibTeX RDF
13	Damián Árquez, Matías Toro, Éric Tanter	Gradual Sensitivity Typing.	CoRR	2023	DBLP DOI BibTeX RDF
13	E. S. Romanova, A. K. Novokhrestov, A. A. Konev	Typing of data transfer processes in the information system within the framework of threat modeling.	CoRR	2023	DBLP DOI BibTeX RDF
13	Xiang Hao, Jibin Wu, Jianwei Yu, Chenglin Xu, Kay Chen Tan	Typing to Listen at the Cocktail Party: Text-Guided Target Speaker Extraction.	CoRR	2023	DBLP DOI BibTeX RDF
13	Qiqi Gu, Wei Ke 0001	Typing Composable Coroutines.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zhe Zeng, Xiao Wang, Felix Wilhelm Siebert, Hailong Liu	Enhancing Hybrid Eye Typing Interfaces with Word and Letter Prediction: A Comprehensive Evaluation.	CoRR	2023	DBLP DOI BibTeX RDF
13	Shijia Liu, David A. Smith	Adapting Transformer Language Models for Predictive Typing in Brain-Computer Interfaces.	CoRR	2023	DBLP DOI BibTeX RDF
13	Nikola Kovacevic, Christian Holz 0001, Tobias Günther, Markus Gross 0001, Rafael Wampfler	Personality Trait Recognition Based on Smartphone Typing Characteristics in the Wild.	IEEE Trans. Affect. Comput.	2023	DBLP DOI BibTeX RDF
13	Matthew Mifsud, Tracey A. Camilleri, Kenneth P. Camilleri	HMM-based gesture recognition for eye-swipe typing.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
13	Usman Latif, Alexandra Seifner, Franz L. Dickert	Selective Detection of Erythrocytes with QCMs - ABO Blood Group Typing.	Sensors	2023	DBLP DOI BibTeX RDF
13	Yueyang Wang, Yahui Wang, Xiaoqiong Li, Chengyi Zhao, Ning Ma, Zixuan Guo	A Comparative Study of the Typing Performance of Two Mid-Air Text Input Methods in Virtual Environments.	Sensors	2023	DBLP DOI BibTeX RDF
13	Rajarshi Guha, Barbara Zdrazil, Nina Jeliazkova, Karina Martínez-Mayorga	A look back at a pilot of the citation typing ontology.	J. Cheminformatics	2023	DBLP DOI BibTeX RDF
13	Yixiu Qin, Yizhao Wang, Jiawei Li 0007, Shun Mao, He Wang, Yuncheng Jiang	Improved Box Embeddings for Fine-Grained Entity Typing.	IEEE Trans. Big Data	2023	DBLP DOI BibTeX RDF
13	Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield	Focusing on Refinement Typing.	ACM Trans. Program. Lang. Syst.	2023	DBLP DOI BibTeX RDF
13	Jonathan Chan, Yufeng Li, William J. Bowman	Is sized typing for Coq practical?	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
13	Ai Chen, Aiqing Che	Hemodynamic simulation of artery blood vessel plaque typing and the effect of bifurcation angle on plaque.	ISAIMS	2023	DBLP DOI BibTeX RDF
13	Ben Greenman	GTP Benchmarks for Gradual Typing Performance.	ACM-REP	2023	DBLP DOI BibTeX RDF
13	Chris Porter, Gary Zammit	Blink, Pull, Nudge or Tap? The Impact of Secondary Input Modalities on Eye-Typing Performance.	HCI (48)	2023	DBLP DOI BibTeX RDF
13	Maozheng Zhao, Alec M. Pierce, Ran Tan, Ting Zhang, Tianyi Wang 0004, Tanya R. Jonker, Hrvoje Benko, Aakar Gupta	Gaze Speedup: Eye Gaze Assisted Gesture Typing in Virtual Reality.	IUI	2023	DBLP DOI BibTeX RDF
13	Per Ola Kristensson, Morten Mjelde, Keith Vertanen	Understanding Adoption Barriers to Dwell-Free Eye-Typing: Design Implications from a Qualitative Deployment Study and Computational Simulations.	IUI	2023	DBLP DOI BibTeX RDF
13	Keith Vertanen, Per Ola Kristensson	A Dataset of Noisy Typing on QWERTY Keyboards.	IUI Companion	2023	DBLP DOI BibTeX RDF
13	Alejandro Sierra Múnera, Jan Westphal, Ralf Krestel	Efficient Ultrafine Typing of Named Entities.	JCDL	2023	DBLP DOI BibTeX RDF
13	Wenjie Xu, Lin Chen, Chenghao Su, Yimeng Guo, Yanhui Li, Yuming Zhou, Baowen Xu	How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python.	ICPC	2023	DBLP DOI BibTeX RDF
13	Ke Sun, Sheng Chen, Meng Wang 0002, Dan Hao 0001	What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study.	APLAS	2023	DBLP DOI BibTeX RDF
13	Ruba Fadul, Hessa Alfalahi, Aamna Al Shehhi, Leontios J. Hadjileontiadis	Depressive Disorder Remote Detection through Touchscreen Typing Behaviour.	EMBC	2023	DBLP DOI BibTeX RDF
13	Su-Jin Park, Tae-Ho Lee, Viduranga Munasinghe, Tae-Sung Kim, Hyuk-Jae Lee	Fast Virtual Keyboard Typing Using Vowel Hand Gesture Recognition.	ICEIC	2023	DBLP DOI BibTeX RDF
13	Takehiko Murakawa	LbTyping: A Web Application for Programming Learning by Typing.	IISA	2023	DBLP DOI BibTeX RDF
13	Sven Hertling, Heiko Paulheim	Transformer Based Semantic Relation Typing for Knowledge Graph Integration.	ESWC	2023	DBLP DOI BibTeX RDF
13	Aniqa Riaz, Sara Abdollahi, Simon Gottschalk 0001	Entity Typing with Triples Using Language Models.	ESWC (Satellite Events)	2023	DBLP DOI BibTeX RDF
13	Tianshu Xu, Wen Gu, Koichi Ota, Shinobu Hasegawa	A Low-Jitter Hand Tracking System for Improving Typing Efficiency in Virtual Reality Workspace.	TENCON	2023	DBLP DOI BibTeX RDF
13	Andong Fan, Lionel Parreaux	super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion.	ECOOP	2023	DBLP DOI BibTeX RDF
13	Sung-Shik Jongmans, Francisco Ferreira 0001	Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).	ECOOP	2023	DBLP DOI BibTeX RDF
13	Shiva Upadhye, Richard Futrell	Typing time PWI: A scalable paradigm for studying lexical production.	CogSci	2023	DBLP BibTeX RDF
13	Haoran Luo, Haihong E, Ling Tan, Gengxian Zhou, Tianyu Yao, Kaiyang Wan	DHGE: Dual-View Hyper-Relational Knowledge Graph Embedding for Link Prediction and Entity Typing.	AAAI	2023	DBLP DOI BibTeX RDF
13	Bo Zhou, Yubo Chen 0001, Kang Liu 0001, Jun Zhao 0001	Event Process Typing via Hierarchical Optimal Transport.	AAAI	2023	DBLP DOI BibTeX RDF
13	Aakar Gupta, Naveen Sendhilnathan, Jess Hartcher-O'Brien, Evan Pezent, Hrvoje Benko, Tanya R. Jonker	Investigating Eyes-away Mid-air Typing in Virtual Reality using Squeeze haptics-based Postural Reinforcement.	CHI	2023	DBLP DOI BibTeX RDF
13	Shanqing Cai, Subhashini Venugopalan, Katrin Tomanek, Shaun K. Kane, Meredith Ringel Morris, Richard Cave, Robert L. MacDonald, Jon Campbell, Blair Casey, Emily Kornman, Daniel E. Vance, Jay C. Beavers	SpeakFaster Observer: Long-Term Instrumentation of Eye-Gaze Typing for Measuring AAC Communication.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
13	Zainab Iftikhar, Yumeng Ma, Jeff Huang 0002	"Together but not together": Evaluating Typing Indicators for Interaction-Rich Communication.	CHI	2023	DBLP DOI BibTeX RDF
13	Lorans Alabood, Travis Dow, Kate M. Kaufman, Vikram K. Jaswal, Diwakar Krishnamurthy	Can Cross-Reality Help Nonspeaking Autistic People Transition to AR Typing?	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
13	Emily Kuang, Ruihuan Chen, Mingming Fan 0001	Enhancing Older Adults' Gesture Typing Experience Using the T9 Keyboard on Small Touchscreen Devices.	CHI	2023	DBLP DOI BibTeX RDF
13	Shariff A. M. Faleel, Yishuo Liu, Roya Allison Cody, Bradley Rey, Linghao Du, Jiangyue Yu, Da-Yuan Huang, Pourang Irani, Wei Li 0002	T-Force: Exploring the Use of Typing Force for Three State Virtual Keyboards.	CHI	2023	DBLP DOI BibTeX RDF
13	Aunnoy K. Mutasim, Anil Ufuk Batmaz, Moaaz Hudhud Mughrabi, Wolfgang Stuerzlinger	Does Repeatedly Typing the Same Phrase Provide a Good Estimate of Expert Text Entry Performance?	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
13	Sheng Zhou 0004, Zhe Wang 0001, Kewen Wang 0001, Zhiqiang Zhuang	Zero-Shot Entity Typing in Knowledge Graphs.	DASFAA (Workshops)	2023	DBLP DOI BibTeX RDF
13	Bo Xu 0023, Zhengqi Zhang, Ming Du, Hongya Wang, Hui Song, Yanghua Xiao	Semi-supervised Learning for Fine-Grained Entity Typing with Mixed Label Smoothing and Pseudo Labeling.	DASFAA (3)	2023	DBLP DOI BibTeX RDF
13	Katarzyna Harezlak, Pawel Basek, Pawel Kasprowski	Adaptive dwell time for eye typing.	KES	2023	DBLP DOI BibTeX RDF
13	Nishal P. Shah, Matthew S. Willsey, Nick Hahn, Foram Kamdar, Donald T. Avansino, Leigh R. Hochberg, Krishna V. Shenoy, Jaimie M. Henderson	A brain-computer typing interface using finger movements.	NER	2023	DBLP DOI BibTeX RDF
13	Jelle Bouma, Stijn de Gouw, Sung-Shik Jongmans	Multiparty Session Typing in Java, Deductively.	TACAS (2)	2023	DBLP DOI BibTeX RDF
13	Xinyu Liu, Tiancheng Sun, Diantian Fu, Zijue Li, Sheng Qian, Ruyue Meng, Mayank Kejriwal	Automatic Semantic Typing of Pet E-commerce Products Using Crowdsourced Reviews: An Experimental Study.	KGSWC	2023	DBLP DOI BibTeX RDF
13	Mira Balaban, Michael Kifer, Azzam Maraee	Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
13	Jeremy Chu, Yan Ma, Shumin Zhai, Xianfeng David Gu, Xiaojun Bi 0001	TouchType-GAN: Modeling Touch Typing with Generative Adversarial Network.	UIST	2023	DBLP DOI BibTeX RDF
13	Taejun Kim, Amy Karlson, Aakar Gupta, Tovi Grossman, Jason Wu 0001, Parastoo Abtahi, Christopher Collins 0001, Michael Glueck, Hemant Bhaskar Surale	STAR: Smartphone-analogous Typing in Augmented Reality.	UIST	2023	DBLP DOI BibTeX RDF
13	Yanlin Feng, Adithya Pratapa, David R. Mortensen	Calibrated Seq2seq Models for Efficient and Generalizable Ultra-fine Entity Typing.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
13	Minghao Tang, Yongquan He, Yongxiu Xu, Hongbo Xu, Wenyuan Zhang 0002, Yang Lin	Learning to Correct Noisy Labels for Fine-Grained Entity Typing via Co-Prediction Prompt Tuning.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
13	Zhiwei Hu, Víctor Gutiérrez-Basulto, Zhiliang Xiang, Ru Li 0001, Jeff Z. Pan	Multi-view Contrastive Learning for Entity Typing over Knowledge Graphs.	EMNLP	2023	DBLP DOI BibTeX RDF
13	Mattia Atzeni, Mikhail Plekhanov, Frédéric A. Dreyer, Nora Kassner, Simone Merello, Louis Martin, Nicola Cancedda	Polar Ducks and Where to Find Them: Enhancing Entity Linking with Duck Typing and Polar Box Embeddings.	EMNLP	2023	DBLP DOI BibTeX RDF
13	Ying Zhang, Wenbo Fan, Kehui Song, Yu Zhao, Xuhui Sui, Xiaojie Yuan	Incorporating Object-Level Visual Context for Multimodal Fine-Grained Entity Typing.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
13	Na Li, Zied Bouraoui, Steven Schockaert	Ultra-Fine Entity Typing with Prior Knowledge about Labels: A Simple Clustering Based Strategy.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
13	Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean	Typing High-Speed Cryptography against Spectre v1.	SP	2023	DBLP DOI BibTeX RDF