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: Col=oacute=n:Michael
Contributed to:
2011
2006
2004
2004
20032002
200119981996
1995Wrote 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.