|
|
Welcome to my Web site!
 | Computational Logic and Artificial Intelligence |
| Optimization and Implementation of Programming Languages
|
| Parallel and Distributed Processing |
| Software Testing and Formal Methods |
|
Fall 2013
| Data
Structures and Algorithms |
|
Master Students (Graduated)
|
|
Songqing Liu (2013): Software Fault Detection via Grammar-based Test Case Generation
|
|
|
Sayan Sen (2013): Probabilistic Symbolic Production Grammar for Automatic Test Generation
|
|
|
Anup Niroula (2012): Smart Spreadsheet in Java
|
|
|
Wen Zheng (2009, CSG
Systems): Consistency
checking for LSC specifications |
|
|
Ezana N. Beyenne (2007,
DTN): Spreadsheet computing with finite domain constraint enhancements |
|
|
Miao Liu (2006, Northern
Natural Gas): Logic proramming with solution preferences, A declarative method. |
|
Recent Activities
| Workshop Chair:
30th International Conference on Logic Programming (ICLP), Vienna, July 19-22, 2014 |
| PC member:
23rd International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, September 18-20, 2013 |
| PC member:
28th International Conference on Logic Programming, BUDAPEST, HUNGARY, September 4-8, 2012 |
| PC member:
The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, 4-6 July 2012, Beijing, China |
| PC member:
PC member: The 26th International Conference on Logic Programming, Edinburgh, July 16-19, 2010 |
| PC member:
the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM), Madrid, Spain, Jan 20-22, 2010 |
| PC member:
Twelfth International Symposium on Practical Aspects of Declarative Languages, Madrid, Spain, Jan 18-19, 2010 |
| PC member:
Workshop on Declarative Aspects of Multicore Programming (DAMP), Madrid, Spain, Jan 20-22, 2010 |
|
|
