Sign In

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Alexander Du, Jianjun Ou, Danyang Zhuo, Matthew Lentz

πŸ’‘ κ°œμš”

λ³Έ 논문은 μ½”λ“œ 생성 μ‹œ λ°œμƒν•˜λŠ” 컴파일 였λ₯˜ 문제λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•œ Hydra μ‹œμŠ€ν…œμ„ μ œμ•ˆν•©λ‹ˆλ‹€. HydraλŠ” 비동기적 검사와 체크포인트 및 λ‘€λ°± κΈ°λŠ₯을 톡해 였λ₯˜ λ°œμƒ μ‹œ 효율적인 볡ꡬλ₯Ό μ§€μ›ν•˜λ©°, 이λ₯Ό 톡해 생성 μ§€μ—° μ‹œκ°„κ³Ό 토큰 μ†ŒλΉ„λŸ‰μ„ 크게 μ€„μž…λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
μ½”λ“œ 생성 κ³Όμ •μ—μ„œ λ°œμƒν•˜λŠ” 정적 였λ₯˜λ₯Ό μ‹€μ‹œκ°„μœΌλ‘œ 효율적으둜 λ³΅κ΅¬ν•˜μ—¬ 완성도 높은 μ½”λ“œ 생성을 κ°€λŠ₯ν•˜κ²Œ ν•©λ‹ˆλ‹€.
β€’
κΈ°μ‘΄ 방식 λŒ€λΉ„ 생성 μ§€μ—° μ‹œκ°„κ³Ό 토큰 μ†ŒλΉ„λŸ‰μ„ 획기적으둜 κ°μ†Œμ‹œμΌœ μ‹€μ œ μ„œλΉ„μŠ€ 적용 κ°€λŠ₯성을 λ†’μ˜€μŠ΅λ‹ˆλ‹€.
β€’
C/C++ 컴파일러λ₯Ό μˆ˜μ •ν•˜μ—¬ Hydra μ‹œμŠ€ν…œμ„ μ μš©ν•˜μ˜€κΈ°μ—, λ‹€λ₯Έ ν”„λ‘œκ·Έλž˜λ° μ–Έμ–΄λ‘œμ˜ ν™•μž₯성을 κ³ λ €ν•΄μ•Ό ν•©λ‹ˆλ‹€.
πŸ‘