| 2010-01-07 | The 3rd ROSAEC Center Workshop
ROSAEC members , ROSAEC Center |
|---|
| 2010-01-05 | The Linear Temporal Logic of Rewriting Model Checker in Maude
Kyungmin Bae , Univ. of Illinois at Urbana-Champaign [talk slide] |
|---|
| 2009-12-23 | Constrained Environment Inference for Verification of Multi-Threaded Programs
Corneliu Popeea , Max Plank Institute for Software Systems |
|---|
| 2009-12-22 | Local Reasoning for Read-Copy-Update
Hongseok Yang , Queen Mary, Univ. of London [talk slide] |
|---|
| 2009-12-16 | Types and Recursion Schemes for Higher-Order Program Verification
Naoki Kobayashi , Tohoku University [talk slide] |
|---|
| 2009-12-15 | The Twilight Zone: from testing to formal specifications and back again
Koen Claessen , Chalmers University of Technology, Gothenburg, Sweden [talk slide] |
|---|
| 2009-12-14 | The Sketching Approach to Program Synthesis
Armando Solar-Lezama , Massachusetts Institute of Technology [talk slide] |
|---|
| 2009-12-13 | Parallel Programming in Fortress
Sukyoung Ryu , Computer Science, KAIST [talk slide 1/talk slide 2] |
|---|
| 2009-12-13 | Separation Logic from the Perspective of Program Analysis
Hongseok Yang , Queen Mary, University of London [talk slide 1/talk slide 2] |
|---|
| 2009-11-06 | Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Keiko Nakata , Tallinn University of Technology [talk slide] |
|---|
| 2009-10-29 | An Evolution-Centric Perspective on Software Testing
Gregg Rothermel , University of Nebraska-Lincoln [talk slide] |
|---|
| 2009-10-29 | Automated Verification via Separation Logic
Cristina David , National University of Singapore [talk slide] |
|---|
| 2009-10-14 | Logical Relations and Compositional Compiler Correctness
Chung-Kil Hur , University of Cambridge [talk slide] |
|---|
| 2009-09-08 | Type Checking Program Generators Using the Record Calculus
Tankut Baris Aktemur , Ozyegin University, Turkey [talk slide] |
|---|
| 2009-09-05 | Deriving Invariants by Algorithmic Learning,
Decision Procedures, and Predicate Abstraction
Bow-Yaw Wang , Institute of Information Science, Academia Sinica [talk slide] |
|---|
| 2009-09-05 | Comparative Study on Software Model Checkers as Unit Testing Tools based on an Industrial Case Study
Moonzoo Kim , Computer Science, KAIST [talk slide] |
|---|
| 2009-08-31 | Survey Workshop on Corpus-based Shape Analysis
ROPAS Members, Research on Corpus-based Shape Analysis , SNU |
|---|
| 2009-08-31 | Components and Static analysis
Bruno Oliveira , ROSAEC Center [talk slide] |
|---|
| 2009-07-30 | Approximate Inference: Decomposition Methods with Applications to Computer Vision
Kyomin Jung , Computer Science, KAIST [talk slide] |
|---|
| 2009-07-09 | The 2nd ROSAEC Center Workshop
ROSAEC members , ROSAEC Center |
|---|
| 2009-07-08 | A Brief Overview Assume-Guarantee Reasoning via Learning
Bow-Yaw Wang , Institute of Information Science, Academia Sinica [talk slide] |
|---|
| 2009-06-19 | Interactive proving and programming in Coq
Hugo Herbelin , INRIA [talk slide] |
|---|
| 2009-06-02 | WYSINWYX: What You See Is Not What You eXecute
Gogul Balakrishnan ,
NEC Laboratories America, Inc.
[talk slide] |
|---|
| 2009-05-12 | Bi-abductive inference for reasoning about heaps
Peter O'Hearn , Queen Mary, University of London [talk slide] |
|---|
| 2009-05-11 | From Separation Logic to Systems Code
Peter O'Hearn , Queen Mary, University of London [talk slide] |
|---|
| 2009-04-30 | Symbolic Model Checking Property Specification Language
Ji Wang , National University of Defense Technology [talk slide] |
|---|
| 2009-04-17 | 소형무인헬기용 임베디드 소프트웨어의 구조와 적용
김두현 , 건국대학교 인터넷미디어공학부 [talk slide] |
|---|
| 2009-04-10 | Relationship between Curry-Howard-correspondence and semantics
Gyesik Lee , ROSAEC Center [talk slide] |
|---|
| 2009-02-13 | Survey Workshop on Static Analysis of Binary Code
MES Lab. Members , SNU |
|---|
| 2009-02-04 | Survey Workshop on Static Analysis for Malware Detection
SE Lab. Members , SNU |
|---|
| 2009-01-21 | Domain-Specific Abstract Interpretations : Experience Reports
Jerome Feret , INRIA/ENS/CNRS, France [speaker's page] |
|---|
| 2009-01-17 | Survey Workshop on Class Analysis
ROPAS Members, Research On Program Analysis System , SNU |
|---|
| 2009-01-14 | P2P Botnet Enumeration and Banking Trojan Crimwares
Byung-Hoon Kang , University of North Carolina at Charlotte [talk slide/paper] |
|---|
| 2008-12-30 | Randomized Active Testing for Concurrent Programs
Chang-Seo Park , UC Berkeley [talk slide] |
|---|
| 2008-12-24 | Shared Subtypes : Subtyping recursive parameterized algebraic data types
Ki-Yung Ahn , Portland State University [talk slide] |
|---|
| 2008-12-12 | Alleviating False Alarm Problem of Static Buffer Overflow Analysis
Youil Kim , KAIST [talk slide] |
|---|
| 2008-11-21 | ROSAEC Center Kick-off Workshop
ROSAEC members , ROSAEC Center |
|---|
| 2008-11-19 | Destabilization of Adversarial Organizations with Strategic Interventions: Computational Organization Theory Approach
Il-Chul Moon , KAIST [talk slide] |
|---|
| 2008-11-17 | Analyzing and Inferring the Structure of Code Changes
Miryung Kim , University of Texas, Austin [talk slide] |
|---|
| 2008-10-01 | Statistical Machine Translation
Changbum Park , Seoul National University [talk slide] |
|---|
| 2008-09-30 | Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software
Patrick Cousot , Ecole Normale Superieure, Paris [talk slide] |
|---|
