Shaukat Ali's Avatar

Shaukat Ali

@shukat-ali.bsky.social

74 Followers  |  65 Following  |  3 Posts  |  Joined: 17.11.2024  |  1.5693

Latest posts by shukat-ali.bsky.social on Bluesky

Preview
MODELS 2025 - Research Papers - MODELS 2025 About MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applicati...

MODELS 2025's foundation and practice track deadline is approaching soon:
Abstract: March 27; Full paper: April 3 (AoE)
conf.researchr.org/track/models...
Looking forward to your submissions! @modelsconf.bsky.social

14.03.2025 01:42 โ€” ๐Ÿ‘ 7    ๐Ÿ” 5    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Congratulations to Asmar Muqeet for getting his paper: "QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation," accepted at IEEE Software. It is a very practical and useful error mitigation tool for quantum software engineering

17.01.2025 20:02 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilistic outputs from expon...

Noah Oldfield just had his first PhD paper "Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements" accepted in ACM TOSEM. Wuhu, very well done ๐Ÿ™Œ๐ŸŽ‰๐Ÿ’ช๐Ÿ”ฅ (with @shukat-ali.bsky.social and Tao, @simularesearch.bsky.social)

doi.org/10.48550/arX...

30.12.2024 16:31 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Congratulations to Hassan Sartaj on getting his paper accepted at TOSEM, MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning. This is cool and fun work done with Oslo City!

03.12.2024 13:04 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@shukat-ali is following 20 prominent accounts