A well qualified, self-motivated and confident engineer who has extensive knowledge of how to successfully implement ideas and improve techniques, work on goals with teammates, and exploit motivation and discernment learning t he latest treatises in the field . I am a highly talented electrical engineer with profound experience in a wide variety of electrical engineering disciplines.


Cooking Time!
To Feed Your Soul
Dev Bootcamp's hoslistic and integrative approach to learning was a huge factor in my choice to attend. I appreciate the encouragement of being openly curious, hard-working, persistant and ambitious, but also conciencious of my needs and the needs of others. I am a highly social animal, so I'm excited to work with and learn from the educators and my cohort.
Coming in, I had the impression that DBC wants to teach me how to work hard and learn in a way that is sustainable, not a burn-out. I deeply desire the intellectual skills to do exceptional things, but also the skills to sustain high levels of productivity. This means self-care, physically and mentally. This is what I want for myself not only for my education, but in the long-term of my career and personal projects.
Interpersonal and self-awareless skills are important to improve on, and I am lucky that DBC bundles these skills with the education that I want the most. I consider now the be the personal development opportunity of my lifetime so far. Pass the grape juice, because I am all in with DBC.


We're excited to meet you
This version of the application form features common mistakes that make a form difficult to use. The labels are actually spans made to look like labels. All of the inputs are using the standard "text" type, and they are not using the standard name/id values that trigger browsers to autofill.


I am experienced in leveraging agile frameworks to provide a robust synopsis for high level overviews. Iterative approaches to corporate strategy foster collaborative thinking to further the overall value proposition.
Working as a full-stack developer in product team (Cerebra) of the company
Good knowledge on Charting Libraries (Highchart), Google Map Api, socket connection
Worked on real-time data, metadata, and big data
Mentored junior developers on AngularJs, Python, SQL and Data Mining Techniques
Understanding of IOT and Data Science
Worked on Mini Projects (Hotel Management System) in Angular, .net and SQL
As a part of Life Science Division worked for Sanofi S.A. pharmaceutical company helping them with database management and resolve delivery and raw goods management issues
Worked in Empowering Potential Individual Career (EPIC) Project Conducted by University Technology Petronas
Worked on “Automation of MIS (report) for Telecom “project
CGPA: 8.42
Apart from being a full-stack developer, I enjoy most of my time being outdoors. I enjoy trekking, gokarting, and kayaking.
When forced indoors, I follow a number of sci-fi and fantasy genre movies and television shows, I am an aspiring chef, and I spend a large amount of my free time exploring the latest technolgy advancements in the front-end web development world.


The first sticker I made was a corgi sticker. I found several images to use, one of which featured a dog on grass, but quickly discovered that selecting an image with a white background would be a much more efficient use of my time. Next, I had to make a black and white sticker to print from the Roland and weed. I decided to create a label for my english folder, which I created on Google Docs on my laptop, then used Paint to convert the screenshot from a png to a jpg. Because I did this during study hours, I was able to spend less class time on the design, and more on the execution.
What I Can Do Better Next Time...


npm-link
Symlink a package folderTable of contents
Synopsis
npm link (in package dir)
npm link [<@scope>/]<pkg>[@<version>]
alias: npm ln
Description
This is handy for installing your own stuff, so that you can work on it and test iteratively without having to continually rebuild.
Package linking is a two-step process.
First, npm link
in a package folder will create a symlink in the global
folder {prefix}/lib/node_modules/<package>
that links to the package
where the npm link
command was executed. It will also link any bins in
the package to {prefix}/bin/{name}
. Note that npm link
uses the global
prefix (see npm prefix -g
for its value).
Next, in some other location, npm link package-name
will create a
symbolic link from globally-installed package-name
to node_modules/
of
the current folder.
Note that package-name
is taken from package.json
, not from the
directory name.
The package name can be optionally prefixed with a scope. See
scope
. The scope must be preceded by an @-symbol and
followed by a slash.
When creating tarballs for npm publish
, the linked packages are
“snapshotted” to their current state by resolving the symbolic links, if
they are included in bundleDependencies
.
For example:
cd ~/projects/node-redis # go into the package directory
npm link # creates global link
cd ~/projects/node-bloggy # go into some other package directory.
npm link redis # link-install the package
Now, any changes to ~/projects/node-redis
will be reflected in
~/projects/node-bloggy/node_modules/node-redis/
. Note that the link
should be to the package name, not the directory name for that package.
You may also shortcut the two steps in one. For example, to do the above use-case in a shorter way:
cd ~/projects/node-bloggy # go into the dir of your main project
npm link ../node-redis # link the dir of your dependency
The second line is the equivalent of doing:
(cd ../node-redis; npm link)
npm link redis
That is, it first creates a global link, and then links the global
installation target into your project’s node_modules
folder.
Note that in this case, you are referring to the directory name,
node-redis
, rather than the package name redis
.
If your linked package is scoped (see scope
) your
link command must include that scope, e.g.
npm link @myorg/privatepackage
Caveat
Note that package dependencies linked in this way are not saved to
package.json
by default, on the assumption that the intention is to have
a link stand in for a regular non-link dependency. Otherwise, for example,
if you depend on<EMAIL_ADDRESS>, and ran npm link redis
, it would replace
the ^3.0.1
dependency with file:../path/to/node-redis
, which you
probably don’t want! Additionally, other users or developers on your
project would run into issues if they do not have their folders set up
exactly the same as yours.
If you are adding a new dependency as a link, you should add it to the
relevant metadata by running npm install <dep> --package-lock-only
.
If you want to save the file:
reference in your package.json
and
package-lock.json
files, you can use npm link <dep> --save
to do so.


Interested in a full-time position?
Hey Colm, Just stumbled accross you website and was wondering if you do only freelancing or might you potentially be interested in a full-time role?
[Medium Support] Pending request: Is it possible to remove highlights from my post?
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Thanks for the referral :-)
Hey! Just stumbled accross you website and was wondering if you do only freelancing or is there a potential interest in a fulltime job?
Interested in a full-time position?
Hey Colm,
Just stumbled Example link across you website Example link and was wondering if you do only freelancing or might you potentially be interested in a full-time role?
We are jaguyust in time not an IT company Dark link at all but a very traditional but innovative construction tool company in the mids of Digital transformation. I'm building up a central team to create a design system for the plethora of producs we have. To succeed I'm looking for the great talents and I have a feeling you are one of them :) Your impact here could be huge!
Let me know if you are Light link interested in light link more details!
Cheers,
Kristjan


Namespace DEM.Net.Lib
Classes
BoundingBox
DEMDataSet
DEMFileFormat
DemFileReport
DiagnosticUtils
DisposableValueDictionary<TKey, TValue>
Dictionary with IDisposable values than can be used in a using block
DouglasPeucker
ElevationMetrics
ElevationService
EnumerableWithCount<T>
ExceptionHelper
FileMetadata
Metadata file generated on the fly. Extracts necessary data in order to index files for querying without actually open them (which is costly)
FileMetadataMigrations
GDALSource
GDALVRTFileService
Remote GDAL VRT file handling Downloads and enumerates through tiles referenced in VRT file
GeometryService
GeoPoint
GeoSegment
GeoTiff
HeightMap
HeightMapExtensions
HGTFile
SRTM height file https://wiki.openstreetmap.org/wiki/SRTM
Official documentation : https://dds.cr.usgs.gov/srtm/version2_1/Documentation/SRTM_Topo.pdf


this are some things that you should know about me
This is some info about me you can learn more here Linkedin


|
Cannon Cpp
1.0.0
|
Defines what happens when two materials meet. More...
#include <ContactMaterial.h>
Classes | |
| struct | ContactMaterialOptions |
| The options to create ContactMaterial. More... | |
Public Member Functions | |
| Material * | m1 () const |
| Material * | m2 () const |
| real_t | friction () const |
| real_t | restitution () const |
| real_t | contactEquationStiffness () const |
| real_t | contactEquationRelaxation () const |
| real_t | frictionEquationStiffness () const |
| real_t | frictionEquationRelaxation () const |
| Public Member Functions inherited from Ref | |
| Ref () | |
| void | retain () |
| Retain a reference, _referenceCount add one. More... | |
| void | release () |
| Release a reference, _referenceCount minus one. More... | |
| int | getReferenceCount () const |
| Get the reference count of this object. More... | |
Static Public Member Functions | |
| static ContactMaterial * | create (Material *m1, Material *m2, int id) |
| The create function of ContactMaterial. More... | |
| static ContactMaterial * | create (Material *m1, Material *m2, int id, const ContactMaterialOptions &options) |
| Another create function of ContactMaterial. More... | |
Protected Member Functions | |
| ContactMaterial () | |
| The constructor of ContactMaterial. More... | |
| ~ContactMaterial () | |
| bool | init (Material *m1, Material *m2, int id) |
| Init this contactMaterial. More... | |
| bool | init (Material *m1, Material *m2, int id, const ContactMaterialOptions &options) |
| Init this contactMaterial. More... | |
| Protected Member Functions inherited from Ref | |
| virtual | ~Ref () |
Protected Attributes | |
| Material * | _m1 = nullptr |
| Material * | _m2 = nullptr |
| int | _id = 0 |
| real_t | _friction = 0.3 |
| Friction coefficient. More... | |
| real_t | _restitution = 0.3 |
| Restitution coefficient. More... | |
| real_t | _contactEquationStiffness = 1e7 |
| Stiffness of the produced contact equations. More... | |
| real_t | _contactEquationRelaxation = 3.0 |
| Relaxation time of the produced contact equations. More... | |
| real_t | _frictionEquationStiffness = 1e7 |
| Stiffness of the produced friction equations. More... | |
| real_t | _frictionEquationRelaxation = 3.0 |
| Relaxation time of the produced friction equations. More... | |
| Protected Attributes inherited from Ref | |
| int | _referenceCount = 0 |
| count of references More... | |
Defines what happens when two materials meet.
|
protected |
The constructor of ContactMaterial.
|
protected |
|
inline |
|
inline |
|
static |
The create function of ContactMaterial.
| m1 | The material m1 |
| m2 | The material m2 |
| id | The ID of the ContactMaterial |
|
static |
Another create function of ContactMaterial.
| m1 | The material m1 |
| m2 | The material m2 |
| options | The options to create this contact aterial |
|
inline |
|
inline |
|
inline |
Init this contactMaterial.
| m1 | The material m1 |
| m2 | The material m2 |
| id | The ID of the ContactMaterial |
|
protected |
Init this contactMaterial.
| m1 | The material m1 |
| m2 | The material m2 |
| options | The options to init this contactMaterial |
|
inline |
|
inline |
|
inline |
|
protected |
Relaxation time of the produced contact equations.
|
protected |
Stiffness of the produced contact equations.
|
protected |
Friction coefficient.
|
protected |
Relaxation time of the produced friction equations.
|
protected |
Stiffness of the produced friction equations.
|
protected |
|
protected |
|
protected |
|
protected |
Restitution coefficient.


class Tarball::Entity
- Tarball::Entity
- Reference
- Object
Overview
File system objects(regular files, directries or links) in the tar archive.
Tarball::Entity
object must contain an entity body entry with one of following entry types:
Tarball::Entry::Type::FILE
(Regular file)Tarball::Entry::Type::HARDLINK
(Hardlink)Tarball::Entry::Type::SYMLINK
(Symlink)Tarball::Entry::Type::DIRECTORY
(Directory)
It can contain one each of Tarball::Entry::Type::LONGNAME
(GNUTAR long name) entry, a Tarball::Entry::Type::LONGNAME
(GNUTAR long linkname) entry, Tarball::Entry::Type::PAXDATA
(PAX header) entry.
Included Modules
- Comparable(Tarball::Entity)
Defined in:
tarball/entity.crInstance Method Summary
- #<=>(other : self)
-
#add_entry(entry : Entry)
Adds tar file entry to this entity.
-
#directory?
Returns
true
when self is a directory. -
#file?
Returns
true
when self is a regular file. -
#gid
Returns owner group id of this entity.
-
#hardlink?
Returns
true
when self is a hardlink. -
#has_body?
Returns
true
when entity body has been set. -
#has_long_linkname?
Returns
true
when entity body has been set. -
#has_long_name?
Returns
true
when entity body has been set. -
#linkname
Returns file or directory name that this entity links to.
-
#mtime
Returns last modified timestamp of this entity.
-
#name
Returns file or directory name of this entity.
-
#symlink?
Returns
true
when self is a symlink. -
#uid
Returns owner user id of this entity.
-
#write_content(io : IO)
Writes content data to IO.
Instance Method Detail
Returns file or directory name that this entity links to.
#linkname
is only used when the entity body is Entry::Type::HARDLINK
or Entry::Type::SYMLINK
.


#include <iStuffMobileContainer.h>
Public Member Functions | |
| void | ConstructL (const TRect &aRect) |
| Second level constructor for CiStuffMobileContainer class. | |
| void | SendToBackground () |
| Sends the GUI to the background. | |
Private Member Functions | |
| void | SizeChanged () |
| Resizes the components inside the container. | |
| TInt | CountComponentControls () const |
| Returns the number of component in the container. | |
| CCoeControl * | ComponentControl (TInt aIndex) const |
| Returns the pointer to a component inside the container. | |
| void | Draw (const TRect &aRect) const |
| Draws the GUI. |
This class is the default UI which is displayed when the application is launched.
|
|
Returns the pointer to a component inside the container. This method returns a to pointer to the component inside the container.
|
|
|
Second level constructor for CiStuffMobileContainer class. This method initiates the GUI by loading the image that has to be displayed into the background of the container. It also contructs a label and puts it into the contanier.
|
|
|
Returns the number of component in the container. This method returns the number of component in the container.
|
|
|
Draws the GUI. This methos Draws the container on the screen with the background image.
|
|
|
Sends the GUI to the background. Whenver this method is called it send the application UI to the background in the mobile phone. The application is active even when in background. |
|
|
Resizes the components inside the container. This method is called when the size of the container changes. It adjusts the size of the components inside the container. |


{% extends "dashboard/base.html" %} {% load dashboard_extras %} {% block page_title %}{{ page_title }}{% endblock %} {% block site_brand %}{{ globals.site_brand }}{% endblock %} {% block content %}
| Category: | {{ transaction.details.0.category }} |
| Account: | {{ transaction.currency_symbol }} {{ account|getaccountname }} |
| Address: | {{ transaction.currency_symbol }} {{ transaction.details.0.address }} |
| Confirmations: | {{ transaction.confirmations }} |
| Fee: | {{ transaction.fee }} |
| Time: | {{ transaction.time_pretty }} ({{ transaction.time_human }}) |
| Time received: | {{ transaction.timereceived_pretty }} ({{ transaction.timereceived_human }}) |
| Block time: | {{ transaction.blocktime_pretty }} ({{ transaction.blocktime_human }}) |
| Amount: | {{ transaction.amount }} {{ transaction.currency|upper }} |
| Blockhash: | {{ transaction.blockhash }} |
| Blockindex: | {{ transaction.blockindex }} |
| Transaction ID: | {{ transaction.txid }} |
| Comment: | {{ transaction.comment }} |
| Comment To: | {{ transaction.to }} |


You will be redirected to the landing page of Forms. Please check if your link starts with 'replace.vercel.app', or 'go.kayden.cf'. Check the list of approved websites in our officialdocumentation. If not, please click 'Cancel'.


This project aims at answering the following questions:
1. Which counties have most and least Partisan Stickiness (aka Swing Districts) ?
2. Did they change in last election and if they wouldn’t have would it have made a difference in outcome ?
3. Is there a correlation between visits/conferences/campaign stops/ spend/ media spots and the outcome in those districts
MAP of DURABILITY (1992-2016) by COUNTY
0= Low Durability - 5= High Durability
In order to Indeintify which ones where the states with the highest amount of Swing Counties, I created what I call the Durability Score. Durability Score = Durabilty by County * (Votes County/ Votes in the State)
This provides an estimation of the importance of the Swinging County and State realtive to the voters' population.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Quod aliquid, mollitia odio veniam sit iste esse assumenda amet aperiam exercitationem, ea animi blanditiis recusandae! Ratione voluptatum molestiae adipisci, beatae obcaecati.
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Quod aliquid, mollitia odio veniam sit iste esse assumenda amet aperiam exercitationem, ea animi blanditiis recusandae! Ratione voluptatum molestiae adipisci, beatae obcaecati.


{% if site.use_isso == 'yes' %} Please enable JavaScript to view the comments powered by Isso. {% endif %}


Leigh-Anne Williams to pursue new roles on 'Expresso' in 2020
Cape Town - Expresso presenter Leigh-Anne Williams has taken a step back from hosting duties, to pursue other career opportunities - but it doesn't mean she has left the show for good.
Following reports that Leigh-Anne has exited the show, after her noticeable absence on-air, executive producer, Patience Stevens has released an official statement.
"Leigh-Anne has been a very important part of the Expresso journey for the past eight years and is a valued member of the Cardova family. While Leigh-Anne has been taking a step back from her daily presenting role on Expresso to pursue other career opportunities, this does not mean the end of our relationship with her. Leigh Anne will be back on Expresso in December, and we are keen to pursue new and existing shows and roles with her in 2020," she said.
She explained: "While we have missed Leigh-Anne's positive energy every morning for the past couple of weeks, Cardova's mission statement is to identify, nurture and grow new talent. We have recently welcomed two fresh new faces to Expresso, namely the winners of the Presenter Search on 3: Expresso Edition, Kuhle Adams and Jamie Lee Domburg, who have been adding their own unique dynamic and personality to the show."
Expresso, which made its debut in October 2010 aired from The Equinox Building in Cape Town before moving to a new studio in Westlake in June.
Compiled by Graye Morkel.


- I have learn that the only way to work around a problem when I feel that I’m stuck,
is to keep trying, look for a different approach, a different way to see things in order
to solve them in a different way than I previously thought I was going to do it.
- I can overcome procrastination if I’m aware of the times I’m putting into what
I’m doing, if I account myself for the time I’m working I can then turn around and be
more productive.
- I have learn that there is a big difference in listening a person just to wait for
what I want to say and listening really paying attention about what this person is
saying and soak in the information they are saying.
That we are programming with other people and for other people; today we can start writing our own code and someone else in the future will work on this code we just wrote; next time we can be working on the code that someone else wrote; we can be working at some times as part of a team and other times by ourselves. The importance of these roles in learning and programming is then because we work with other people in many different ways.
That I have much to learn from each person that I’m working with but also that there is still a lot to learn about myself.
To leave pride on a side, I might have not the best approach to a problem and when someone else comes and points out what I’m doing wrong, or what I need to improve, to take that as a learning point instead of being proud and be defensive about some other’s opinion about my work.
Because with this core learning, we learn to listen and work together, which for bootcamp is going to be fundamental, and more even, it helps us to work good as part of a team and then when we’re applying for a job, we will be sure that we can work as part of a team where we can not only work but also to collaborate in an efficient way.
I don’t think it is a waste of time, it has been helping me to understand many things about how I learn and how I can approach different situations and problems and the best way for me to solve them or to look for a way to solve them.
I am here because I am looking to get into a development job, I wanted a career change for a while and for obvious circumstances this year, I had to do it sooner than expected.
One of my biggest strengths during Bootcamp will be that I'm easy going and one of my biggest limitations will be that sometimes I do have a lack of confidence in what I can do.
To have faith in myself!
To be able to feel confidence in giving my point of view when it is needed to, ofter I see myself not saying anything, even when I know it would be the right thing to do, but because I don't feel confident that it actually is the best thing to do, I keep quiet until I'm asked, if I'm asked.
That I will have the ability to be able to learn any programming language that I'd want.


Home
All products
Face
Blushes
Bronzers
Foundations
Eyes
Eyebrows
Eyeliners
Eyeshadows
Mascaras
Lips
Lipsticks
Lipliners
Nails
Nail Polishes
EN


IntGraph
Problems
System Design
Object Orinted Design
Contribute
About
Object Orinted Design
#
Problem
Add time
{$ $index + 1 $}
{$ article.title $}
{$ article.date $}
Filters
Search
difficulty
{$ difficulty $}
categories
{$ categories $}
source
{$ source $}


If a computer can
add two integers
in
the blink of an eye
then,
in the time it takes it to
{% for i, timing in enumerate(timings, 1) %}
{{ timing.cpu.action }}
,
you could
{{ timing.human.action }}
{% endfor %}


| This is the companion website of the paper. It contains all the staging examples surveyed in Table 2 and Table 3 in the paper. |
| The gif animations have the same names and are organized in the same order as in the paper. |
| Click on the names of animations to look at the source from which they were extracted. |
|
You can also find here some additional unclassified examples (not listed in the paper). |
| Authors: Amira Chalbi, Hrim Mehta, Christopher Collins, Nicolas Roussel, Fanny Chevalier |


Resources cited in this volume
[Appel 2014] Program Logics for Certified Compilers,
by Andrew W. Appel with Robert Dockins, Aquinas Hobor, Lennart Beringer,
Josiah Dodds, Gordon Stewart, Sandrine Blazy, and Xavier Leroy.
Cambridge University Press, 2014.
[Appel 2015] Verification of a Cryptographic Primitive: SHA-256,
by Andrew W. Appel, ACM Transactions on Programming Languages and
Systems 37(2) 7:1-7:31, April 2015.
https://www.cs.princeton.edu/~appel/papers/verif-sha-2.pdf
[Appel and Naumann 2020] Verified sequential malloc/free,
by Andrew W. Appel and David A. Naumann,
in 2020 ACM SIGPLAN International Symposium on Memory Management, June 2020.
https://www.cs.princeton.edu/~appel/papers/memmgr.pdf
[Beringer 2015] Verified Correctness and Security of OpenSSL HMAC,
by Lennart Beringer, Adam Petcher, Katherine Q. Ye, and Andrew W. Appel.
24th USENIX Security Symposium, pages 207-221, August 2015.
https://www.cs.princeton.edu/~appel/papers/verified-hmac.pdf
[Beringer 2019] Abstraction and Subsumption in Modular Verification
of C Programs, by Lennart Beringer and Andrew W. Appel.
In: Maurice H. ter Beek and Annabelle McIver: Formal Methods -- the next
30 years. Proceedings of the 23rd International Symposium on Formal
Methods (FM'19), pages 573-590, Springer, 2019.
https://www.cs.princeton.edu/~appel/papers/funspec_sub.pdf
[Chargueraud 2010] Program verification through characteristic formulae,
by Arthur Chargueraud, in Proceedings of the 15th ACM SIGPLAN International
Conference on Functional Programming, pp. 321-332, 2010.
https://dl.acm.org/doi/pdf/10.1145/1863543.1863590
[Jacobs 2011] VeriFast: A Powerful, Sound, Predictable, Fast Verifier
for C and Java, by Bart Jacobs, Jan Smans, Pieter Philippaerts, Frederic
Vogels, Willem Penninckx, and Frank Piessens.
In Proc. NASA Formal Methods (NFM) 2011.
https://people.cs.kuleuven.be/~bart.jacobs/nfm2011.pdf
[Koh 2020] From C To Interaction Trees: specifying, verifying and testing
a networked server, by Nicolas Koh, Yao Li, Yishuai Li, Li-Yao Xia, Lennart
Beringer, Wolf Honore, William Mansky, Benjamin C Pierce, and Steve Zdancewic.
CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on
Certified Programs and Proofs, Pages 234-248, ACM, 2019
https://dl.acm.org/citation.cfm?doid=3293880.3294106
[Kumar 2014] CakeML: a verified implementation of ML, by
Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Scott Owens,
in POPL'14, ACM SIGPLAN Notices 49, no. 1 (2014): 179-191.
[Leino 2010] Dafny: An automatic program verifier for functional
correctness, by K. Rustan M. Leino, International Conference on Logic
for Programming Artificial Intelligence and Reasoning, pp. 348-370, 2010.
[Mansky 2017] A verified messaging system,
by William Mansky, Andrew W. Appel, and Aleksey Nogin.
OOPSLA'17: ACM Conference on Object-Oriented Programming Systems,
Languages, and Applications, October 2017.
PACM/PL volume 1, issue OOPSLA, paper 87, 2017.
[Mansky 2020] Connecting Higher-Order Separation Logic to a First-Order
Outside World, by William Mansky, Wolf Honoré, and Andrew W. Appel,
ESOP 2020: European Symposium on Programming, April 2020.
https://www.cs.princeton.edu/~appel/papers/connecting-esop.pdf
[Spector-Zabusky 2018] Total Haskell is reasonable Coq,
by Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah,
and Stephanie Weirich. CPP 2018: Proceedings of the 7th ACM SIGPLAN
International Conference on Certified Programs and Proofs, January 2018.
https://doi.org/10.1145/3167092
[Wang 2019] Certifying Graph-Manipulating C Programs via Localizations
within Data Structures, by Shengyi Wang, Qinxiang Cao, Anshuman Mohan,
and Aquinas Hobor. OOPSLA: Conference on Object-Oriented Programming Systems,
Languages, and Applications; PACM/PL volume 3, issue OOPSLA, 2019.
https://dl.acm.org/doi/pdf/10.1145/3360597
[Ye 2017] Verified Correctness and Security of mbedTLS HMAC-DRBG,
by Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer,
Adam Petcher, and Andrew W. Appel,
CCS'17: ACM Conference on Computer and Communications Security, October 2017.
https://www.cs.princeton.edu/~appel/papers/verified-hmac-drbg.pdf


Table template
Hi. I am your first cell
Hi, I am your second cell
Hi, I am your third cell
Hi, I am your fourth cell
Second Row, 1st cell
Second Row, 2nd cell
Second Row, 3rd cell
Second Row, 4th cell