Elsa Gunter

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2019

Dynamic class initialization semantics: A Jinja extension

Mansky, S. & Gunter, E. L., Jan 14 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 209-221 13 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

IsaK-static: A complete static semantics of K

Li, L. & Gunter, E. L., Jan 1 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Springer-Verlag Berlin Heidelberg, p. 196-215 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using a computer-based testing facility to improve student learning in a programming languages and compilers course

Nip, T., Gunter, E. L., Herman, G. L., Morphew, J. W. & West, M., Feb 21 2018, SIGCSE 2018 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, Inc, p. 568-573 6 p. (SIGCSE 2018 - Proceedings of the 49th ACM Technical Symposium on Computer Science Education; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Verifying optimizations for concurrent programs

Mansky, W. & Gunter, E., Jan 1 2014, 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2014. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 15-26 12 p. (OpenAccess Series in Informatics; vol. 40).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

LiquidPi: Inferrable dependent session types

Griffith, D. & Gunter, E., Sep 9 2013, NASA Formal Methods - 5th International Symposium, NFM 2013, Proceedings. p. 185-197 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7871 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

Using locales to define a rely-guarantee temporal logic

Mansky, W. & Gunter, E., Sep 5 2012, Interactive Theorem Proving - Third International Conference, ITP 2012, Proceedings. p. 299-314 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7406 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Automated framework for formal operator task analysis

Yasmeen, A. & Gunter, E. L., Aug 26 2011, 2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings. p. 78-88 11 p. (2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Recursion principles for syntax with bindings and substitution

Popescu, A. & Gunter, E., Oct 19 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 346-358 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robustness for protection envelopes with respect to human task variation

Yasmeen, A. & Gunter, E., Dec 23 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest. p. 1809-1816 8 p. 6083934. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Bass, E. J., Bolton, M. L., Feigh, K., Griffith, D., Gunter, E., Mansky, W. & Rushby, J., Dec 23 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest. p. 1817-1824 8 p. 6083935. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

A framework for formal verification of compiler optimizations

Mansky, W. & Gunter, E., Aug 10 2010, Interactive Theorem Proving - First International Conference, ITP 2010, Proceedings. p. 371-386 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6172 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Incremental pattern-based coinduction for process algebra and its isabelle formalization

Popescu, A. & Gunter, E. L., Apr 30 2010, Foundations of Software Science and Computational Structures - 13th Int. Conference, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. p. 109-127 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6014 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Strong normalization for system F by HOAS on top of FOAS

Popescu, A., Gunter, E. L. & Osborn, C. J., Nov 24 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. p. 31-40 10 p. 5571067. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009

Secure broadcast ambients

Gunter, E. L. & Yasmeen, A., Jul 23 2009, Formal Aspects in Security and Trust - 5th International Workshop, FAST 2008, Revised Selected Papers. p. 257-271 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5491 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifying and analyzing workflows for automated identification and data capture

Gunter, E. L., Yasmeen, A., Gunter, C. A. & Nguyen, A., Apr 3 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755592. (Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Theory support for weak higher order abstract syntax in isabelle/HOL

Gunter, E. L., Osborn, C. J. & Popescu, A., Nov 27 2009, LFMTP 2009 - Proceedings of the 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. p. 12-20 9 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2007

PAS: A wireless-enabled, sensor-integrated personal assistance system for independent and assisted living

Hou, J. C., Wang, Q., Alshebli, B. K., Ball, L., Birge, S., Caccamo, M., Cheah, C. F., Gilbert, E., Gunter, C. A., Gunter, E., Lee, C. G., Karahalios, K., Nam, M. Y., Nitya, N., Rohit, C., Sha, L., Shin, W., Yu, S., Yu, Y. & Zeng, Z., Dec 1 2007, Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007. p. 64-75 12 p. 4438165. (Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures

Crenshaw, T. L., Gunter, E., Robinson, C. L., Sha, L. & Kumar, P. R., Dec 1 2007, Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007. p. 400-409 10 p. 4408323. (Proceedings - Real-Time Systems Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2006

I-living: An open system architecture for assisted living

Qixin, W., Wook, S., Xue, L., Zheng, Z., Oh, C., Alshebli, B. K., Caccamo, M., Gunter, C. A., Gunter, E., Hou, J., Karahalios, K. & Lui, S., Jan 1 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics. Institute of Electrical and Electronics Engineers Inc., p. 4268-4275 8 p. 4274570. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2005

Types for security in a mobile world

Compagnoni, A. B. & Gunter, E. L., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 75-97 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3705 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2002

Temporal debugging for concurrent systems

Gunter, E. & Peled, D., Dec 1 2002, Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. p. 431-444 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2280 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2001

Compositional message sequence charts

Gunter, E. L., Muscholl, A. & Peled, D. A., Jan 1 2001, Tools and Algorithms for the Construction and Analysis of Systems - 7th Int. Conf., TACAS 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Proc.. Springer-Verlag Berlin Heidelberg, p. 496-511 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2031 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2000

PET: An interactive software testing tool

Gunter, E., Kurshan, R. & Peled, D., Jan 1 2000, Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Allen Emerson, E. & Prasad Sistla, A. (eds.). Springer-Verlag, p. 552-556 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1855).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1999

Path exploration tool

Gunter, E. & Peled, D., 1999, Tools and Algorithms for the Construction and Analysis of Systems - 5th International Conference, TACAS 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Springer Verlag, Vol. 1579. p. 405-419 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1579).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1998

Adding external decision procedures to HOL90 securely

Gunter, E. L., Jan 1 1998, Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs 1998, Proceedings. Grundy, J. & Newey, M. (eds.). Springer-Verlag, p. 143-152 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1479).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The village telephone system: A case study in formal software engineering

Bhargavan, K., Gunter, C., Gunter, E., Jackson, M., Obradovic, D. & Zave, P., Jan 1 1998, Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs 1998, Proceedings. Grundy, J. & Newey, M. (eds.). Springer-Verlag, p. 49-66 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1479).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1995

Interfacing HOL90 with a functional database query language

Gunter, E. L. & Libkin, L., Jan 1 1995, Higher Order Logic Theorem Proving and Its Applications - 8th International Workshop, Proceedings. Schubert, E. T., Windley, P. J. & Alves-Foss, J. (eds.). Springer-Verlag, p. 171-185 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 971).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1994

A broader class of trees for recursive type definitions for HOL

Gunter, E. L., Jan 1 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Joyce, J. J. & Seger, C-J. H. (eds.). Springer-Verlag, p. 141-154 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

HOL-ML

Vanlnwegen, M. & Gunter, E., Jan 1 1994, Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG 1993, Proceedings. Joyce, J. J. & Seger, C-J. H. (eds.). Springer-Verlag Berlin Heidelberg, p. 61-74 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 780 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

OR-SML: A functional database programming language for disjunctive information and its applications

Gunter, E. & Libkin, L., Jan 1 1994, Database and Expert Systems Applications - 5th International Conference, DEXA 1994, Proceedings. Karagiannis, D. (ed.). Springer-Verlag, p. 641-650 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 856 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Studying the ML module system in HOL

Maharaj, S. & Gunter, E., Jan 1 1994, Higher Order Logic Theorem Proving and Its Applications - 7th International Workshop, Proceedings. Melham, T. F. & Camilleri, J. (eds.). Springer-Verlag, p. 346-361 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 859 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1991

An abstract interpretation for ML equality kinds

Gunter, C. A., Gunter, E. L. & MacQueen, D. B., 1991, Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings. Meyer, A. R. & Ito, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 112-130 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 526 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extensions to logic programming motivated by the construction of a generic theorem prover

Gunter, E. L., Jan 1 1991, Extensions of Logic Programming - International Workshop, Proceedings. Schroeder-Heister, P. (ed.). Springer-Verlag, p. 223-244 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 475 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Implementing a real-time process algebra in HOL

Gerber, R., Gunter, E. L. & Lee, I., Jan 1 1991, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications. Archer, M., Joyce, J. J., Levitt, K. N. & Windley, P. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 144-154 11 p. 596281. (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1990

Pseudo-retract functors for local lattices and bifinte L-domains

Gunter, E. L., Jan 1 1990, Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings. Main, M. G., Mislove, M. W., Melton, A. C. & Schmidt, D. A. (eds.). Springer-Verlag, p. 351-363 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 442 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tutorial on λ prolog

Felty, A., Gunter, E., Miller, D. & Pfenning, F., Jan 1 1990, 10th International Conference on Automated Deduction, Proceedings. Stickel, M. E. (ed.). Springer-Verlag Berlin Heidelberg, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 449 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1988

λProlog: An extended logic programming language

Felty, A., Gunter, E., Hannan, J., Miller, D., Nadathur, G. & Scedrov, A., Jan 1 1988, 9th International Conference on Automated Deduction, Proceedings. Lusk, E. & Overbeek, R. (eds.). Springer-Verlag, p. 754-755 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 310 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution