Programs & Data (2nd Workshop)
The first day (2022.02.09.(Wed))
Milestone Programs
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | 와글와글 ERC, 절체절명 메모리반도체, 요놈봐라 기계학습 [ ] |
초청 강연 |
이광근 | 서울대 |
| 2 | JavaScript Static Analysis for Evolving Language Specifications [] |
연구 발표 |
박지혁 | KAIST |
| 3 | 로그분석 관련 연구 마일스톤 발표 | 연구 발표 |
탁병철 | 경북대 |
| 4 | 코드 변화를 고려한 효율적인 Continuous Fuzzing | 연구 발표 |
홍신 | 한동대 |
| 5 | Learning-based Mutant Reduction for Debugging [] |
연구 발표 |
김윤호 | 한양대 |
| 6 | 무지개연구소 기업 소개 / 현실화 되고 있는 무인이동체 시대를 이끌어가는 기술 | 기업 발표 |
대표 김용덕 | 무지개연구소 |
| 7 | 슈어소프트 기업 소개 / 슈어소프트 SW 안전 검증 핵심 기술 |
기업 발표 |
팀장 한준수, 부사장 오승욱 |
슈어소프트 테크 |
| 8 | 우리나라 공공안전 IT서비스의 현재와 미래 | 기업 발표 |
이사 백두현 | 위니텍 |
The second day (2022.02.10.(Thu))
Milestone Programs
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | FormalWorks: A case study on formal verification of smart contract for financial block chain | 기업 발표 |
박사 정세훈 | 포멀웍스 |
| 2 | V+Lab: AI를 활용한 저비용 고효율 SW 자동 테스팅 도구 CROWN 2.0 | 기업 발표 |
김문주 | 브이플러스랩 |
| 3 | 동적 데이터 기반 SW유닛들 사이의 관련도 메트릭 정의 [ ] |
연구 발표 |
김문주 | KAIST |
| 4 | 다중작업 내장형 제어소프트웨어를 위한 속성 검증 자동화 [] |
연구 발표 |
최윤자 | 경북대 |
| 5 | OS-in-the-Loop CEGAR for the verification of multitasking embedded control software [] |
연구 발표 |
김동우 | 경북대 |
| 6 | 배터리 관리 패러다임 전환: BMS-as-a-Service 기반의 배터리 진단 [] |
초청 강연 |
한세경 | 경북대 |
| 7 | 재난 ICT 연구 동향 [] |
연구 발표 |
권영우 | 경북대 |
| 8 | 논리 기반 정형 명세 및 모델 검증 [] |
연구 발표 |
배경민 | POSTECH |
| 9 | STL 모델 검증 및 응용 [] |
연구 발표 |
이지아 | POSTECH |
| 10 | 한양대학교 프로그램 합성 및 분석 연구 [] |
연구 발표 |
이우석 | 한양대 |
| 11 | 정적 분석과 데이터를 활용한 오류 검출: 보편적 오류와 특수한 오류 [] |
연구 발표 |
허기홍 | KAIST |
| 12 | BayeSmith: 정적 분석 알람을 위한 확률 모델 학습 [] |
연구 발표 |
김현수 | KAIST |
| 13 | 버그 탐정 트레이서: 반복되는 오류 탐지 시스템 [] |
연구 발표 |
강우석 | KAIST |
Researcher Programs (A.M)
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | SmartFix: Effectively Fixing Vulnerable Smart Contracts by Guiding Generate-and-Verify Repair with Statistical Models | 학생 발표 |
소순범 | 고려대 |
| 2 | FOCAL++: Scalable Synthesis of System Tests based on Unit Tests | 학생 발표 |
이아청 | KAIST |
| 3 | 안전한 프로그램 최적화 프레임워크들에 대한 조사 | 학생 발표 |
박지희 | KAIST |
| 4 | Translating C Mutex to Rust Mutex | 학생 발표 |
홍재민 | KAIST |
| 5 | DoTeLink: Javadoc 요구사항과 JUnit Test Code의 세밀한 연결 | 학생 발표 |
김지웅 | 한동대 |
| 6 | 재난 빅데이터를 활용한 대형복합재난 탐지 연구 | 학생 발표 |
김선형 | 경북대 |
| 7 | 다양한 엣지 컴퓨팅의 실행 환경을 고려한 프로파일링 기반의 서비스 할당 기법 | 학생 발표 |
마니쉬판데이 | 경북대 |
| 8 | Unsat configuration을 활용한 Neural Network 검증 | 학생 발표 |
채승현 | POSTECH |
| 9 | 로그 기반의 Root cause analysis | 학생 발표 |
김유양 | 경북대 |
| 10 | 사용 시나리오 기반 안드로이드 데모 앱 자동 생성 | 학생 발표 |
이제형 | 한양대 |
| 11 | Quantum Circuit Synthesis with User Defined Component Gates | 학생 발표 |
강찬구 | 고려대 |
| 12 | Automatic Test Case Generation to Discover Java NPE | 학생 발표 |
박지성 | 고려대 |
| 13 | 초소형 가속도 센서를 활용한 지진조기경보 시스템 소개 | 학생 발표 |
이장수 | 경북대 |
| 14 | 멀티태스크 임베디드 소프트웨어에 대한 OS-in-the-Loop 동적 심볼릭 테스트 | 학생 발표 |
박효빈 | 경북대 |
Researcher Programs (P.M)
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | Formal Analysis of Virtually Synchronous CPS using HybridSynchAADL | 학생 발표 |
이재훈 | POSTECH |
| 2 | 코드의 변신은 유죄! 코드 변화 분석 기반 결함 위치추정 | 학생 발표 |
박종찬,김재호,김태은 | KAIST |
| 3 | Automated Code Transformation for Distributed Training of TensorFlow ML Models | 학생 발표 |
심유성 | KAIST |
| 4 | 클러스터링 기반의 비정상 데이터 탐지 기법 | 학생 발표 |
신주용 | 경북대 |
| 5 | 그래프 합성곱 신경망을 활용한 취약점 탐지 | 학생 발표 |
최유라 | 경북대 |
| 6 | 재귀호출이 있는 프로그램 합성하기 | 학생 발표 |
조한결 | 한양대 |
| 7 | Identifying Incorrect Patches for Testcase Based Automatic Program Repair via Static Analysis | 학생 발표 |
송도원 | 고려대 |
| 8 | PyTER: Python TypeError Repair via Type-Aware Generation | 학생 발표 |
오원석 | 고려대 |
| 9 | Rewriting modulo SMT 및 오류패턴 기반 모델 검증 | 학생 발표 |
류근열 | POSTECH |
| 10 | 프로그램 합성 기법을 이용한 임베디드 소프트웨어의 모델 검증 효율성 향상 및 코드 종속성 분석을 통한 오탐 필터링 기법 | 학생 발표 |
김요엘 | 경북대 |
| 11 | 버그 탐정 트레이서: 반복되는 오류 탐지 시스템 | 학생 발표 |
강우석 | KAIST |
| 12 | BayeSmith: 정적 분석 알람을 위한 확률 모델 학습 | 학생 발표 |
김현수 | KAIST |
| 13 | FL4APR: Detailed Fault Localization for Automatic Program Repair | 학생 발표 |
홍성준 | 고려대 |
| 14 | Mobius : A Blackbox Hybrid Fuzzer for Detecting Bugs in Arithmetic SMT solvers | 학생 발표 |
김종욱 | 고려대 |
The closing day (2022.02.11.(Fri))
Milestone Programs
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | Tracking patches that fix bugs found by static bug finders [] |
연구 발표 |
김동선 | 경북대 |
| 2 | 고려대학교 프로그램 자동 수정 연구 소개 [] |
연구 발표 |
오학주 | 고려대 |
| 3 | Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs [] |
연구 발표 |
전민석 | 고려대 |
| 4 | NPEX: Fixing Null Pointer Exception Without Tests [] |
연구 발표 |
이준희 | 고려대 |
| 5 | Context-aware and data-driven feedback generation for programming assignments [] |
연구 발표 |
송도원 | 고려대 |
| 6 | FAngelix, Verifix, and Poracle [] |
연구 발표 |
이주용 | UNIST |
Researcher Programs (A.M)
| 순번 | 제목 | 구분 | 발표자 | 소속 |
| 1 | Datalog Static Analysis in Secrecy | 학생 발표 |
모즈간 코운에스타니 |
한양대 |
| 2 | N2Py: Natural Language to Python Program with Cooperation of Machine Learning and Programming Language | 학생 발표 |
이석현 | 고려대 |
| 3 | Programmable 사이버물리시스템의 Rewriting 기반 모델 검증 | 학생 발표 |
이재서 | POSTECH |
| 4 | Abstraction 기반 DNN 검증 방법 | 학생 발표 |
연주은 | POSTECH |
| 5 | Turbo-TV: V8 Turbofan JIT 컴파일러의 번역 검산 | 학생 발표 |
권승완,강우석 | KAIST |
| 6 | 사용 시나리오 기반 안드로이드 데모 앱 자동 생성 | 학생 발표 |
이제형 | 한양대 |
| 7 | A Programming Language-Based Approach to Machine Learning on Graphs | 학생 발표 |
전민석 | 고려대 |
| 8 | 너에게로 가는 길: 정적 분석을 통한 지향성 퍼징 | 학생 발표 |
김태은 | KAIST |
| 9 | 반복되는 오류의 패치 자동 이식 | 학생 발표 |
김현수 | KAIST |
| 10 | Cooperative Verification and Refutation Algorithm for Tezos Smart Contracts | 학생 발표 |
변지석 | 고려대 |
| 11 | Reducing Unnecessary Input Generation with Derivation Pruning while Fuzzing | 학생 발표 |
서윤지 | 고려대 |
| 12 | SeamFuzz: Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzer | 학생 발표 |
이명호 | 고려대 |