index.html

---
# You don't need to edit this file, it's empty on purpose.
# Edit theme's home layout instead if you wanna make some changes
# See: https://jekyllrb.com/docs/themes/#overriding-theme-defaults
layout: home
author_profile: true
---

<h1> Welcome to Prosys Lab </h1>

Our research aims to develop next-generation programming systems for secure and reliable software.
We are building real-world software systems including AI-based program analysis systems for detecting deep semantic software bugs,
general-purpose program simplification systems for secure and efficient software,
scalable program synthesis systems for automatic software generation and repair.
For more detailed information, please see <a href="research">research</a> and <a href="publications/">publications</a>.

<script src="https://cdn.jsdelivr.net/npm/publicalbum@latest/embed-ui.min.js" async></script>
<div class="pa-carousel-widget" style="width:100%; height:480px; display:none;" data-link="https://photos.app.goo.gl/5XcPXLxbusHNiQxS9" data-title="Prosys Lab" data-description="13 new items added to shared album" data-delay="2" data-background-color="#ffffff">
  <object data="https://lh3.googleusercontent.com/pw/AP1GczNwFv6uoYr9Y9Aa1HTgwteDqQef4RbHFKRUMUW9TgW13KEwgeUUa5lXLxL2P8C8szUaK052LHGlaMvQ7rJsoxrPpw3LohQvifEdyFLYZ-EWX69QUYJw28J2KY3MhL0ZkIkJwWIVSdS5NnVYJZsCb6Vb=w1920-h1440-s-no?authuser=0"></object>
  <object data="https://lh3.googleusercontent.com/pw/AP1GczNl2fY8b2tOiaOXVAl8zCW7K9XGpODqCHkOvsfba9yyLgZsT_Z07jdc-_Dm_XUI-tVK-X0fNI09iO0j32EDVhau_a44_EmLMdEmXQ0ob-ZJ1zeqn_PXMvt3GRr0Nzetv7sHzzOsdbM36B4FNc_tO0Rf=w1920-h1440-s-no?authuser=0"></object>
  <object data="https://lh3.googleusercontent.com/pw/AP1GczMQFDPZs4rUm6Vi3z93wP3Y9ZbhevPXLaMwkS1tmXA2TNITrRGCl5zjHBEFQBKJl_bwtJ2LmUiuyDI-2233Ut9IHjcW8rjxvrN4X54FrjJWYpjibtxdtRFZQZJyZzGcW7pjgIt21GMkSBR8feAN4sC2=w1920-h1440-s-no?authuser=0"></object>
  <object data="https://lh3.googleusercontent.com/pw/AP1GczORIoY85MRcisCT1jmg5GLq81RZDM9pILNYpoAdnQbuv5ukeOGQlRUftVv2HU5rackK3R_LDH_lLi5CEB4uGQ9VSZrVxm6gFo_wqkBjHlywbf3j8RNDzyUrof4wipLbLT1F2qj7ZzN7W8Ras8FsBfde=w1920-h1440-s-no?authuser=0"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV8795y0ACfZZdnw1un7sCooyLbKaczQImaRLtpCM-0VlSnvRvDpACCbxVxvfkB-JEi8cqOZ2TWfM1Nq-iTDrvNl9XSJQY0AexqWRy_TaSqtzY0Ves8A=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV87uuMnITl6ftiKTKxSpWEkCZHbAr1fRg62a8cjg0oLOaoJ5yuNwkTWQLXJy3oQv3_kWcv02BlrFfbkr7jxuO1nkqfrlFChUh88IGC6sbjfAW9EKTbE=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV86QRQWX2ojWY9ne2W9a3KTWTxtGMRY5_FBKY4IwAyJj6MoFOsX2Te-iZn7u7k6HTo9c38bBrfZwCNedGt9k5lEy5xDOTmTRnN-3P519221kT0QVYtU=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV85iYsG-c3mmqjQZOsPI9tAl08btPAG6GfK-V5wfbJS8Qdy1UyQ4hTNsov9lvUA0d3MeOwJQQaI9TlkATvHYQQw7fttVAMe_y0crqbJBBpsOtK8y-k8=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV86RMKTozOQcy60ifVdjMY33mlo9gsH2M-9joz79itH2MZDCNtibTOXQo6V73XYhvuPdeJVmGw3w4lfwhUZHGrGpshXlMuUrHHaKFMFtqC9Bn52jTQc=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV86ZxHa3eLF13VnOLAT9ITr6iOVfvBuF6Sh9EVP4PK3o8i45WZkMk-wBxmfvjr411Rf3rK6jwrhiWz9qQSXDezVv3M69mW3k2LiXqDw1reoS4HsXXEA=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV85GeMqjisC52aa9-Jz_tcPbaA0vmfYR98BmKBF2eezhj2D7A4yq2PiFU9yEOaz_o-eUqXlVj1x8fL_dQdi0_Rc-HHYmcgNnZdbk4RjRhQuwSrRI0_A=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV860qDfEyY5jA8QD_ArX1yvAxXSb7P6Fb1xLfsXBL8w2hASBlIpxs9KD7bFHqyorU_rmteBPJ2UEX-uTIeRdWCpNcJNZ9iRgyfGCPsvcSaDI_D7sX-8=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV84lrKK1nxDbYIhdlGCyI2gfvP-i2SLpAScRIYn7eeaMyyX5LiggegCC6VywD27pH-TMsZGSvLJcaLSNbE-gxjlnczNNZ5E-wDmmzeG2sOsjCgBVLIo=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV86IF_vSxCtFLS8z1rj3nsSnk_OKSeQBBcVDJRMONqrAB2rNEHjiyD2rV7efY4w7uQq8u9LQivHEFYaKb9HM3ANKFOaqQl62tXU_NaqFKjxeaMmEaqQ=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV84CuqfVBZApZTZkkNTYtMp4M0l7Bwg-Ev21lXZiG9ArgD94QwGENAWBgd9xISAAVNoL-Z636g9d5szhRq6DoNvatBITzAsKPIBvU8RgutqMmTAgWlk=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV86CZqbXTe1TQPtkLkE7qCrY5R_gXUWYqMhKWneOVQdBht9V2zej7ntlXQjcH4SyJT1L2Ir47f4atzdE15tJwuLbLlkhwrOeqCb4lNkxYVnpLRLZOQI=w1920-h1080"></object>
  <object data="https://lh3.googleusercontent.com/pw/ABLVV85mcUrrl-DMSw4RfyuV57I8L4FUShcO5b46wOERaxW-1jcxFnVPiVg6gSd-mS3ik82UVLZUVCiUEARMiMLLxpbuc8NC9IA8wRr8CM4cDF3J8gVztWU=w1920-h1080"></object>
</div>

{% include video id="Nm0LlEeCux4" provider="youtube" %}
{% include video id="2bDh0bWBEd4" provider="youtube" %}

<h2 class="archive__subtitle">Contact</h2>
<div class="page__content">
  Programming Systems Laboratory, KAIST<br>
  Bldg N4, Rm 1424<br>
  291 Daehak-ro Yuseong-gu<br>
  Daejeon 34141, Korea
</div>