Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
people:fbanados [2013/06/11 19:26] – Added research abstract fbanadospeople:fbanados [2016/10/01 18:55] (current) fbanados
Line 1: Line 1:
 +====== This page is out of date ======
 +Please go to [[https://www.cs.ubc.ca/~fbanados|https://www.cs.ubc.ca/~fbanados]] for my current website.
 +
 +===== Old info (Archive) =====
 +
  {{http://users.dcc.uchile.cl/~fbanados/late.jpg?200 }}  {{http://users.dcc.uchile.cl/~fbanados/late.jpg?200 }}
 |  **Felipe Bañados Schwerter**  || |  **Felipe Bañados Schwerter**  ||
-Master Student|  [[fbanados@dcc.uchile.cl]]  |+PhD student|  [[fbanadosATcs.ubc.ca]]  
 +| [[http://www.cs.ubc.ca/cs-research/software-practices-lab|Software Practices Lab]] |  ICICS/CS Building Of. 308  | 
 +| [[http://www.cs.ubc.ca/|Department of Computer Science]] |  201-2366 Main Mall  | 
 +| [[http://www.ubc.ca/|The University of British Columbia]] |  Vancouver, BC.  Canada 
 +|  Previous contact information  ||
 | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |  Blanco Encalada 2120, of 325  | | [[http://pleiad.dcc.uchile.cl/|PLEIAD Lab]] |  Blanco Encalada 2120, of 325  |
 | [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |  Santiago, Chile  | | [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] |  Santiago, Chile  |
Line 8: Line 17:
  
 ===== About me ===== ===== About me =====
-After receiving BEScin Computer Science from the University of Chile in 2012I started to work on my Master's Thesis advised by [[people:etanter|Dr. Éric Tanter]], on which I am currently working. +I am currently PhD student at the [[https://www.cs.ubc.ca/cs-research/software-practices-lab|Software Practices Lab]] of the [[http://cs.ubc.ca/|Computer Science Department]] at [[http://www.ubc.ca|The University of British Columbia]]. 
-I also was a Visiting Scholar at the [[http://cs.ubc.ca/|Computer Science Department at UBC]], working with [[http://cs.ubc.ca/~rxg|DrRon Garcia]].+ 
 +I graduated from the MSc in Computer Science program at the University of Chile in 2014with a thesis advised by  
 +[[people:etanter|Dr. Éric Tanter]] and co-advised by [[http://cs.ubc.ca/~rxg|Dr. Ron Garcia]].  
 +I also received a BESc. in Computer Science and a Professional Title (Civil Engineer in Computing) from this same University. 
 + 
 +===== Master's thesis =====  
 +My thesis, [[http://users.dcc.uchile.cl/~fbanados/thesis.pdf|Gradual Typing for Generic Type-and-Effect Systems]], is currently being processed for cataloging at the University of Chile's Library. After this process is due, an official link to the final version will be placed here.
  
-===== Research Abstract ===== +**Language Note** : The University of Chile requires a title page and an abstract in Spanish. Don't worry, **The full thesis is in English**, except for the front page and pages i and iii.
-//From my thesis proposal'abstract//+
  
-Type-and-effect or effect systems are kinds of type systems that also verify and guarantee side-effect invariants over programs. Examples of effect systems are exceptions or error handling, memory updates and I/O. Generic type-and-effect systems generalize the common patterns among effect systems characterizing effects as 'privileges'. These systems allow static reasoning about a program's execution. 
  
-At the same time, gradual type systems bridge the gap between the flexibility provided by dynamic languages, and the guarantees given by static type systems, allowing for programmer-controlled migration between dynamic and static typingHoweverthese two programming language features have not been combined theoretically nor through an implementation.+===== Publications ===== 
 +<note important> 
 +//The following documents are included by the contributing authors as means to ensure timely dissemination of scholarly and technical work on a non-commercial basisCopyright and all rights therein are maintained by the authors or by other copyright holdersnotwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. 
 +// 
 +</note>
  
-We propose the introduction of gradual typing for generic type-and-effect systemsCurrently, static type-and-effect systems only allow a one-step migration which can be risky or costly in ongoing software projectsA gradual approach would ease these kind of migrations by giving programmers the flexibility to decide when and where to insert the required type annotations.+<html> 
 +<script>load_bibtex('fbanados')</script> 
 +<div id="bibtex">Loading bibtex info...</div> 
 +</html>