BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Germany
3 × Italy
3 × USA
Collaborated with:
H.Sipma S.Sankaranarayanan T.E.Uribe Z.Manna H.B.Sipma N.Bjørner A.Browne E.Y.Chang A.Kapur L.d.Alfaro H.Devarajan J.Lee
Talks about:
program (3) linear (3) constraint (2) synthesi (2) polyhedr (2) reactiv (2) generat (2) system (2) relat (2) imper (2)

Person: Michael Colón

DBLP DBLP: Col=oacute=n:Michael

Contributed to:

ESOP 20112011
VMCAI 20062006
LOPSTR 20042004
SAS 20042004
CAV 20032003
CAV 20022002
TACAS 20012001
CAV 19981998
CAV 19961996
TAPSOFT CAAP/FASE 19951995

Wrote 10 papers:

ESOP-2011-ColonS
Generalizing the Template Polyhedral Domain (MC, SS), pp. 176–195.
VMCAI-2006-SankaranarayananCSM #analysis #performance #relational
Efficient Strongly Relational Polyhedral Analysis (SS, MC, HBS, ZM), pp. 111–125.
LOPSTR-2004-Colon #constraints #imperative #source code #synthesis #theorem proving
Schema-Guided Synthesis of Imperative Programs by Constraint Solving (MC), pp. 166–181.
SAS-2004-Colon #algebra #approximate #imperative #relational #semantics #source code
Approximating the Algebraic Relational Semantics of Imperative Programs (MC), pp. 296–311.
CAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using
Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
CAV-2002-ColonS #proving #termination
Practical Methods for Proving Program Termination (MC, HS), pp. 442–454.
TACAS-2001-ColonS #linear #ranking #synthesis
Synthesis of Linear Ranking Functions (MC, HS), pp. 67–81.
CAV-1998-ColonU #abstraction #finite #generative #using
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.
CAV-1996-BjornerBCCKMSU #named #realtime #verification
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
TAPSOFT-1995-MannaBBCCADKLSU #named #proving
STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.