Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Maria Garcia de la Banda

Maria Garcia de la Banda

Phone: (+61-3) 9905 5777
Fax: (+61-3) 9905 5146
Office: 151, Building 75, Clayton
e-mail: <mbanda@mail.csse.monash.edu.au>
h-mail: School of Computer Science and Software Engineering, Monash University, Clayton Vic 3800, Australia.

Statement for my nomination to the Association of Logic Programming

I hate statements. They make me feel like a politician, and considering the average politician at the recent Australian elections, that's not a good feeling. However, I have to admit that having to prepare this statement made me stop and think hard about issues such as the LP future, its relationship with the ALP association, and my role in all this. As a result, I would like to focus on two points:

First, I would like to bring the ALP closer to its community. I don't know about others but I don't feel particularly close to it, and have no idea what the ALP executive committee (EC) exactly does, discusses, funds, etc. There are many ways in which such aim can be achieved. For example, I would like to see the ALP having a permanent section in the LP newsletter with reports on the latest decisions, new programs, etc. As another example, it would be good to have a way for people to give suggestions either through an EC member, through a section in the LP newsletter, or similar. And another one, having the minutes of ALP meetings not only in the LP newsletter (too late) but also in some section of the ALP web page (I, for example, would like to know now what exactly was decided regarding the issue of voluntary membership which I am told was discussed in St Malo).
Second, I would like to see ICLP becoming again a strong conference. I was recently telling a biology colleague that ICLP was the best conference in LP, when he asked me how many papers were submitted in 2004. 70 was not the number he was expecting (nor the one I would have liked to give him). The new doctoral program can be a significant step in that direction, and we must ensure it has the support required to succeed. However, other steps are needed. I know this is not going to gain me any votes but I feel it is important to stop having so many small relatively low-regarded LP-related conferences and go back to a model in which there are two big well-attended annual conferences (like the ICLP/ILPS times). Of course, issues like having well defined streams (even with their own Chairs?) for well-established areas or for things like applications, will have to be discussed in detail. Yes, this is going to be very difficult (and very controversial) but I do believe it would benefit our community.

Position: Senior Lecturer

I am currently a Senior Lecturer at Monash University
Previously I spent 6 years enjoying post-doc life as a Logan Research Fellow at Monash University
Before that I spent 2 years as a research fellow at both Monash and the University of Melbourne
And even before, I spent 4 years doing my PhD and having fun at the Clip Lab

Research Topics of Interest

I am part of the Optimization and Constraint Solving research group with particular interests in:

Constraint Logic Programming Languages
Program Analysis, Compilers
BioInformatics
Parallelism and Automatic Parallelization

Current Projects

HAL: a programming language for solving complex combinatorial problems. Funded by a Large 2000-2003 ARC grant and Discovery 2003-2005 ARC project.
PoPS: a software tool that models the specificity of any protease by allowing the user to characterise important parameters of this interaction.
SingleAminoacidRepeats: a software tool for the study of single amino acid repeats in proteins.

Current Teaching

CSE3322 Programming Languages and Implementation
CSE5340 Programming Language Concepts and Semantics

Conferences I am currently involved in

Publications

G. J. Duck, M. Garcia de la Banda and P. J. Stuckey. Compiling Ask Constraints. In Twentieth International Conference on Logic Programming- ICLP'2004, LNCS, Vol 3132, pages 105-119, France 2004.
G. J. Duck, P. J. Stuckey, M. Garcia de la Banda and C. Holzbaur.In Twentieth International Conference on Logic Programming- ICLP'2004, LNCS, Vol 3132, pages 90-104, France 2004.
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, D. Overton, and P.J. Stuckey. Herbrand Constraints in HAL. Program Development in Computational Logic. LNCS, Vol 3049, pages 499-538, 2004.
G. Puebla, J. Correas, M. V. Hermenegildo, F. Bueno, M. Garcia de la Banda, K. Marriott and P. J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs.Program Development in Computational Logic. LNCS, Vol 3049, pages 233-260, 2004.
S. E. Boyd, M. Garcia de la Banda, R. N. Pike, J. C. Whisstock and G. B. Rudy. PoPS: A Computational Tool for Modeling and Predicting Protease Specificity. In IEEE Computational Systems Bioinformatics Conference (CSB 2004). IEEE Computer Society Press, pages 372-381, USA 2004.
C. Holzbaur, M. Garcia de la Banda, P.J. Stuckey, and G.J. Duck. Optimizing Compilation of Constraint Handling Rules. Theory and Practice of Logic Programming. Cambridge University Press. To appear in 2004.
F. Bueno and M. Garcia de la Banda. Set-sharing is not always redundant for pair-sharing.In International Symposium on Functional and Logic Programming- FLOPS 2004, LNCS, Vol 2998, pages 117-131, Japan 2004.
M. Garcia de la Banda, P.J. Stuckey, and J. Wazny. Finding all minimal unsatisfiable subsets. In ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming- PPDP'2003, ACM, pages 32-43, Sweden 2003.
G.J. Duck, P.J. Stuckey, M. Garcia de la Banda, and C. Holzbaur. Extending arbitrary solvers with constraint handling rules. In ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming- PPDP'2003, ACM, pages 79-90, Sweden 2003.
M. Cameron, M. Garcia de la Banda, K. Marriott, and P. Moulder. Vimer: a visual debugger for Mercury. In ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming- PPDP'2003, ACM, pages 56-66, Sweden 2003.
M. Garcia de la Banda, B. Demoen, K. Marriott, and P.J. Stuckey: To the Gates of HAL: A HAL Tutorial. In International Symposium on Functional and Logic Programming- FLOPS 2002, LNCS, pages 47-66, Japan 2002.
T. Shrijvers, M. Garcia de la Banda, and B. Demoen. Trailing analysis for HAL. In Eighteenth International Conference on Logic Programming- ICLP'2002, LNCS, pages 38-53, Denmark 2002.
B. Owens, A. Ernst, M. Garcia de la Banda, and K. Marriott. Personnel scheduling using hybrid CLP and meta-heuristic approaches. In Fourth International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems- CPAIOR'2002, pages 149-163, France 2002.
M. Garcia de la Banda, D. Jeffery, K. Marriott, P.J. Stuckey, N. Nethercote, and C. Holzbaur. Building constraint solvers with HAL. In International Conference on Logic Programming, volume 2237, pages 90-104, LNCS, December 2001.
C. Holzbaur, P.J. Stuckey, M. Garcia de la Banda, and D. Jeffery. Optimizing compilation of constraint handling rules. In International Conference on Logic Programming, volume 2237, pages 74-89, LNCS, December 2001.
F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, P.J. Stuckey. A Model for Inter-module Analysis and Optimizing Compilation. In International Workshop on Logic-based Program Synthesis and Transformation: Selected Papers, volume 2042, pages 86-102, LNCS 2001.
M. Garcia de la Banda, M. Hermenegildo and K. Marriott. Independence in CLP Languages. ACM Transactions on Programming Languages and Systems. 22(2):296-339, 2000.
M. Garcia de la Banda, P.J. Stuckey, W. Harvey and K. Marriott. Mode checking in HAL. In Proceedings of the International Conference on Computational Logic. Lecture Notes in Artificial Intelligence, pages 1270-1284, 2000.
F. Bueno, M. Garcia de la Banda, and M. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic And-Parallelization of Logic Programs. ACM Transactions on Programming Languages and Systems. ACM. 21(2):189-238, 1999.
M. Hermenegildo, F. Bueno, D. Cabeza, M. Garcia de la Banda, P. López and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Special volume on Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science Publishers, Inc, 1999, ISBN 1-56072-673-3.
K. Muthukumar, F. Bueno, M. Garcia de la Banda, M. Hermenegildo. Automatic Compile-Time Parallelisation of Logic Programs for Restricted, Goal-Level, Independent And-Parallelism. Journal of Logic Programming. North-Holland. 38(2):165-218, 1999.
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott and P.J. Stuckey. An Overview of HAL. In Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), pages 174-188, Springer-Verlag, October 1999.
B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott and P.J. Stuckey. Herbrand Constraint Solving in HAL. In Proceedings of the Sixteenth 1999 International Conference on Logic Programming, pages 260-274, MIT Press, November 1999.
B. Demoen, M. Garcia de la Banda, and P.J. Stuckey. Type constraint solving for parametric and ad-hoc polymorphism. In Proceedings of the 22nd Australian Computer Science Conference, pages 217-228, Springer Verlag, January 1999.
M. Garcia de la Banda, K. Marriott, P.J. Stuckey and H. Sondergaard. Differential methods in logic program analysis. Journal of Logic Programming. North-Holland. 35:1-37, 1998.
M. Codish, M. Bruynooghe, M. Garcia de la Banda, M. Hermenegildo. Exploiting Goal Independence in the Analysis of Logic Programs. Journal of Logic Programming, Technical Note. North-Holland. 32(3):247-261, 1997.
G. Puebla, M. Garcia de la Banda, K. Marriott, and P.J. Stuckey. Optimization of Logic Programs with Dynamic Scheduling. In International Conference on Logic Programming, pages 93-107, MIT Press, Leuven, Belgium, July 1997.
M. Garcia de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, and W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems. ACM. 18(5):564-615, 1996.
M. Garcia de la Banda, M. Hermenegildo, and K. Marriott. Independence in Dynamically Scheduled Logic Languages. In Proc. 5th International Conference on Algebraic and Logic Programming, pages 47-61, Springer-Verlag, LNCS 1139, Aachen, Germany, September 1996.
M. Garcia de la Banda, F. Bueno, and M. Hermenegildo. Towards Independent And-Parallelism in CLP. In Proc. 8th International Symposium on Programming Languages: Implementations Logics and Programs, pages 77-91, Springer-Verlag, LNCS 1140, Aachen, Germany, September 1996.
M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems. ACM. 17(1):28-44, 1995.
M. Garcia de la Banda, K. Marriott, and P.J. Stuckey. Efficient Analysis of Logic Programs with Dynamic Scheduling. In Proc. International Logic Programming Symposium, pages 437-455, Portland, Oregon, MIT Press, December 1995.
F. Bueno, M. Garcia de la Banda and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In Proc. International Logic Programming Symposium, pages 320-336, Ithaca, New York, MIT Press, November 1994.
F. Bueno, M. Garcia de la Banda and M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelisation of Logic Programs. In Proc. International Symposium on Parallel Symbolic Computation, pages 63-73, World Scientific Publishing, September 1994.
U. Montanari, F. Rossi, F. Bueno, M. Garcia de la Banda and M. Hermenegildo. Towards a Concurrent Semantics based Analysis of CC and CLP. In Proc. International Workshop on Principles and Practice of Constraint Programming, pages 151-161, Orcas Island, Washington St, Springer-Verlag LNCS 874, May 1994.
M. Codish, M. Garcia de la Banda, M. Bruynooghe and M. Hermenegildo. Goal Dependent vs. Goal Independent Analysis of Logic Programs. In Proc.International Conference on Logic Programming and Automated Reasoning, pages 305-319, Kiev, Ukraine, Springer-Verlag, LNAI 822, July 1994.
K. Marriott, M. Garcia de la Banda and M. Hermenegildo. Analysing Logic Programs with Dynamic Scheduling. In Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 240-253, Portland, Oregon, ACM, January 1994.
M. Garcia de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. In Proc. International Logic Programming Symposium, pages 437-455, Vancouver, Canada, MIT Press, October 1993.
M. Garcia de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In Proc. International Logic Programming Symposium, pages 130-146, Vancouver, Canada, MIT Press, October 1993.
M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda, and M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 194-206, Copenhagen, Denmark, ACM, June 1993.

Maria Garcia de la Banda