Xiaokang Qiu先生講演(5/8 10:00~11:00 @早稲田大学)

[Tachio Terauchi]

皆さま、

5月8日(木)に早稲田大学にてPurdue大学のXiaokang Qiu先生によるご講演があります。

詳細は下記の通りです。

よろしければぜひご参加ください。

-----

日時： 5月8日(木) 10:00～11:00

場所： 早稲田大学 西早稲田キャンパス 55号館N棟 2階212室(行き方は下記参照)

https://www.waseda.jp/top/access/nishiwaseda-campus
https://waseda.app.box.com/s/busv8ewkmi6mq7fq6bdei7fegqa9d4w3

Title: DryadSynth: Advancing Program Synthesis through Hybrid Techniques

Abstract: This talk introduces DryadSynth, a state-of-the-art, open-source Syntax-Guided Synthesis (SyGuS) solver developed by my group that tackles the scalability challenges of automated program generation in multiple domains including integer arithmetic, bit-vector, and string. DryadSynth's core innovation lies in its synergistic reconciliation of enumerative search and deductive synthesis techniques. Throughout its development, DryadSynth has demonstrated the power of combining search and deduction, augmented with domain-specific specializations and concurrency, to push the frontiers of solving diverse and challenging synthesis problems.

Bio: Xiaokang Qiu is an Associate Professor with the Elmore Family School of Electrical and Computer Engineering at Purdue University. He finished his Ph.D. in Computer Science at the University of Illinois at Urbana-Champaign in 2013. Before starting at Purdue, he was a postdoctoral associate at the Massachusetts Institute of Technology. He also held visiting positions at Microsoft Research and Seoul National University. His current research interests lie in the algorithmic aspects of software verification and synthesis, and their applications. He is a member of the Purdue Center for Programming Principles and Software Systems (PurPL) and leads the Computer-Aided Programming (CAP) group at Purdue. He received a Seed for Success award from Purdue University (2020), an NSF CAREER award (2021) and an U.S. Air Force summer faculty fellowship (2022). He is a senior member of ACM and IEEE.

----

寺内

[Tachio Terauchi]

皆さま、

こちらの講演は明日開催されますので、改めてご案内いたします。

どうぞよろしくお願いいたします。

寺内